Herbie test results

Time: 14.2 m

Passed: 27/28

Tests: 28

Bits: 907/1061

+63.1
+61.1
+59.6
+59.3
+58.7
+31.2
+15.8
+3.2
+39.9
+40.1
+39.8
+32.3
+36.3
+12.8
+27.7
+34.3
+26.7
+28.3
+28.0
+31.7
+31.1
+29.6
+30.1
+29.3
+19.0
+14.5
+14.0
+9.6

Date:	Sunday, July 24th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065385120 3968465003 4252011776 3360847114 2908152799 1991881914)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce: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			1.2 m	»
NMSE problem 3.4.5	31.8	0.1			35.5 s	»
NMSE problem 3.4.4	39.8	0.1			17.5 s	»
NMSE problem 3.4.1	31.5	0.4			37.3 s	»
NMSE problem 3.3.6	40.1	0.0			5.8 s	»
NMSE problem 3.3.5	36.8	[16.7 ≉] 4.4			1.2 m	»
NMSE problem 3.3.4	45.3	29.5			6.8 s	»
NMSE problem 3.3.1	14.3	0.4			4.2 s	»
NMSE problem 3.2.1, positive	33.6	5.7			24.7 s	»
NMSE problem 3.2.1, negative	34.4	6.8			25.7 s	»
NMSE section 3.5	30.1	0.0	0.2		7.7 s	»
NMSE section 3.11	40.2	0.4	39.9		10.1 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		11.6 s	»
NMSE problem 3.4.2	58.5	27.3	13.9		2.7 m	»
NMSE problem 3.3.7	34.4	0.1	8.6		7.9 s	»
NMSE problem 3.3.3	9.9	0.4	0.6		18.4 s	»
NMSE problem 3.3.2	35.8	[30.3 ≉] 23.0	27.0		1.4 m	»
NMSE p42, positive	33.6	5.3	20.6		39.2 s	»
NMSE p42, negative	34.1	7.3	21.2		42.2 s	»
NMSE example 3.9	60.0	0.3	0.1		11.2 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		36.8 s	»
NMSE example 3.7	58.7	0	0.5		10.7 s	»
NMSE example 3.6	19.4	0.4	0.6		10.9 s	»
NMSE example 3.5	14.9	0.4	0.4		6.0 s	»
NMSE example 3.4	30.4	0.8	0.0		33.2 s	»
NMSE example 3.3	36.6	0.4	14.6		39.7 s	»
NMSE example 3.10	61.1	0.0	0.3		21.2 s	»
NMSE example 3.1	29.5	0.2	0.2		6.4 s	»