Herbie test results

Time: 3.9 m

Passed: 24/28

Tests: 28

Bits: 371/481

+0.9
+29.1
+15.3
+26.8
+25.8
+25.4
+1.9
+18.7
+16.5
+14.3
+15.0
+17.0
+13.4
+15.5
+4.3
+13.6
+13.4
+15.4
+15.0
+15.0
+13.6
+13.0
-0.1
+12.3
+5.4
+6.0
+5.1
+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:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	19.0	[3.1 ≉] 17.1			19.4 s	»
NMSE problem 3.4.5	15.5	0.0			6.7 s	»
NMSE problem 3.4.4	17.2	0.2			3.0 s	»
NMSE problem 3.4.1	15.2	0.2			6.3 s	»
NMSE problem 3.3.6	18.7	0.1			2.4 s	»
NMSE problem 3.3.5	17.5	[6.7 ≉] 2.6			11.9 s	»
NMSE problem 3.3.4	13.1	13.2			8.2 s	»
NMSE problem 3.3.1	5.6	0.5			2.4 s	»
NMSE problem 3.2.1, positive	17.7	3.4			10.5 s	»
NMSE problem 3.2.1, negative	17.0	[4.8 ≉] 3.6			10.1 s	»
NMSE section 3.5	12.3	0.1	0.1		2.3 s	»
NMSE section 3.11	18.2	1.7	16.6		2.3 s	»
NMSE problem 3.4.3	25.9	0.1	0.1		5.6 s	»
NMSE problem 3.4.2	27.9	12.6	6.4		26.4 s	»
NMSE problem 3.3.7	15.3	0.3	3.8		4.5 s	»
NMSE problem 3.3.3	4.0	0.2	0.4		10.5 s	»
NMSE problem 3.3.2	16.6	[13.7 ≉] 12.4	12.2		8.8 s	»
NMSE p42, positive	16.2	2.7	9.8		18.6 s	»
NMSE p42, negative	16.0	2.6	9.8		16.4 s	»
NMSE example 3.9	29.4	0.3	0.0		5.1 s	»
NMSE example 3.8	31.0	30.1	0.0		18.6 s	»
NMSE example 3.7	25.4	0.0	0.8		1.8 s	»
NMSE example 3.6	8.4	3.0	0.2		6.5 s	»
NMSE example 3.5	6.5	0.5	0.5		3.1 s	»
NMSE example 3.4	14.0	0.4	0.0		4.8 s	»
NMSE example 3.3	16.7	[5.4 ≉] 1.2	11.4		8.2 s	»
NMSE example 3.10	26.8	0.1	0.5		4.8 s	»
NMSE example 3.1	13.1	0.2	0.2		3.2 s	»