Herbie test results

Time: 18.4 m

Passed: 26/28

Tests: 28

Bits: 896/1025

+63.1
+60.9
+59.6
+59.2
+31.0
+58.6
+3.1
+24.3
+21.0
+39.9
+39.7
+39.8
+36.5
+29.3
+30.4
+34.7
+28.5
+31.8
+30.7
+29.7
+29.4
+29.2
+26.7
+19.1
+15.1
+14.5
+10.7
TIME

Date:	Friday, August 5th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1066021830 2830721961 259995540 547417586 81053319 3982124210)
Flags:	`rules:numericsrules: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	43.2	[3.1 ≉] 40.1			32.4 s	»
NMSE problem 3.4.5	31.9	0.1			20.1 s	»
NMSE problem 3.4.4	39.9	0.0			8.2 s	»
NMSE problem 3.4.1	31.0	0.3			47.9 s	»
NMSE problem 3.3.6	40.4	[0.1 ≉] 19.4			8.5 s	»
NMSE problem 3.3.5	40.2	0.5			25.1 s	»
NMSE problem 3.3.4	29.3	2.6			22.7 s	»
NMSE problem 3.3.1	14.9	0.3			2.7 s	»
NMSE problem 3.2.1, positive	34.4	[3.9 ≉] 5.9			16.3 s	»
NMSE problem 3.2.1, negative	35.9	[5.1 ≉] 6.6			21.1 s	»
NMSE section 3.5	29.4	0.0	0.2		4.8 s	»
NMSE section 3.11	40.3	0.5	39.9		7.5 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		6.0 s	»
NMSE problem 3.4.2	58.8	[26.2 ≉] 27.8	14.2		1.3 m	»
NMSE problem 3.3.7	34.9	0.1	9.1		4.7 s	»
NMSE problem 3.3.3	10.7	0.1	1.2		7.7 s	»
NMSE problem 3.3.2	40.8	[10.5 ≉] 16.6	32.2		46.8 s	»
NMSE p42, positive					10.0 m	»
NMSE p42, negative	35.5	[4.1 ≉] 5.2	23.6		31.4 s	»
NMSE example 3.9	59.9	0.3	0.1		7.3 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		23.5 s	»
NMSE example 3.7	58.6	0.0	0.5		5.9 s	»
NMSE example 3.6	19.4	0.3	0.7		16.0 s	»
NMSE example 3.5	15.4	0.3	0.3		4.2 s	»
NMSE example 3.4	30.2	0.5	0.0		14.2 s	»
NMSE example 3.3	37.0	0.5	14.7		26.3 s	»
NMSE example 3.10	60.9	0.0	0.3		9.6 s	»
NMSE example 3.1	29.4	0.2	0.2		5.8 s	»