Herbie test results

Time: 7.3 m

Passed: 26/28

Tests: 28

Bits: 395/478

+1.1
+29.6
+29.0
+27.2
+25.8
+25.1
+20.2
+10.7
+18.1
+18.0
+14.3
+9.2
+16.4
+12.4
+12.7
+12.9
+10.2
+14.6
+14.5
+14.0
+12.4
+12.9
+12.7
-3.1
+8.0
+6.3
+5.9
+4.2

Date:	Thursday, July 14th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065670707 1252142602 108487242 4101615998 1494603059 839552182)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	14.9	[12.6 ≉] 4.7			40.8 s	»
NMSE problem 3.4.5	14.6	0.1			5.5 s	»
NMSE problem 3.4.4	18.6	0.6			15.7 s	»
NMSE problem 3.4.1	14.4	0.3			9.4 s	»
NMSE problem 3.3.6	19.2	[0.2 ≉] 8.5			6.4 s	»
NMSE problem 3.3.5	18.7	0.5			13.4 s	»
NMSE problem 3.3.4	9.6	[11.6 ≉] 12.7			20.1 s	»
NMSE problem 3.3.1	6.0	0.1			5.5 s	»
NMSE problem 3.2.1, positive	16.2	3.5			12.9 s	»
NMSE problem 3.2.1, negative	17.6	3.3			12.3 s	»
NMSE section 3.5	12.8	0.1	0.8		9.8 s	»
NMSE section 3.11	20.6	0.4	13.2		6.5 s	»
NMSE problem 3.4.3	25.9	0.1	0.1		6.0 s	»
NMSE problem 3.4.2	29.7	[2.0 ≉] 0.1	6.4		1.3 m	»
NMSE problem 3.3.7	14.7	[1.7 ≉] 0.1	2.7		6.8 s	»
NMSE problem 3.3.3	4.3	0.1	0.4		7.3 s	»
NMSE problem 3.3.2	16.8	7.6	7.8		18.5 s	»
NMSE p42, positive	16.2	3.8	10.1		15.9 s	»
NMSE p42, negative	16.0	3.0	9.6		19.4 s	»
NMSE example 3.9	29.3	0.3	0.0		6.6 s	»
NMSE example 3.8	31.0	29.9	0.0		39.4 s	»
NMSE example 3.7	25.1	0.0	0.9		8.0 s	»
NMSE example 3.6	8.3	0.3	0.2		7.0 s	»
NMSE example 3.5	6.9	0.6	0.6		3.4 s	»
NMSE example 3.4	13.4	1.0	0.0		38.7 s	»
NMSE example 3.3	16.7	0.3	7.7		10.9 s	»
NMSE example 3.10	27.2	0.0	0.7		5.9 s	»
NMSE example 3.1	13.1	0.3	0.2		5.7 s	»