Herbie test results

Time: 7.0 m

Passed: 27/28

Tests: 28

Bits: 408/483

+1.1
+29.6
+29.0
+27.1
+25.6
+25.1
+20.4
+18.6
+17.7
+8.1
+14.7
+9.8
+15.4
+12.8
+8.0
+13.2
+12.8
+15.0
+12.1
+14.5
+14.6
+13.5
+12.7
+12.5
+8.1
+6.1
+5.5
+3.9

Date:	Tuesday, July 12th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065639804 936413623 2655205282 2235462195 918319548 1069991914)
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.0	[12.3 ≉] 9.9			33.4 s	»
NMSE problem 3.4.5	15.0	0.0			8.3 s	»
NMSE problem 3.4.4	18.7	0.1			9.8 s	»
NMSE problem 3.4.1	14.8	0.3			8.3 s	»
NMSE problem 3.3.6	12.7	0.1			10.1 s	»
NMSE problem 3.3.5	18.2	0.5			20.7 s	»
NMSE problem 3.3.4	16.4	[11.3 ≉] 8.4			19.7 s	»
NMSE problem 3.3.1	5.6	0.1			6.4 s	»
NMSE problem 3.2.1, positive	17.7	[4.2 ≉] 3.0			14.8 s	»
NMSE problem 3.2.1, negative	16.6	3.8			17.7 s	»
NMSE section 3.5	14.8	0.1	4.0		8.3 s	»
NMSE section 3.11	20.5	0.1	13.5		10.2 s	»
NMSE problem 3.4.3	25.7	0.1	0.1		7.2 s	»
NMSE problem 3.4.2	29.7	[1.4 ≉] 0.1	6.6		26.3 s	»
NMSE problem 3.3.7	14.9	[1.4 ≉] 2.8	3.3		9.7 s	»
NMSE problem 3.3.3	4.0	0.1	0.4		11.2 s	»
NMSE problem 3.3.2	17.0	7.2	7.8		23.9 s	»
NMSE p42, positive	15.9	3.1	9.8		24.3 s	»
NMSE p42, negative	16.0	2.8	9.8		22.5 s	»
NMSE example 3.9	29.3	0.3	0.0		7.8 s	»
NMSE example 3.8	31.0	29.9	23.0		56.9 s	»
NMSE example 3.7	25.1	0.0	0.9		7.2 s	»
NMSE example 3.6	8.4	0.3	0.2		11.9 s	»
NMSE example 3.5	6.6	0.5	0.5		4.0 s	»
NMSE example 3.4	13.9	0.4	0.0		8.7 s	»
NMSE example 3.3	16.6	1.2	7.5		19.7 s	»
NMSE example 3.10	27.2	0.0	0.7		6.7 s	»
NMSE example 3.1	13.0	0.3	0.2		5.0 s	»