Herbie test results

Time: 6.2 m

Passed: 21/28

Tests: 28

Bits: 809/1119

+63.1
+62.0
+61.4
+60.8
+59.9
+59.6
+59.3
+59.2
+51.4
+48.6
+1.6
+15.5
+37.0
+34.5
0.0
-0.1
+0.7
+0.7
-0.1
+0.0
+15.0
+29.8
+0.0
+29.4
+19.6
+15.0
+14.8
+10.2

Date:	Friday, July 29th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065894488 2199264003 1058398788 1110142813 3223388056 148167450)
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			21.4 s	»
NMSE problem 3.4.5	30.8	30.8			18.0 s	»
NMSE problem 3.4.4	60.2	[23.1 ≉] 0.2			12.5 s	»
NMSE problem 3.4.1	30.6	15.7			15.9 s	»
NMSE problem 3.3.6	41.0	[27.4 ≉] 39.4			3.9 s	»
NMSE problem 3.3.5	39.7	[26.2 ≉] 24.2			25.3 s	»
NMSE problem 3.3.4	29.8	[27.6 ≉] 29.8			17.9 s	»
NMSE problem 3.3.1	14.9	0.1			3.3 s	»
NMSE problem 3.2.1, positive	33.9	34.0			9.0 s	»
NMSE problem 3.2.1, negative	33.4	[30.6 ≉] 32.8			13.1 s	»
NMSE section 3.5	51.4	[22.3 ≉] 0	26.7		2.4 s	»
NMSE section 3.11	61.0	[23.9 ≉] 0.2	61.0		2.3 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		5.7 s	»
NMSE problem 3.4.2	62.0	[4.0 ≉] 0.0	14.8		10.2 s	»
NMSE problem 3.3.7	34.7	0.1	9.3		9.1 s	»
NMSE problem 3.3.3	10.3	0.1	0.3		14.1 s	»
NMSE problem 3.3.2	48.9	[29.4 ≉] 0.3	16.4		30.9 s	»
NMSE p42, positive	33.9	33.9	21.1		11.8 s	»
NMSE p42, negative	33.4	[30.5 ≉] 32.8	21.1		18.6 s	»
NMSE example 3.9	60.0	0.3	0.1		8.5 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		28.7 s	»
NMSE example 3.7	59.3	0.1	0.1		4.0 s	»
NMSE example 3.6	20.0	0.4	0.7		8.0 s	»
NMSE example 3.5	15.4	0.4	0.4		3.7 s	»
NMSE example 3.4	29.8	0.5	0.0		43.3 s	»
NMSE example 3.3	37.4	0.4	15.4		22.4 s	»
NMSE example 3.10	61.4	0.0	0.4		6.2 s	»
NMSE example 3.1	29.9	0.2	0.2		3.9 s	»