Herbie test results

Time: 5.6 m

Passed: 26/28

Tests: 28

Bits: 399/480

+1.1
+29.6
+29.1
+27.4
+26.4
+25.8
+20.4
+18.9
+14.3
+15.0
+13.4
+4.3
+16.2
+13.7
+13.5
+15.4
+15.0
+15.0
+14.2
+8.3
+13.6
+13.0
-0.1
+12.7
+8.1
+6.0
+4.6
+4.0

Date:	Friday, August 5th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1066021830 2830721961 259995540 547417586 81053319 3982124210)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	14.2	[13.5 ≉] 5.9			34.0 s	»
NMSE problem 3.4.5	15.5	0.0			7.9 s	»
NMSE problem 3.4.4	19.1	0.1			10.3 s	»
NMSE problem 3.4.1	15.2	0.2			6.7 s	»
NMSE problem 3.3.6	12.8	0.1			9.0 s	»
NMSE problem 3.3.5	17.5	[6.6 ≉] 2.6			17.6 s	»
NMSE problem 3.3.4	13.1	13.2			9.6 s	»
NMSE problem 3.3.1	5.6	1.0			4.0 s	»
NMSE problem 3.2.1, positive	17.7	3.4			12.9 s	»
NMSE problem 3.2.1, negative	17.0	[4.8 ≉] 3.6			12.9 s	»
NMSE section 3.5	14.8	0.6	3.9		6.8 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.9 s	»
NMSE problem 3.4.2	29.6	[2.8 ≉] 0.1	6.5		21.3 s	»
NMSE problem 3.3.7	15.3	0.3	3.8		5.7 s	»
NMSE problem 3.3.3	4.0	0.1	0.4		27.9 s	»
NMSE problem 3.3.2	16.6	[13.7 ≉] 12.3	12.2		9.9 s	»
NMSE p42, positive	16.2	2.6	9.7		22.1 s	»
NMSE p42, negative	16.0	2.6	9.8		18.6 s	»
NMSE example 3.9	29.4	0.3	0.0		6.1 s	»
NMSE example 3.8	31.0	29.9	0.0		36.3 s	»
NMSE example 3.7	26.4	0.1	0.1		6.3 s	»
NMSE example 3.6	8.4	0.3	0.2		8.8 s	»
NMSE example 3.5	6.5	0.5	0.5		3.3 s	»
NMSE example 3.4	14.0	0.4	0.0		6.8 s	»
NMSE example 3.3	16.6	0.4	7.4		9.8 s	»
NMSE example 3.10	27.4	[1.2 ≉] 0.0	0.7		5.5 s	»
NMSE example 3.1	13.1	0.2	0.2		3.7 s	»