Herbie test results

Time: 4.5 m

Passed: 24/28

Tests: 28

Bits: 368/484

+1.6
+29.1
+15.2
+26.8
+25.8
+25.1
+19.3
+1.9
+14.4
+14.6
+14.4
+16.1
+15.1
+14.9
+4.0
+10.6
+16.5
+15.1
+14.5
+14.2
+13.4
-0.1
+13.1
+12.2
+5.5
+6.0
+5.1
+4.0

Date:	Friday, July 8th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065543365 620684644 906956026 369308393 342036037 1300431646)
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.3	[2.6 ≉] 17.3			18.2 s	»
NMSE problem 3.4.5	14.6	0.0			6.7 s	»
NMSE problem 3.4.4	16.7	0.3			4.6 s	»
NMSE problem 3.4.1	14.4	0.2			8.8 s	»
NMSE problem 3.3.6	19.4	0.1			2.4 s	»
NMSE problem 3.3.5	17.9	[7.3 ≉] 3.4			17.5 s	»
NMSE problem 3.3.4	13.6	[12.6 ≉] 13.7			9.2 s	»
NMSE problem 3.3.1	5.6	0.5			3.1 s	»
NMSE problem 3.2.1, positive	17.6	[4.1 ≉] 2.7			13.1 s	»
NMSE problem 3.2.1, negative	17.9	3.3			12.9 s	»
NMSE section 3.5	12.2	0.1	0.1		2.5 s	»
NMSE section 3.11	17.8	1.7	16.2		5.1 s	»
NMSE problem 3.4.3	25.9	0.1	0.1		6.8 s	»
NMSE problem 3.4.2	27.9	12.7	6.5		28.9 s	»
NMSE problem 3.3.7	15.4	0.3	4.1		6.1 s	»
NMSE problem 3.3.3	4.0	0.1	0.4		10.4 s	»
NMSE problem 3.3.2	16.9	13.0	12.3		6.9 s	»
NMSE p42, positive	17.7	[4.4 ≉] 2.5	11.5		16.3 s	»
NMSE p42, negative	18.0	3.6	11.8		22.0 s	»
NMSE example 3.9	29.4	0.4	0.0		7.8 s	»
NMSE example 3.8	31.0	29.5	0.0		20.1 s	»
NMSE example 3.7	25.1	0.0	1.0		1.9 s	»
NMSE example 3.6	8.5	3.0	0.2		7.4 s	»
NMSE example 3.5	6.5	0.5	0.5		2.8 s	»
NMSE example 3.4	13.5	0.4	0.0		8.0 s	»
NMSE example 3.3	16.9	6.3	7.8		12.8 s	»
NMSE example 3.10	26.8	0.1	0.5		5.1 s	»
NMSE example 3.1	13.6	0.2	0.2		3.6 s	»