Herbie test results

Time: 17.4 m

Passed: 27/28

Tests: 28

Bits: 434/465

+30.6
+29.5
+29.0
+27.3
+25.8
+25.7
+20.0
+18.0
+18.4
+14.0
+14.4
+13.6
+10.4
+16.5
+8.1
+15.0
+14.5
+14.5
+14.2
+13.0
+12.9
+11.4
+12.6
+8.2
+6.4
+5.9
+4.2
TIME

Date:	Monday, July 4th, 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:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	15.6	[10.0 ≉] 7.5			32.0 s	»
NMSE problem 3.4.5	14.6	0.0			10.3 s	»
NMSE problem 3.4.4	18.5	0.1			9.4 s	»
NMSE problem 3.4.1	14.4	0.2			12.8 s	»
NMSE problem 3.3.6	12.8	0.2			9.3 s	»
NMSE problem 3.3.5	18.6	0.6			21.4 s	»
NMSE problem 3.3.4	13.1	1.7			17.1 s	»
NMSE problem 3.3.1	6.0	0.1			6.7 s	»
NMSE problem 3.2.1, positive	17.4	3.4			12.2 s	»
NMSE problem 3.2.1, negative	17.2	3.6			18.5 s	»
NMSE section 3.5	14.7	0.1	3.9		10.8 s	»
NMSE section 3.11	20.0	0.0	12.8		5.7 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		8.1 s	»
NMSE problem 3.4.2	29.6	[2.3 ≉] 0.1	6.3		1.4 m	»
NMSE problem 3.3.7	15.3	0.3	4.2		6.1 s	»
NMSE problem 3.3.3	4.3	0.1	0.4		8.3 s	»
NMSE problem 3.3.2	17.1	6.7	7.7		18.8 s	»
NMSE p42, positive					10.0 m	»
NMSE p42, negative	17.2	2.8	11.2		24.4 s	»
NMSE example 3.9	29.3	0.3	0.0		8.3 s	»
NMSE example 3.8	31.0	[18.8 ≉] 0.4	18.5		57.0 s	»
NMSE example 3.7	25.9	0.2	1.0		9.4 s	»
NMSE example 3.6	8.4	0.2	0.2		8.9 s	»
NMSE example 3.5	7.0	0.6	0.6		3.7 s	»
NMSE example 3.4	13.5	0.4	0.0		10.5 s	»
NMSE example 3.3	16.9	0.4	7.5		19.6 s	»
NMSE example 3.10	27.3	0.0	0.7		8.3 s	»
NMSE example 3.1	13.1	0.2	0.2		4.1 s	»