Herbie test results

Time: 8.5 m

Passed: 27/28

Tests: 28

Bits: 942/1069

+63.1
+61.9
+61.4
+59.5
+59.3
+59.2
+45.3
+37.6
+21.3
+17.2
+39.1
+31.2
+30.9
+37.1
+23.1
+27.7
+27.7
+34.1
+33.3
+31.6
+31.2
+29.9
+29.9
-6.9
+19.2
+14.2
+13.8
+9.3

Date:	Sunday, July 10th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065639804 936413623 2655205282 2235462195 918319548 1069991914)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	40.6	23.3			39.5 s	»
NMSE problem 3.4.5	31.7	0.0			20.3 s	»
NMSE problem 3.4.4	45.1	[0.1 ≉] 7.6			6.9 s	»
NMSE problem 3.4.1	31.4	0.3			11.4 s	»
NMSE problem 3.3.6	40.6	[0.0 ≉] 19.3			6.5 s	»
NMSE problem 3.3.5	39.7	0.6			40.1 s	»
NMSE problem 3.3.4	22.6	[27.4 ≉] 29.5			41.5 s	»
NMSE problem 3.3.1	14.1	0.4			2.5 s	»
NMSE problem 3.2.1, positive	34.9	7.1			18.1 s	»
NMSE problem 3.2.1, negative	38.1	6.9			15.0 s	»
NMSE section 3.5	33.5	0.2	8.1		8.7 s	»
NMSE section 3.11	45.4	0.1	45.4		6.5 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		7.0 s	»
NMSE problem 3.4.2	61.9	[3.0 ≉] 0.0	15.2		44.0 s	»
NMSE problem 3.3.7	34.2	0.1	8.5		5.4 s	»
NMSE problem 3.3.3	9.6	0.2	0.4		8.7 s	»
NMSE problem 3.3.2	37.3	14.2	15.0		44.6 s	»
NMSE p42, positive	34.9	7.2	22.4		21.1 s	»
NMSE p42, negative	38.1	7.2	25.9		25.5 s	»
NMSE example 3.9	59.9	0.3	0.1		7.6 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		26.9 s	»
NMSE example 3.7	59.3	0.1	0.1		4.7 s	»
NMSE example 3.6	19.8	0.7	0.7		7.2 s	»
NMSE example 3.5	14.6	0.4	0.4		3.9 s	»
NMSE example 3.4	30.4	0.4	0.0		44.8 s	»
NMSE example 3.3	37.4	0.3	15.0		29.8 s	»
NMSE example 3.10	61.5	0.0	0.4		6.1 s	»
NMSE example 3.1	30.1	0.2	0.2		4.0 s	»