Herbie test results

Time: 4.4 m

Passed: 25/28

Tests: 28

Bits: 395/481

+1.1
+29.6
+29.0
+27.1
+25.6
+25.1
+20.1
+18.6
+10.2
+14.6
+14.4
+14.6
+3.5
+12.8
+12.3
+13.6
+15.0
+15.0
+14.5
+14.6
+4.6
+13.5
+12.7
+12.5
+5.4
+6.1
+5.5
+3.5

Date:	Sunday, July 10th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065639804 936413623 2655205282 2235462195 918319548 1069991914)
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.6	[13.9 ≉] 10.0			22.7 s	»
NMSE problem 3.4.5	15.0	0.0			4.8 s	»
NMSE problem 3.4.4	18.7	0.1			7.3 s	»
NMSE problem 3.4.1	14.8	0.3			5.0 s	»
NMSE problem 3.3.6	12.7	0.1			7.7 s	»
NMSE problem 3.3.5	17.5	[6.2 ≉] 3.2			10.5 s	»
NMSE problem 3.3.4	18.6	[12.3 ≉] 8.4			6.2 s	»
NMSE problem 3.3.1	5.6	0.1			4.0 s	»
NMSE problem 3.2.1, positive	17.7	[4.2 ≉] 3.1			10.3 s	»
NMSE problem 3.2.1, negative	16.6	3.8			11.1 s	»
NMSE section 3.5	14.8	0.1	4.0		6.1 s	»
NMSE section 3.11	20.2	0.0	13.2		6.2 s	»
NMSE problem 3.4.3	25.7	0.1	0.1		5.1 s	»
NMSE problem 3.4.2	29.7	[1.4 ≉] 0.1	6.6		18.6 s	»
NMSE problem 3.3.7	15.3	[1.4 ≉] 0.3	4.1		6.0 s	»
NMSE problem 3.3.3	4.0	0.5	0.4		8.9 s	»
NMSE problem 3.3.2	16.7	13.1	11.0		6.8 s	»
NMSE p42, positive	16.0	2.4	9.8		17.4 s	»
NMSE p42, negative	16.0	3.7	9.8		18.9 s	»
NMSE example 3.9	29.3	0.3	0.0		6.7 s	»
NMSE example 3.8	31.0	29.9	0.0		33.5 s	»
NMSE example 3.7	25.1	0.0	0.9		6.4 s	»
NMSE example 3.6	8.4	3.0	0.2		11.3 s	»
NMSE example 3.5	6.6	0.5	0.5		3.0 s	»
NMSE example 3.4	13.9	0.4	0.0		4.6 s	»
NMSE example 3.3	16.8	[4.8 ≉] 2.2	10.6		7.5 s	»
NMSE example 3.10	27.2	0.0	0.7		4.5 s	»
NMSE example 3.1	13.0	0.3	0.2		3.5 s	»