Herbie test results

Time: 4.6 m

Passed: 24/28

Tests: 28

Bits: 367/478

+0.9
+29.0
+15.6
+26.5
+25.6
+25.1
+2.0
+18.7
+16.3
+14.7
+14.3
+16.7
+14.6
+4.0
+12.8
+13.3
+13.6
+14.9
+15.0
+14.5
+13.5
+12.7
-0.0
+12.3
+5.4
+6.1
+5.1
+3.5

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

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	19.1	[2.8 ≉] 17.1			23.8 s	»
NMSE problem 3.4.5	15.0	0.0			7.2 s	»
NMSE problem 3.4.4	16.9	0.2			4.1 s	»
NMSE problem 3.4.1	14.8	0.3			7.1 s	»
NMSE problem 3.3.6	18.8	0.1			2.4 s	»
NMSE problem 3.3.5	17.5	[6.2 ≉] 3.2			15.0 s	»
NMSE problem 3.3.4	13.0	13.0			10.8 s	»
NMSE problem 3.3.1	5.6	0.5			2.8 s	»
NMSE problem 3.2.1, positive	17.7	[4.2 ≉] 3.0			12.1 s	»
NMSE problem 3.2.1, negative	16.6	3.8			11.7 s	»
NMSE section 3.5	12.4	0.1	0.2		2.5 s	»
NMSE section 3.11	17.9	1.6	16.4		2.3 s	»
NMSE problem 3.4.3	25.7	0.1	0.1		6.6 s	»
NMSE problem 3.4.2	28.1	12.4	6.3		26.2 s	»
NMSE problem 3.3.7	15.3	[1.4 ≉] 0.3	4.1		5.0 s	»
NMSE problem 3.3.3	4.0	0.5	0.4		14.9 s	»
NMSE problem 3.3.2	16.6	[13.8 ≉] 12.7	11.7		11.5 s	»
NMSE p42, positive	16.0	2.4	9.8		20.1 s	»
NMSE p42, negative	16.0	2.7	9.8		19.7 s	»
NMSE example 3.9	29.3	0.3	0.0		6.2 s	»
NMSE example 3.8	31.0	30.1	0.0		19.2 s	»
NMSE example 3.7	25.1	0.0	0.9		2.0 s	»
NMSE example 3.6	8.4	3.0	0.2		7.5 s	»
NMSE example 3.5	6.6	0.5	0.5		3.0 s	»
NMSE example 3.4	13.9	0.4	0.0		7.2 s	»
NMSE example 3.3	16.8	[4.8 ≉] 2.2	10.6		14.0 s	»
NMSE example 3.10	26.6	0.1	0.5		4.9 s	»
NMSE example 3.1	13.0	0.3	0.2		4.6 s	»