Herbie test results

Time: 9.9 m

Passed: 26/28

Tests: 28

Bits: 939/1055

+63.1
+60.9
+59.6
+59.3
+31.1
+58.7
+3.2
+40.5
+39.9
+39.8
+38.8
+30.7
+29.5
+22.7
+36.0
+34.7
+28.5
+28.3
+31.1
+30.8
+29.2
+29.6
+27.0
+29.2
+18.9
+14.1
+13.6
+9.8

Date:	Wednesday, July 6th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065543365 620684644 906956026 369308393 342036037 1300431646)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	43.4	[1.9 ≉] 40.2			27.5 s	»
NMSE problem 3.4.5	31.2	0.1			18.1 s	»
NMSE problem 3.4.4	39.8	0.1			8.8 s	»
NMSE problem 3.4.1	31.0	0.3			46.3 s	»
NMSE problem 3.3.6	40.6	0.0			3.3 s	»
NMSE problem 3.3.5	39.4	0.6			32.1 s	»
NMSE problem 3.3.4	29.6	2.6			22.2 s	»
NMSE problem 3.3.1	14.0	0.4			2.2 s	»
NMSE problem 3.2.1, positive	37.1	[10.1 ≉] 7.6			14.6 s	»
NMSE problem 3.2.1, negative	38.2	[10.2 ≉] 7.4			1.6 m	»
NMSE section 3.5	29.2	0.0	0.2		5.0 s	»
NMSE section 3.11	40.3	0.4	39.9		6.0 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		6.2 s	»
NMSE problem 3.4.2	58.8	[28.8 ≉] 27.7	13.9		1.3 m	»
NMSE problem 3.3.7	34.9	0.1	8.6		5.0 s	»
NMSE problem 3.3.3	9.9	0.1	0.8		22.7 s	»
NMSE problem 3.3.2	36.5	13.8	14.9		44.7 s	»
NMSE p42, positive	34.3	[7.6 ≉] 6.0	21.9		28.4 s	»
NMSE p42, negative	34.4	[7.7 ≉] 5.9	21.7		26.0 s	»
NMSE example 3.9	59.9	0.3	0.1		6.4 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		20.2 s	»
NMSE example 3.7	58.7	0.0	0.5		5.8 s	»
NMSE example 3.6	19.3	0.4	0.7		8.1 s	»
NMSE example 3.5	14.5	0.4	0.4		2.9 s	»
NMSE example 3.4	30.2	1.0	0.0		22.2 s	»
NMSE example 3.3	36.4	0.4	14.7		22.6 s	»
NMSE example 3.10	60.9	0.0	0.3		9.6 s	»
NMSE example 3.1	29.7	0.2	0.2		3.7 s	»