Herbie test results

Time: 9.0 m

Passed: 26/28

Tests: 28

Bits: 401/488

+1.1
+29.6
+29.0
+27.2
+26.2
+25.7
+20.3
+18.6
+10.6
+9.8
+14.3
+15.3
+7.6
+13.4
+13.8
+13.5
+13.5
+15.2
+14.9
+14.7
+14.5
+4.2
+13.4
+12.8
+5.9
+6.1
+5.6
+3.7

Date:	Sunday, July 24th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065385120 3968465003 4252011776 3360847114 2908152799 1991881914)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	14.5	[12.4 ≉] 10.2			42.8 s	»
NMSE problem 3.4.5	14.9	0.0			9.7 s	»
NMSE problem 3.4.4	18.8	0.1			15.4 s	»
NMSE problem 3.4.1	14.7	0.2			12.1 s	»
NMSE problem 3.3.6	18.7	[0.0 ≉] 8.0			10.4 s	»
NMSE problem 3.3.5	18.1	[7.0 ≉] 3.8			19.0 s	»
NMSE problem 3.3.4	18.4	[14.6 ≉] 8.6			10.7 s	»
NMSE problem 3.3.1	5.7	0.1			7.6 s	»
NMSE problem 3.2.1, positive	16.2	2.7			26.4 s	»
NMSE problem 3.2.1, negative	16.1	2.6			28.2 s	»
NMSE section 3.5	14.8	0.2	3.9		12.1 s	»
NMSE section 3.11	20.3	0.0	13.0		8.6 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		10.6 s	»
NMSE problem 3.4.2	29.7	[1.4 ≉] 0.1	6.3		48.4 s	»
NMSE problem 3.3.7	15.5	0.3	4.2		12.2 s	»
NMSE problem 3.3.3	4.1	0.4	0.4		25.0 s	»
NMSE problem 3.3.2	16.7	[14.5 ≉] 9.0	12.7		18.3 s	»
NMSE p42, positive	16.2	2.4	10.0		35.2 s	»
NMSE p42, negative	16.4	3.0	10.3		36.4 s	»
NMSE example 3.9	29.3	0.3	0.0		12.2 s	»
NMSE example 3.8	31.0	29.9	0.0		56.8 s	»
NMSE example 3.7	26.3	0.1	0.1		9.6 s	»
NMSE example 3.6	8.3	2.4	0.2		21.5 s	»
NMSE example 3.5	6.6	0.6	0.6		5.5 s	»
NMSE example 3.4	13.8	0.4	0.0		10.7 s	»
NMSE example 3.3	16.9	[5.1 ≉] 1.6	11.1		15.7 s	»
NMSE example 3.10	27.2	0.0	0.7		9.3 s	»
NMSE example 3.1	13.0	0.2	0.2		6.9 s	»