Herbie test results

Time: 4.5 m

Passed: 24/28

Tests: 28

Bits: 360/478

+1.6
+29.0
+15.7
+26.6
+25.1
+24.7
+19.1
+1.8
+14.3
+16.0
+14.3
+13.3
+4.0
+10.5
+16.5
+12.4
+13.0
+15.1
+14.5
+14.0
+12.4
+12.9
-0.2
+12.1
+5.4
+6.3
+4.9
+4.3

Date:	Saturday, July 16th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065670707 1252142602 108487242 4101615998 1494603059 839552182)
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.1	[3.6 ≉] 17.3			18.0 s	»
NMSE problem 3.4.5	14.6	0.1			6.3 s	»
NMSE problem 3.4.4	16.7	0.2			3.2 s	»
NMSE problem 3.4.1	14.4	0.3			7.5 s	»
NMSE problem 3.3.6	19.2	0.1			2.3 s	»
NMSE problem 3.3.5	18.1	[7.6 ≉] 3.8			17.1 s	»
NMSE problem 3.3.4	13.1	13.2			11.7 s	»
NMSE problem 3.3.1	6.0	1.0			3.2 s	»
NMSE problem 3.2.1, positive	17.0	3.7			13.1 s	»
NMSE problem 3.2.1, negative	17.6	3.3			12.7 s	»
NMSE section 3.5	12.2	0.1	0.2		2.6 s	»
NMSE section 3.11	17.8	1.8	16.0		2.8 s	»
NMSE problem 3.4.3	24.7	0.0	0.3		6.3 s	»
NMSE problem 3.4.2	28.1	12.3	6.2		27.3 s	»
NMSE problem 3.3.7	15.4	[1.9 ≉] 0.4	4.1		4.6 s	»
NMSE problem 3.3.3	4.7	0.4	0.8		10.2 s	»
NMSE problem 3.3.2	16.7	[15.3 ≉] 12.7	12.0		10.1 s	»
NMSE p42, positive	16.2	3.8	10.1		16.0 s	»
NMSE p42, negative	16.0	3.0	9.6		20.9 s	»
NMSE example 3.9	29.3	0.3	0.0		6.1 s	»
NMSE example 3.8	31.0	29.4	0.0		25.9 s	»
NMSE example 3.7	25.1	0.0	0.9		2.3 s	»
NMSE example 3.6	8.3	3.0	0.2		7.7 s	»
NMSE example 3.5	6.9	0.6	0.6		2.6 s	»
NMSE example 3.4	13.4	1.0	0.0		5.6 s	»
NMSE example 3.3	16.7	6.2	7.7		14.4 s	»
NMSE example 3.10	26.7	0.1	0.5		7.4 s	»
NMSE example 3.1	13.1	0.2	0.2		4.7 s	»