Herbie test results

Time: 17.6 m

Passed: 26/28

Tests: 28

Bits: 895/1022

+63.1
+60.9
+59.6
+59.2
+30.8
+58.6
+3.1
+21.0
+39.9
+39.7
+39.8
+23.9
+36.6
+29.3
+30.4
+34.7
+28.3
+31.8
+30.7
+29.7
+29.4
+29.2
+26.3
+19.0
+15.1
+14.5
+10.7
TIME

Date:	Wednesday, August 3rd, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
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.0 ≉] 40.1			27.6 s	»
NMSE problem 3.4.5	31.9	0.1			19.1 s	»
NMSE problem 3.4.4	39.9	0.0			8.2 s	»
NMSE problem 3.4.1	31.0	0.3			46.7 s	»
NMSE problem 3.3.6	40.4	[0.1 ≉] 19.4			6.1 s	»
NMSE problem 3.3.5	40.2	0.5			22.5 s	»
NMSE problem 3.3.4	29.3	3.0			34.0 s	»
NMSE problem 3.3.1	14.9	0.3			2.5 s	»
NMSE problem 3.2.1, positive	34.4	[3.9 ≉] 6.1			14.9 s	»
NMSE problem 3.2.1, negative	35.9	[5.1 ≉] 6.6			20.0 s	»
NMSE section 3.5	29.4	0.0	0.2		4.6 s	»
NMSE section 3.11	40.3	0.5	39.9		6.2 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		6.2 s	»
NMSE problem 3.4.2	58.8	[26.4 ≉] 27.9	14.2		1.3 m	»
NMSE problem 3.3.7	34.9	0.1	9.1		4.5 s	»
NMSE problem 3.3.3	10.7	0.1	1.2		7.5 s	»
NMSE problem 3.3.2	37.6	[26.0 ≉] 13.7	27.7		31.5 s	»
NMSE p42, positive					10.0 m	»
NMSE p42, negative	35.5	[4.1 ≉] 5.2	23.6		28.2 s	»
NMSE example 3.9	59.9	0.3	0.1		6.0 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		21.0 s	»
NMSE example 3.7	58.6	0.0	0.5		5.6 s	»
NMSE example 3.6	19.4	0.4	0.7		8.6 s	»
NMSE example 3.5	15.4	0.3	0.3		2.9 s	»
NMSE example 3.4	30.2	0.5	0.0		13.3 s	»
NMSE example 3.3	37.0	0.4	14.7		19.6 s	»
NMSE example 3.10	60.9	0.0	0.3		10.0 s	»
NMSE example 3.1	29.4	0.2	0.2		5.8 s	»