Herbie test results

Time: 4.9 m

Passed: 19/28

Tests: 28

Bits: 770/1140

+63.1
+62.5
+62.0
+61.2
+60.6
+44.7
+59.5
+59.1
+58.9
+41.9
+1.7
+15.1
+14.7
-0.1
+33.9
+4.0
+4.4
-0.1
0.0
-0.0
+15.8
+28.9
+29.3
+0.1
+19.0
+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:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	32.9	[31.7 ≉] 32.9			20.8 s	»
NMSE problem 3.4.5	62.6	[30.0 ≉] 0.2			6.1 s	»
NMSE problem 3.4.4	60.1	[20.2 ≉] 15.3			4.0 s	»
NMSE problem 3.4.1	31.2	[17.7 ≉] 15.4			13.5 s	»
NMSE problem 3.3.6	40.7	[28.5 ≉] 39.0			4.0 s	»
NMSE problem 3.3.5	39.8	24.7			18.8 s	»
NMSE problem 3.3.4	29.4	29.3			22.8 s	»
NMSE problem 3.3.1	13.8	13.1			2.9 s	»
NMSE problem 3.2.1, positive	33.5	[30.6 ≉] 33.6			7.4 s	»
NMSE problem 3.2.1, negative	33.6	29.7			10.3 s	»
NMSE section 3.5	52.2	[20.5 ≉] 10.3	26.6		8.0 s	»
NMSE section 3.11	60.8	[20.5 ≉] 0.2	60.8		3.2 s	»
NMSE problem 3.4.3	59.2	0.1	0.1		6.1 s	»
NMSE problem 3.4.2	62.0	[3.5 ≉] 0.0	15.0		7.8 s	»
NMSE problem 3.3.7	34.1	0.1	8.3		9.5 s	»
NMSE problem 3.3.3	15.5	[30.2 ≉] 0.1	15.6		10.6 s	»
NMSE problem 3.3.2	37.2	37.3	15.2		22.9 s	»
NMSE p42, positive	33.5	[30.2 ≉] 33.5	20.9		11.2 s	»
NMSE p42, negative	33.6	29.2	20.5		15.2 s	»
NMSE example 3.9	59.8	0.3	0.1		7.3 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		22.2 s	»
NMSE example 3.7	59.0	0.1	0.5		8.9 s	»
NMSE example 3.6	19.6	0.6	0.7		7.1 s	»
NMSE example 3.5	14.2	0.3	0.3		2.9 s	»
NMSE example 3.4	30.5	1.6	0		12.4 s	»
NMSE example 3.3	37.3	[24.4 ≉] 22.6	15.2		17.7 s	»
NMSE example 3.10	61.2	0.0	0.5		5.4 s	»
NMSE example 3.1	29.5	0.2	0.2		3.1 s	»