Herbie test results

Time: 8.1 m

Passed: 27/28

Tests: 28

Bits: 962/1069

+63.1
+61.1
+59.5
+59.3
+30.9
+58.7
+3.2
+39.0
+40.6
+40.0
+39.9
+31.2
+30.8
+37.0
+36.9
+33.1
+27.7
+27.7
+34.1
+31.6
+31.2
+29.5
+29.9
+29.4
+19.6
+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:numericsrules: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	43.3	[2.1 ≉] 40.1			29.3 s	»
NMSE problem 3.4.5	31.7	0.0			28.9 s	»
NMSE problem 3.4.4	39.9	0.0			9.4 s	»
NMSE problem 3.4.1	31.4	0.3			13.9 s	»
NMSE problem 3.3.6	40.6	0.0			3.1 s	»
NMSE problem 3.3.5	36.9	[18.0 ≉] 3.8			37.1 s	»
NMSE problem 3.3.4	40.7	1.7			16.7 s	»
NMSE problem 3.3.1	14.1	0.4			3.3 s	»
NMSE problem 3.2.1, positive	34.9	7.1			19.1 s	»
NMSE problem 3.2.1, negative	38.1	6.9			20.3 s	»
NMSE section 3.5	29.4	0.0	0.2		4.5 s	»
NMSE section 3.11	40.4	0.4	40.0		7.3 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		7.2 s	»
NMSE problem 3.4.2	58.8	28.0	14.5		47.4 s	»
NMSE problem 3.3.7	34.2	0.1	8.5		5.5 s	»
NMSE problem 3.3.3	9.6	0.2	0.4		8.2 s	»
NMSE problem 3.3.2	37.3	0.4	15.1		35.9 s	»
NMSE p42, positive	34.9	7.2	22.4		22.9 s	»
NMSE p42, negative	38.1	7.2	25.9		28.8 s	»
NMSE example 3.9	59.9	0.3	0.1		7.1 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		21.4 s	»
NMSE example 3.7	58.7	0.0	0.4		5.9 s	»
NMSE example 3.6	19.8	0.3	0.7		8.7 s	»
NMSE example 3.5	14.6	0.4	0.4		3.2 s	»
NMSE example 3.4	30.4	0.8	0.0		49.0 s	»
NMSE example 3.3	37.4	0.3	15.0		24.2 s	»
NMSE example 3.10	61.1	0.0	0.3		10.8 s	»
NMSE example 3.1	30.1	0.2	0.2		4.4 s	»