Herbie test results

Time: 4.4 m

Passed: 25/28

Tests: 28

Bits: 380/489

+0.9
+29.1
+15.3
+26.8
+25.8
+25.4
+8.6
+1.9
+18.7
+16.5
+14.3
+14.9
+17.0
+13.4
+15.5
+4.3
+13.6
+13.4
+15.4
+15.0
+15.0
+13.6
+13.0
+12.3
+5.4
+6.0
+5.1
+3.9

Date:	Friday, August 5th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
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			20.7 s	»
NMSE problem 3.4.5	15.5	0.0			6.9 s	»
NMSE problem 3.4.4	17.2	0.2			3.2 s	»
NMSE problem 3.4.1	15.2	0.2			7.3 s	»
NMSE problem 3.3.6	18.7	0.1			2.5 s	»
NMSE problem 3.3.5	17.5	[6.7 ≉] 2.6			14.9 s	»
NMSE problem 3.3.4	21.4	[13.9 ≉] 12.8			3.8 s	»
NMSE problem 3.3.1	5.6	0.5			2.7 s	»
NMSE problem 3.2.1, positive	17.7	3.4			12.5 s	»
NMSE problem 3.2.1, negative	17.0	[4.8 ≉] 3.6			13.8 s	»
NMSE section 3.5	12.3	0.1	0.1		2.5 s	»
NMSE section 3.11	18.2	1.7	16.6		4.0 s	»
NMSE problem 3.4.3	25.9	0.1	0.1		6.7 s	»
NMSE problem 3.4.2	27.9	12.7	6.4		19.1 s	»
NMSE problem 3.3.7	15.3	0.3	3.8		7.0 s	»
NMSE problem 3.3.3	4.0	0.1	0.4		8.9 s	»
NMSE problem 3.3.2	16.6	[13.7 ≉] 12.3	12.2		10.1 s	»
NMSE p42, positive	16.2	2.7	9.8		22.6 s	»
NMSE p42, negative	16.0	2.6	9.8		20.8 s	»
NMSE example 3.9	29.4	0.3	0.0		5.7 s	»
NMSE example 3.8	31.0	30.1	0.0		24.0 s	»
NMSE example 3.7	25.4	0.0	0.8		1.9 s	»
NMSE example 3.6	8.4	3.0	0.2		8.0 s	»
NMSE example 3.5	6.5	0.5	0.5		2.5 s	»
NMSE example 3.4	14.0	0.4	0.0		7.0 s	»
NMSE example 3.3	16.7	[5.4 ≉] 1.2	11.4		13.8 s	»
NMSE example 3.10	26.8	0.1	0.5		4.9 s	»
NMSE example 3.1	13.1	0.2	0.2		3.9 s	»