Herbie test results

Time: 6.9 m

Passed: 26/28

Tests: 28

Bits: 402/485

+1.1
+29.6
+29.0
+27.2
+26.2
+25.7
+19.9
+16.3
+10.5
+18.0
+14.3
+9.5
+12.9
+16.4
+13.9
+13.7
+11.3
+15.4
+14.6
+14.5
+14.2
+13.2
+13.1
-3.2
+8.2
+6.2
+5.7
+4.1

Date:	Monday, July 18th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065767146 1567806045 1856802035 1672802504 2070886570 609046914)
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	15.9	[10.0 ≉] 4.6			39.1 s	»
NMSE problem 3.4.5	14.7	0.2			6.0 s	»
NMSE problem 3.4.4	19.8	[1.0 ≉] 3.5			6.6 s	»
NMSE problem 3.4.1	14.6	0.3			7.3 s	»
NMSE problem 3.3.6	19.1	[0.1 ≉] 8.5			6.0 s	»
NMSE problem 3.3.5	18.6	0.6			11.3 s	»
NMSE problem 3.3.4	9.7	12.9			19.9 s	»
NMSE problem 3.3.1	5.8	0.1			5.0 s	»
NMSE problem 3.2.1, positive	16.3	2.5			13.8 s	»
NMSE problem 3.2.1, negative	17.7	3.4			13.5 s	»
NMSE section 3.5	14.6	0.2	4.0		6.3 s	»
NMSE section 3.11	20.0	0.1	13.0		4.4 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		5.8 s	»
NMSE problem 3.4.2	29.6	[2.9 ≉] 0.1	6.5		31.1 s	»
NMSE problem 3.3.7	15.7	[1.4 ≉] 0.3	4.3		5.7 s	»
NMSE problem 3.3.3	4.2	0.1	0.4		13.3 s	»
NMSE problem 3.3.2	17.0	7.5	7.7		16.0 s	»
NMSE p42, positive	17.0	4.1	10.7		1.0 m	»
NMSE p42, negative	16.4	2.5	10.0		19.3 s	»
NMSE example 3.9	29.3	0.3	0.0		6.9 s	»
NMSE example 3.8	31.0	29.9	0.0		39.1 s	»
NMSE example 3.7	26.3	0.1	0.1		5.2 s	»
NMSE example 3.6	8.5	0.3	0.2		7.1 s	»
NMSE example 3.5	6.7	0.5	0.5		3.1 s	»
NMSE example 3.4	13.7	0.4	0.0		38.5 s	»
NMSE example 3.3	16.8	0.4	7.6		11.8 s	»
NMSE example 3.10	27.2	0.0	0.6		5.8 s	»
NMSE example 3.1	13.2	0.2	0.2		4.0 s	»