Herbie test results

Time: 2.9 m

Passed: 17/28

Tests: 28

Bits: 286/483

+0.9
+29.0
+12.0
+15.6
+26.5
+25.6
+25.1
+18.7
+9.0
+16.3
+16.7
-0.1
+10.1
+2.0
+1.8
+0.9
+0.8
+15.0
0.0
+14.5
+13.5
+12.7
-0.0
+12.3
+5.4
+6.1
+5.1
-9.5

Date:	Monday, July 11th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065639804 936413623 2655205282 2235462195 918319548 1069991914)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	28.3	[11.5 ≉] 16.3			12.2 s	»
NMSE problem 3.4.5	15.0	[13.7 ≉] 15.0			3.6 s	»
NMSE problem 3.4.4	16.9	0.2			3.3 s	»
NMSE problem 3.4.1	14.8	0.3			5.1 s	»
NMSE problem 3.3.6	18.8	0.1			2.0 s	»
NMSE problem 3.3.5	18.2	9.2			6.5 s	»
NMSE problem 3.3.4	13.0	13.0			9.1 s	»
NMSE problem 3.3.1	5.6	0.5			1.9 s	»
NMSE problem 3.2.1, positive	15.5	14.7			6.1 s	»
NMSE problem 3.2.1, negative	15.5	14.6			8.2 s	»
NMSE section 3.5	12.4	0.1	0.2		3.0 s	»
NMSE section 3.11	17.9	1.6	16.4		2.0 s	»
NMSE problem 3.4.3	25.7	0.1	0.1		4.8 s	»
NMSE problem 3.4.2	28.1	12.4	6.3		11.5 s	»
NMSE problem 3.3.7	15.3	[1.4 ≉] 0.3	4.1		4.0 s	»
NMSE problem 3.3.3	4.0	[12.0 ≉] 13.4	0.4		10.6 s	»
NMSE problem 3.3.2	16.7	16.8	7.5		4.5 s	»
NMSE p42, positive	15.6	13.8	9.3		10.4 s	»
NMSE p42, negative	15.6	13.6	9.3		10.4 s	»
NMSE example 3.9	29.3	0.3	0.0		5.5 s	»
NMSE example 3.8	31.0	30.1	0.0		18.7 s	»
NMSE example 3.7	25.1	0.0	0.9		1.6 s	»
NMSE example 3.6	8.4	3.0	0.2		6.6 s	»
NMSE example 3.5	6.6	0.5	0.5		2.4 s	»
NMSE example 3.4	13.9	0.4	0.0		4.8 s	»
NMSE example 3.3	16.6	6.4	7.5		5.9 s	»
NMSE example 3.10	26.6	0.1	0.5		4.4 s	»
NMSE example 3.1	13.0	0.3	0.2		3.3 s	»