Herbie test results

Time: 7.2 m

Passed: 24/28

Tests: 28

Bits: 844/1051

+63.1
+60.9
+59.6
+59.2
+30.8
+58.6
+3.1
+21.0
+39.9
+39.8
+33.9
+12.8
+34.3
+29.3
+30.4
+34.7
+28.8
+28.5
+31.8
+30.7
+29.7
+29.4
-0.1
-0.0
+13.8
+15.1
+14.5
+10.4

Date:	Wednesday, August 3rd, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1066021830 2830721961 259995540 547417586 81053319 3982124210)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	43.2	[3.0 ≉] 40.1			25.7 s	»
NMSE problem 3.4.5	31.9	0.1			18.3 s	»
NMSE problem 3.4.4	39.9	0.0			8.3 s	»
NMSE problem 3.4.1	31.0	0.3			12.5 s	»
NMSE problem 3.3.6	40.4	[0.1 ≉] 19.4			5.3 s	»
NMSE problem 3.3.5	37.3	[15.1 ≉] 3.4			20.9 s	»
NMSE problem 3.3.4	29.3	[32.7 ≉] 29.3			16.0 s	»
NMSE problem 3.3.1	14.9	0.3			2.0 s	»
NMSE problem 3.2.1, positive	34.4	[3.9 ≉] 5.9			13.5 s	»
NMSE problem 3.2.1, negative	35.9	[5.1 ≉] 6.6			16.5 s	»
NMSE section 3.5	29.4	0.0	0.2		4.4 s	»
NMSE section 3.11	40.3	0.5	39.9		6.3 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		6.3 s	»
NMSE problem 3.4.2	58.8	[26.4 ≉] 27.9	14.2		1.4 m	»
NMSE problem 3.3.7	34.9	0.1	9.1		6.7 s	»
NMSE problem 3.3.3	10.7	0.3	1.2		7.0 s	»
NMSE problem 3.3.2	36.4	[27.5 ≉] 23.6	26.1		30.0 s	»
NMSE p42, positive	34.7	[4.0 ≉] 5.9	21.6		25.7 s	»
NMSE p42, negative	35.5	[4.1 ≉] 5.2	23.6		26.1 s	»
NMSE example 3.9	59.9	0.3	0.1		5.7 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		19.5 s	»
NMSE example 3.7	58.6	0.0	0.5		5.9 s	»
NMSE example 3.6	19.4	[7.2 ≉] 5.6	0.7		14.0 s	»
NMSE example 3.5	15.4	0.3	0.3		4.0 s	»
NMSE example 3.4	30.2	0.5	0.0		12.2 s	»
NMSE example 3.3	36.1	[14.5 ≉] 1.8	26.7		22.7 s	»
NMSE example 3.10	60.9	0.0	0.3		9.3 s	»
NMSE example 3.1	29.4	[32.7 ≉] 29.5	0.2		4.4 s	»