Herbie test results

Time: 12.7 m

Passed: 27/28

Tests: 28

Bits: 962/1072

+63.1
+62.0
+61.3
+59.5
+59.1
+59.1
+45.7
+43.0
+20.6
+21.3
+38.7
+29.1
+30.4
+31.9
+36.0
+36.0
+28.2
+29.4
+34.0
+31.5
+31.3
+30.3
+29.7
-7.1
+19.5
+14.6
+14.1
+9.6

Date:	Tuesday, August 9th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1066118269 3146385405 2008244797 2413636924 657271294 3751684478)
Flags:	`rules: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	40.8	[21.4 ≉] 20.2			46.3 s	»
NMSE problem 3.4.5	31.8	0.3			22.5 s	»
NMSE problem 3.4.4	43.2	0.2			11.8 s	»
NMSE problem 3.4.1	31.6	0.3			14.0 s	»
NMSE problem 3.3.6	40.4	[0.1 ≉] 19.1			8.4 s	»
NMSE problem 3.3.5	39.5	0.7			35.6 s	»
NMSE problem 3.3.4	22.2	[28.0 ≉] 29.3			42.8 s	»
NMSE problem 3.3.1	14.5	0.4			2.8 s	»
NMSE problem 3.2.1, positive	37.1	[8.6 ≉] 5.2			2.6 m	»
NMSE problem 3.2.1, negative	36.0	[10.2 ≉] 7.8			17.3 s	»
NMSE section 3.5	38.0	[0.7 ≉] 8.9	15.7		12.9 s	»
NMSE section 3.11	45.9	0.1	30.7		5.6 s	»
NMSE problem 3.4.3	59.2	0.1	0.1		7.2 s	»
NMSE problem 3.4.2	62.0	[2.6 ≉] 0.0	14.6		10.7 s	»
NMSE problem 3.3.7	34.1	[1.2 ≉] 0.1	8.6		11.4 s	»
NMSE problem 3.3.3	9.9	0.3	0.3		11.6 s	»
NMSE problem 3.3.2	36.4	0.4	14.8		41.3 s	»
NMSE p42, positive	37.2	[8.6 ≉] 6.8	25.4		2.6 m	»
NMSE p42, negative	36.0	[10.2 ≉] 6.7	24.0		27.8 s	»
NMSE example 3.9	59.8	0.3	0.1		8.0 s	»
NMSE example 3.8	63.3	[60.9 ≉] 0.3	60.8		45.0 s	»
NMSE example 3.7	59.2	0.1	0.1		5.0 s	»
NMSE example 3.6	19.9	0.4	0.6		9.1 s	»
NMSE example 3.5	15.0	0.4	0.4		4.0 s	»
NMSE example 3.4	30.8	0.5	0.0		18.0 s	»
NMSE example 3.3	36.5	0.4	14.7		23.0 s	»
NMSE example 3.10	61.3	[1.0 ≉] 0.0	0.5		7.2 s	»
NMSE example 3.1	29.9	0.2	0.2		4.4 s	»