Herbie test results

Time: 6.9 m

Passed: 20/28

Tests: 28

Bits: 794/1133

+63.1
+62.5
+62.0
+61.2
+60.6
+44.7
+59.5
+59.1
+58.9
+43.9
+1.7
+15.1
+36.9
-0.7
+33.9
+4.0
+4.4
-0.1
0.0
-0.0
+15.8
+28.9
+29.3
+0.1
+19.2
+15.4
+13.9
+0.6

Date:	Tuesday, July 5th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065512462 304955665 3453608529 2798121886 4060785358 1530871378)
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.9	[31.7 ≉] 32.9			24.9 s	»
NMSE problem 3.4.5	62.6	[30.0 ≉] 0.2			6.4 s	»
NMSE problem 3.4.4	60.1	[20.2 ≉] 15.3			4.3 s	»
NMSE problem 3.4.1	31.2	[17.7 ≉] 15.4			49.0 s	»
NMSE problem 3.3.6	40.7	[28.5 ≉] 39.0			4.0 s	»
NMSE problem 3.3.5	39.8	24.7			22.9 s	»
NMSE problem 3.3.4	29.4	29.3			30.5 s	»
NMSE problem 3.3.1	13.8	13.1			3.9 s	»
NMSE problem 3.2.1, positive	33.5	[30.6 ≉] 33.6			14.9 s	»
NMSE problem 3.2.1, negative	33.6	29.7			13.0 s	»
NMSE section 3.5	45.1	[20.4 ≉] 1.2	2.4		9.9 s	»
NMSE section 3.11	60.8	[20.5 ≉] 0.2	60.8		3.5 s	»
NMSE problem 3.4.3	59.2	0.1	0.1		7.2 s	»
NMSE problem 3.4.2	62.0	[3.5 ≉] 0.0	15.0		7.9 s	»
NMSE problem 3.3.7	34.1	0.1	8.3		12.4 s	»
NMSE problem 3.3.3	15.5	[30.2 ≉] 0.1	15.6		10.8 s	»
NMSE problem 3.3.2	37.2	37.9	15.2		26.7 s	»
NMSE p42, positive	33.5	[30.2 ≉] 33.5	20.9		13.6 s	»
NMSE p42, negative	33.6	29.2	20.5		17.3 s	»
NMSE example 3.9	59.8	0.3	0.1		7.5 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		29.4 s	»
NMSE example 3.7	59.0	0.1	0.5		9.9 s	»
NMSE example 3.6	19.6	0.4	0.7		7.3 s	»
NMSE example 3.5	14.2	0.3	0.3		3.4 s	»
NMSE example 3.4	30.5	1.6	0		45.2 s	»
NMSE example 3.3	37.3	0.4	15.2		20.3 s	»
NMSE example 3.10	61.2	0.0	0.5		6.6 s	»
NMSE example 3.1	29.5	0.2	0.2		3.7 s	»