Herbie test results

Time: 5.4 m

Passed: 20/28

Tests: 28

Bits: 779/1073

+63.1
+61.9
+61.4
+60.8
+59.6
+59.3
+59.3
+48.1
+1.7
+39.9
+14.8
+14.6
+36.5
+34.4
+4.1
+4.1
+3.3
+0.7
+0.0
+29.9
+29.7
+29.9
+27.5
-0.0
+19.7
+14.5
+0.7
0.0

Date:	Tuesday, August 2nd, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065990927 2514927446 2806713580 2976231080 3799737104 4212629478)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	26.2	[32.9 ≉] 26.2			46.2 s	»
NMSE problem 3.4.5	31.1	31.1			16.6 s	»
NMSE problem 3.4.4	39.9	0.0			5.3 s	»
NMSE problem 3.4.1	31.0	1.1			12.7 s	»
NMSE problem 3.3.6	40.8	[28.3 ≉] 39.2			3.3 s	»
NMSE problem 3.3.5	39.9	[22.7 ≉] 25.1			18.2 s	»
NMSE problem 3.3.4	30.0	2.5			15.9 s	»
NMSE problem 3.3.1	14.4	13.7			3.3 s	»
NMSE problem 3.2.1, positive	33.3	29.1			8.9 s	»
NMSE problem 3.2.1, negative	32.8	32.0			8.4 s	»
NMSE section 3.5	48.3	[18.2 ≉] 0.2	14.2		8.8 s	»
NMSE section 3.11	60.9	[24.2 ≉] 0.2	60.9		2.0 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		5.8 s	»
NMSE problem 3.4.2	61.9	[3.4 ≉] 0.0	14.5		13.8 s	»
NMSE problem 3.3.7	34.5	0.2	8.8		5.6 s	»
NMSE problem 3.3.3	9.7	[7.0 ≉] 9.7	0.3		6.0 s	»
NMSE problem 3.3.2	36.9	[20.4 ≉] 22.3	14.8		24.9 s	»
NMSE p42, positive	33.3	29.2	20.3		16.7 s	»
NMSE p42, negative	32.8	29.5	20.0		16.0 s	»
NMSE example 3.9	59.9	0.3	0.1		6.7 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		21.7 s	»
NMSE example 3.7	59.3	0.1	0.1		3.5 s	»
NMSE example 3.6	20.1	0.4	0.6		8.8 s	»
NMSE example 3.5	14.9	0.4	0.4		3.6 s	»
NMSE example 3.4	30.1	0.5	0		14.5 s	»
NMSE example 3.3	36.9	0.4	14.7		16.8 s	»
NMSE example 3.10	61.4	0.0	0.5		8.0 s	»
NMSE example 3.1	30.0	0.2	0.2		3.7 s	»