Herbie test results

Time: 7.5 m

Passed: 23/28

Tests: 28

Bits: 865/1145

+63.1
+62.6
+62.0
+61.3
+60.7
+44.8
+59.6
+59.3
+59.2
+50.1
+48.5
+1.7
+14.8
+36.0
+34.7
+4.6
+4.5
+3.9
+1.2
0.0
+30.8
+15.7
+29.6
+0.1
+18.9
+14.1
+13.6
+9.3

Date:	Thursday, July 7th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065543365 620684644 906956026 369308393 342036037 1300431646)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	32.8	32.8			17.8 s	»
NMSE problem 3.4.5	62.7	[28.5 ≉] 0.2			5.2 s	»
NMSE problem 3.4.4	60.2	[17.5 ≉] 15.4			3.7 s	»
NMSE problem 3.4.1	31.0	0.3			45.8 s	»
NMSE problem 3.3.6	40.6	[28.3 ≉] 38.9			3.7 s	»
NMSE problem 3.3.5	39.4	24.6			20.6 s	»
NMSE problem 3.3.4	29.6	29.5			27.2 s	»
NMSE problem 3.3.1	14.0	0.4			2.9 s	»
NMSE problem 3.2.1, positive	33.5	32.4			9.0 s	»
NMSE problem 3.2.1, negative	33.8	29.2			1.4 m	»
NMSE section 3.5	50.3	[18.0 ≉] 0.2	19.7		4.0 s	»
NMSE section 3.11	60.9	[18.7 ≉] 0.2	60.9		1.5 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		7.0 s	»
NMSE problem 3.4.2	62.0	[2.6 ≉] 0.0	14.4		10.9 s	»
NMSE problem 3.3.7	34.9	0.1	8.6		9.5 s	»
NMSE problem 3.3.3	9.4	0.1	0.2		11.8 s	»
NMSE problem 3.3.2	48.8	[30.1 ≉] 0.3	16.2		29.1 s	»
NMSE p42, positive	33.6	29.7	21.0		16.9 s	»
NMSE p42, negative	33.8	29.2	20.8		17.9 s	»
NMSE example 3.9	59.9	0.3	0.1		6.5 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		26.3 s	»
NMSE example 3.7	59.3	0.1	0.1		4.3 s	»
NMSE example 3.6	19.3	0.4	0.7		6.5 s	»
NMSE example 3.5	14.5	0.4	0.4		3.2 s	»
NMSE example 3.4	30.2	[17.6 ≉] 14.5	0.0		44.4 s	»
NMSE example 3.3	36.4	0.4	14.7		21.9 s	»
NMSE example 3.10	61.3	0.0	0.5		4.6 s	»
NMSE example 3.1	29.7	0.2	0.2		3.5 s	»