Herbie test results

Time: 5.7 m

Passed: 24/28

Tests: 28

Bits: 380/475

+1.6
+29.0
+15.6
+26.5
+25.7
+25.2
+2.0
+18.6
+18.0
+16.1
+13.6
+16.6
+16.6
+13.4
+13.8
+13.5
+13.4
+15.2
+14.9
+14.5
+13.1
+12.5
+12.5
-3.3
+6.0
+6.1
+5.5
+4.0

Date:	Sunday, July 24th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065385120 3968465003 4252011776 3360847114 2908152799 1991881914)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	19.1	[2.9 ≉] 17.2			23.9 s	»
NMSE problem 3.4.5	14.9	0.0			8.7 s	»
NMSE problem 3.4.4	16.8	0.2			5.4 s	»
NMSE problem 3.4.1	14.7	0.2			8.1 s	»
NMSE problem 3.3.6	18.7	0.1			2.3 s	»
NMSE problem 3.3.5	18.6	0.7			13.0 s	»
NMSE problem 3.3.4	9.5	12.8			20.7 s	»
NMSE problem 3.3.1	5.7	0.2			4.3 s	»
NMSE problem 3.2.1, positive	16.2	2.7			17.6 s	»
NMSE problem 3.2.1, negative	16.1	2.7			21.4 s	»
NMSE section 3.5	12.5	0.1	0.1		2.7 s	»
NMSE section 3.11	17.9	1.7	16.2		2.4 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		7.1 s	»
NMSE problem 3.4.2	28.1	12.5	6.1		35.2 s	»
NMSE problem 3.3.7	15.5	0.3	4.2		5.9 s	»
NMSE problem 3.3.3	4.1	0.2	0.4		10.4 s	»
NMSE problem 3.3.2	17.5	[11.4 ≉] 3.9	8.6		31.7 s	»
NMSE p42, positive	16.2	2.4	10.0		19.2 s	»
NMSE p42, negative	16.4	3.0	10.3		22.4 s	»
NMSE example 3.9	29.3	0.3	0.0		5.6 s	»
NMSE example 3.8	31.0	29.4	0.0		21.9 s	»
NMSE example 3.7	25.2	0.0	0.9		2.5 s	»
NMSE example 3.6	8.3	2.3	0.2		14.7 s	»
NMSE example 3.5	6.6	0.6	0.6		4.8 s	»
NMSE example 3.4	13.8	0.7	0.0		6.8 s	»
NMSE example 3.3	16.8	0.3	7.6		11.2 s	»
NMSE example 3.10	26.6	0.1	0.5		6.3 s	»
NMSE example 3.1	13.0	0.5	0.2		4.3 s	»