Herbie test results

Time: 8.8 m

Passed: 27/28

Tests: 28

Bits: 956/1069

+63.1
+61.9
+61.5
+59.5
+59.3
+59.2
+45.3
+37.6
+21.3
+17.2
+39.1
+31.2
+30.9
+37.0
+36.9
+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:	Tuesday, July 12th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
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			41.2 s	»
NMSE problem 3.4.5	31.7	0.0			27.1 s	»
NMSE problem 3.4.4	45.1	[0.1 ≉] 7.6			8.2 s	»
NMSE problem 3.4.1	31.4	0.3			14.3 s	»
NMSE problem 3.3.6	40.6	[0.0 ≉] 19.3			7.9 s	»
NMSE problem 3.3.5	39.7	0.6			37.4 s	»
NMSE problem 3.3.4	22.6	[27.4 ≉] 29.5			40.6 s	»
NMSE problem 3.3.1	14.1	0.4			3.0 s	»
NMSE problem 3.2.1, positive	34.9	7.1			15.4 s	»
NMSE problem 3.2.1, negative	38.1	6.9			15.8 s	»
NMSE section 3.5	33.5	0.2	8.1		10.9 s	»
NMSE section 3.11	45.4	0.1	45.4		6.4 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		6.6 s	»
NMSE problem 3.4.2	61.9	[3.0 ≉] 0.0	15.2		42.6 s	»
NMSE problem 3.3.7	34.2	0.1	8.5		9.1 s	»
NMSE problem 3.3.3	9.6	0.2	0.4		11.6 s	»
NMSE problem 3.3.2	37.3	0.4	15.0		43.3 s	»
NMSE p42, positive	34.9	7.2	22.4		23.5 s	»
NMSE p42, negative	38.1	7.2	25.9		27.7 s	»
NMSE example 3.9	59.9	0.3	0.1		8.6 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		28.8 s	»
NMSE example 3.7	59.3	0.1	0.1		6.5 s	»
NMSE example 3.6	19.8	0.7	0.7		8.0 s	»
NMSE example 3.5	14.6	0.4	0.4		4.5 s	»
NMSE example 3.4	30.4	0.4	0.0		43.7 s	»
NMSE example 3.3	37.4	0.4	15.0		24.6 s	»
NMSE example 3.10	61.5	0.0	0.4		8.2 s	»
NMSE example 3.1	30.1	0.2	0.2		4.4 s	»