Herbie test results

Time: 4.6 m

Passed: 18/28

Tests: 28

Bits: 716/1114

+63.1
+54.2
+61.9
+61.4
+45.1
+59.5
+59.3
+59.2
+49.5
+30.2
+1.6
+15.1
+15.1
+0.9
+34.1
0.0
0.0
+0.9
+0.9
-0.0
+15.5
+29.9
+29.9
+0.1
+0.2
+14.2
+13.8
0.0

Date:	Monday, July 11th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065639804 936413623 2655205282 2235462195 918319548 1069991914)
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	32.8	[34.1 ≉] 32.8			18.9 s	»
NMSE problem 3.4.5	62.7	[30.2 ≉] 8.6			11.5 s	»
NMSE problem 3.4.4	60.4	[19.0 ≉] 15.3			3.2 s	»
NMSE problem 3.4.1	31.2	[17.2 ≉] 15.7			11.9 s	»
NMSE problem 3.3.6	40.6	[28.4 ≉] 39.1			2.9 s	»
NMSE problem 3.3.5	39.7	24.6			26.0 s	»
NMSE problem 3.3.4	30.0	[28.8 ≉] 30.0			14.0 s	»
NMSE problem 3.3.1	14.1	0.4			4.0 s	»
NMSE problem 3.2.1, positive	33.6	[31.9 ≉] 33.6			6.4 s	»
NMSE problem 3.2.1, negative	33.3	[30.7 ≉] 32.4			10.8 s	»
NMSE section 3.5	49.6	[19.6 ≉] 0.2	19.0		3.9 s	»
NMSE section 3.11	40.8	10.6	40.8		5.5 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		5.3 s	»
NMSE problem 3.4.2	61.9	[3.0 ≉] 0.0	15.2		8.1 s	»
NMSE problem 3.3.7	34.2	0.1	8.5		5.4 s	»
NMSE problem 3.3.3	9.4	[10.6 ≉] 9.4	0.3		4.6 s	»
NMSE problem 3.3.2	37.3	[38.0 ≉] 36.4	15.0		29.9 s	»
NMSE p42, positive	33.6	[31.9 ≉] 33.6	20.8		9.3 s	»
NMSE p42, negative	33.3	[30.7 ≉] 32.4	20.6		15.7 s	»
NMSE example 3.9	59.9	0.3	0.1		7.0 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		20.2 s	»
NMSE example 3.7	59.3	0.1	0.1		3.4 s	»
NMSE example 3.6	19.8	19.6	0.7		6.1 s	»
NMSE example 3.5	14.6	0.4	0.4		2.7 s	»
NMSE example 3.4	30.4	0.4	0.0		11.3 s	»
NMSE example 3.3	37.4	[24.4 ≉] 22.2	15.0		18.0 s	»
NMSE example 3.10	61.5	0.0	0.4		4.2 s	»
NMSE example 3.1	30.1	0.2	0.2		2.8 s	»