Herbie test results

Time: 7.7 m

Passed: 26/28

Tests: 28

Bits: 403/480

+1.1
+29.6
+29.1
+27.4
+26.4
+25.8
+20.4
+18.9
+8.0
+17.9
+14.3
+13.2
+9.5
+16.4
+13.7
+13.5
+15.4
+15.0
+14.5
+14.0
+13.6
+12.7
+12.7
-3.3
+8.1
+6.0
+5.5
+3.9

Date:	Wednesday, August 3rd, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1066021830 2830721961 259995540 547417586 81053319 3982124210)
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	18.7	[12.4 ≉] 10.6			38.5 s	»
NMSE problem 3.4.5	15.5	0.0			8.0 s	»
NMSE problem 3.4.4	19.1	0.1			9.2 s	»
NMSE problem 3.4.1	15.2	0.2			6.7 s	»
NMSE problem 3.3.6	12.8	0.1			7.6 s	»
NMSE problem 3.3.5	18.4	0.5			14.1 s	»
NMSE problem 3.3.4	9.6	12.9			18.8 s	»
NMSE problem 3.3.1	5.6	0.1			5.6 s	»
NMSE problem 3.2.1, positive	17.7	3.4			12.0 s	»
NMSE problem 3.2.1, negative	17.0	[4.8 ≉] 3.7			15.0 s	»
NMSE section 3.5	14.1	0.1	2.8		6.2 s	»
NMSE section 3.11	20.5	0.1	13.4		6.2 s	»
NMSE problem 3.4.3	25.9	0.1	0.1		6.5 s	»
NMSE problem 3.4.2	29.6	[2.8 ≉] 0.1	6.5		2.2 m	»
NMSE problem 3.3.7	14.6	0.1	2.5		7.4 s	»
NMSE problem 3.3.3	4.0	0.1	0.4		17.5 s	»
NMSE problem 3.3.2	16.7	7.3	7.5		18.1 s	»
NMSE p42, positive	16.2	2.6	9.7		19.5 s	»
NMSE p42, negative	16.0	2.6	9.8		19.3 s	»
NMSE example 3.9	29.4	0.3	0.0		6.0 s	»
NMSE example 3.8	31.0	29.9	0.0		43.8 s	»
NMSE example 3.7	26.4	0.1	0.1		7.0 s	»
NMSE example 3.6	8.4	0.3	0.2		6.8 s	»
NMSE example 3.5	6.5	0.5	0.5		4.2 s	»
NMSE example 3.4	14.0	0.4	0.0		6.5 s	»
NMSE example 3.3	16.6	0.2	7.4		11.3 s	»
NMSE example 3.10	27.4	[1.2 ≉] 0.0	0.7		5.8 s	»
NMSE example 3.1	13.1	0.4	0.2		4.1 s	»