Herbie test results

Time: 9.2 m

Passed: 28/28

Tests: 28

Bits: 990/1077

+63.1
+62.0
+61.3
+59.5
+59.1
+59.1
+45.7
+43.0
+20.6
+21.3
+38.7
+30.5
+31.9
+22.9
+36.0
+28.2
+29.4
+35.8
+34.0
+31.5
+31.3
+30.3
+29.7
+27.0
+19.5
+14.6
+14.1
+9.6

Date:	Sunday, August 7th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1066118269 3146385405 2008244797 2413636924 657271294 3751684478)
Flags:	`rules: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	40.8	[21.4 ≉] 20.2			41.9 s	»
NMSE problem 3.4.5	31.8	0.3			18.9 s	»
NMSE problem 3.4.4	43.2	0.2			10.2 s	»
NMSE problem 3.4.1	31.6	0.3			13.2 s	»
NMSE problem 3.3.6	40.4	[0.1 ≉] 19.1			7.0 s	»
NMSE problem 3.3.5	39.5	0.7			33.4 s	»
NMSE problem 3.3.4	29.8	2.8			20.0 s	»
NMSE problem 3.3.1	14.5	0.4			2.8 s	»
NMSE problem 3.2.1, positive	37.1	[8.6 ≉] 5.2			1.4 m	»
NMSE problem 3.2.1, negative	36.0	[10.2 ≉] 7.8			15.9 s	»
NMSE section 3.5	36.0	0.2	12.4		6.6 s	»
NMSE section 3.11	45.9	0.1	30.7		5.2 s	»
NMSE problem 3.4.3	59.2	0.1	0.1		6.2 s	»
NMSE problem 3.4.2	62.0	[2.6 ≉] 0.0	14.6		9.9 s	»
NMSE problem 3.3.7	34.1	[1.2 ≉] 0.1	8.6		7.2 s	»
NMSE problem 3.3.3	9.9	0.3	0.3		12.4 s	»
NMSE problem 3.3.2	36.6	[16.5 ≉] 13.8	15.0		49.8 s	»
NMSE p42, positive	37.2	[8.6 ≉] 6.8	25.4		1.5 m	»
NMSE p42, negative	36.0	[10.2 ≉] 6.7	24.0		22.0 s	»
NMSE example 3.9	59.8	0.3	0.1		6.8 s	»
NMSE example 3.8	63.3	[60.9 ≉] 0.3	60.8		24.8 s	»
NMSE example 3.7	59.2	0.1	0.1		3.7 s	»
NMSE example 3.6	19.9	0.4	0.6		6.4 s	»
NMSE example 3.5	15.0	0.4	0.4		3.6 s	»
NMSE example 3.4	30.8	0.5	0.0		15.6 s	»
NMSE example 3.3	36.5	0.4	14.7		24.4 s	»
NMSE example 3.10	61.3	[1.0 ≉] 0.0	0.5		5.3 s	»
NMSE example 3.1	29.9	0.2	0.2		4.5 s	»