Herbie test results

Time: 11.1 m

Passed: 21/28

Tests: 28

Bits: 819/1133

+63.1
+62.4
+62.0
+61.3
+60.7
+45.8
+59.5
+59.1
+59.1
+41.9
+1.6
+19.6
+36.0
+14.5
+34.0
+1.4
+1.4
+0.7
+0.7
-0.0
+31.3
+15.6
+29.7
+0.1
+19.5
+14.6
+14.1
+9.6

Date:	Wednesday, August 10th, 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:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	31.9	31.9			23.7 s	»
NMSE problem 3.4.5	62.6	[31.1 ≉] 0.1			9.5 s	»
NMSE problem 3.4.4	60.2	[20.3 ≉] 14.4			5.7 s	»
NMSE problem 3.4.1	31.6	0.3			13.5 s	»
NMSE problem 3.3.6	40.4	[28.9 ≉] 38.8			5.0 s	»
NMSE problem 3.3.5	39.4	19.8			24.0 s	»
NMSE problem 3.3.4	29.8	29.7			32.9 s	»
NMSE problem 3.3.1	14.5	0.4			2.4 s	»
NMSE problem 3.2.1, positive	32.9	[33.8 ≉] 32.1			2.5 m	»
NMSE problem 3.2.1, negative	33.0	[33.5 ≉] 31.6			11.3 s	»
NMSE section 3.5	52.2	[23.0 ≉] 10.3	26.6		11.0 s	»
NMSE section 3.11	60.9	[21.4 ≉] 0.2	60.9		2.1 s	»
NMSE problem 3.4.3	59.2	0.1	0.1		10.9 s	»
NMSE problem 3.4.2	62.0	[2.6 ≉] 0.0	14.6		12.2 s	»
NMSE problem 3.3.7	34.1	[1.2 ≉] 0.1	8.6		11.1 s	»
NMSE problem 3.3.3	9.9	0.3	0.3		14.0 s	»
NMSE problem 3.3.2	36.4	[20.4 ≉] 21.9	14.7		34.4 s	»
NMSE p42, positive	32.9	[33.9 ≉] 32.2	20.2		2.5 m	»
NMSE p42, negative	33.1	[33.5 ≉] 31.6	20.2		19.6 s	»
NMSE example 3.9	59.8	0.3	0.1		7.2 s	»
NMSE example 3.8	63.3	[60.9 ≉] 0.3	60.8		47.4 s	»
NMSE example 3.7	59.2	0.1	0.1		4.2 s	»
NMSE example 3.6	19.9	0.4	0.6		8.7 s	»
NMSE example 3.5	15.0	0.4	0.4		3.3 s	»
NMSE example 3.4	30.7	15.2	0.0		14.4 s	»
NMSE example 3.3	36.5	0.4	14.7		22.9 s	»
NMSE example 3.10	61.3	[1.0 ≉] 0.0	0.5		6.5 s	»
NMSE example 3.1	29.9	0.2	0.2		4.3 s	»