Herbie test results

Time: 4.1 m

Passed: 24/28

Tests: 28

Bits: 369/479

+0.9
+29.0
+15.6
+26.6
+25.7
+25.2
+2.0
+19.0
+14.4
+15.0
+15.9
+14.7
+12.7
+4.4
+16.4
+13.8
+13.7
+15.4
+14.6
+14.2
+13.2
+13.1
-0.0
+12.2
+5.6
+6.2
+5.3
+4.0

Date:	Monday, July 18th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065767146 1567806045 1856802035 1672802504 2070886570 609046914)
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.2	[3.3 ≉] 17.2			21.0 s	»
NMSE problem 3.4.5	14.7	0.2			5.2 s	»
NMSE problem 3.4.4	16.6	0.2			3.7 s	»
NMSE problem 3.4.1	14.6	0.3			6.6 s	»
NMSE problem 3.3.6	19.1	0.1			2.7 s	»
NMSE problem 3.3.5	17.6	[7.8 ≉] 2.6			8.3 s	»
NMSE problem 3.3.4	13.2	13.2			8.2 s	»
NMSE problem 3.3.1	5.8	0.5			2.5 s	»
NMSE problem 3.2.1, positive	16.3	2.5			11.0 s	»
NMSE problem 3.2.1, negative	17.7	3.4			10.7 s	»
NMSE section 3.5	12.2	0.1	0.2		3.1 s	»
NMSE section 3.11	17.6	1.6	16.0		2.3 s	»
NMSE problem 3.4.3	25.8	0.1	0.1		5.1 s	»
NMSE problem 3.4.2	27.8	12.3	6.3		24.9 s	»
NMSE problem 3.3.7	15.7	[1.4 ≉] 0.3	4.3		4.9 s	»
NMSE problem 3.3.3	4.2	0.2	0.4		11.0 s	»
NMSE problem 3.3.2	16.7	[15.0 ≉] 12.2	12.9		8.5 s	»
NMSE p42, positive	16.9	4.2	10.6		17.5 s	»
NMSE p42, negative	16.4	2.6	10.0		17.4 s	»
NMSE example 3.9	29.3	0.3	0.0		5.6 s	»
NMSE example 3.8	31.0	30.1	0.0		26.8 s	»
NMSE example 3.7	25.2	0.0	0.9		1.9 s	»
NMSE example 3.6	8.5	3.0	0.2		8.1 s	»
NMSE example 3.5	6.7	0.5	0.5		3.7 s	»
NMSE example 3.4	13.7	0.4	0.0		5.0 s	»
NMSE example 3.3	16.9	[6.0 ≉] 2.2	10.7		7.8 s	»
NMSE example 3.10	26.7	0.1	0.5		6.7 s	»
NMSE example 3.1	13.2	0.2	0.2		3.3 s	»