Herbie test results

Time: 3.8 m

Passed: 18/28

Tests: 28

Bits: 319/500

+1.3
+29.5
+29.0
+11.9
+15.5
+26.6
+25.7
+25.2
+19.1
+9.3
+15.9
+1.7
+10.1
+16.4
+1.0
+1.0
+1.8
+0.8
+15.0
+7.3
+13.0
+13.0
-0.0
+12.3
+5.5
+6.4
+5.4
-0.3

Date:	Tuesday, July 5th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065512462 304955665 3453608529 2798121886 4060785358 1530871378)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	28.3	[11.5 ≉] 16.4			12.5 s	»
NMSE problem 3.4.5	29.9	[14.0 ≉] 0.3			8.7 s	»
NMSE problem 3.4.4	16.6	0.2			2.8 s	»
NMSE problem 3.4.1	14.4	7.1			10.7 s	»
NMSE problem 3.3.6	19.2	0.0			2.0 s	»
NMSE problem 3.3.5	18.6	9.2			10.3 s	»
NMSE problem 3.3.4	13.1	13.1			11.5 s	»
NMSE problem 3.3.1	6.0	0.6			2.0 s	»
NMSE problem 3.2.1, positive	15.7	14.7			7.8 s	»
NMSE problem 3.2.1, negative	15.5	14.7			9.8 s	»
NMSE section 3.5	12.3	0.1	0.1		1.7 s	»
NMSE section 3.11	17.7	1.8	16.0		2.3 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		6.2 s	»
NMSE problem 3.4.2	28.0	12.5	6.2		14.8 s	»
NMSE problem 3.3.7	15.3	0.3	4.2		4.6 s	»
NMSE problem 3.3.3	4.3	4.7	0.4		23.0 s	»
NMSE problem 3.3.2	17.0	[14.1 ≉] 15.3	7.6		5.8 s	»
NMSE p42, positive	15.8	14.8	9.2		14.0 s	»
NMSE p42, negative	15.6	13.8	9.2		12.7 s	»
NMSE example 3.9	29.3	0.3	0.0		5.4 s	»
NMSE example 3.8	31.0	29.7	0.0		30.8 s	»
NMSE example 3.7	25.2	0.0	0.9		2.0 s	»
NMSE example 3.6	8.4	2.9	0.2		7.0 s	»
NMSE example 3.5	7.0	0.6	0.6		2.3 s	»
NMSE example 3.4	13.5	0.4	0.0		4.8 s	»
NMSE example 3.3	16.9	6.8	7.5		7.1 s	»
NMSE example 3.10	26.7	0.1	0.5		5.0 s	»
NMSE example 3.1	13.1	0.2	0.2		3.7 s	»