Herbie test results

Time: 16.0 m

Passed: 20/28

Tests: 28

Bits: 771/1085

+63.1
+62.6
+61.2
+60.9
+20.1
+59.6
+59.2
+30.8
+58.6
+39.9
+39.8
+14.9
+36.6
+1.0
+34.7
+4.6
+0.9
+3.0
+30.7
+29.7
+29.4
-0.1
-3.1
+19.0
+15.1
+14.5
-15.7
TIME

Date:	Thursday, August 4th, 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:post-processreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	60.6	[20.1 ≉] 40.5			16.8 s	»
NMSE problem 3.4.5	62.7	[30.8 ≉] 0.2			5.9 s	»
NMSE problem 3.4.4	39.9	0.0			7.8 s	»
NMSE problem 3.4.1	31.0	0.3			46.3 s	»
NMSE problem 3.3.6	61.4	[28.4 ≉] 0.1			3.6 s	»
NMSE problem 3.3.5	39.7	24.7			21.0 s	»
NMSE problem 3.3.4	29.3	[31.1 ≉] 32.4			22.9 s	»
NMSE problem 3.3.1	14.9	0.3			1.7 s	»
NMSE problem 3.2.1, positive	34.1	[25.7 ≉] 29.6			9.9 s	»
NMSE problem 3.2.1, negative	33.5	32.6			12.6 s	»
NMSE section 3.5	29.4	0.0	0.2		3.3 s	»
NMSE section 3.11	40.3	0.5	39.9		6.0 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		5.7 s	»
NMSE problem 3.4.2	58.8	[26.4 ≉] 27.9	14.2		43.7 s	»
NMSE problem 3.3.7	34.9	0.1	9.1		3.9 s	»
NMSE problem 3.3.3	10.3	26.0	0.3		5.2 s	»
NMSE problem 3.3.2	37.0	[34.6 ≉] 36.0	14.8		35.2 s	»
NMSE p42, positive					10.0 m	»
NMSE p42, negative	33.5	30.5	21.0		16.9 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		20.5 s	»
NMSE example 3.7	58.6	0.0	0.5		5.3 s	»
NMSE example 3.6	19.4	0.4	0.7		8.4 s	»
NMSE example 3.5	15.4	0.3	0.3		2.9 s	»
NMSE example 3.4	30.2	0.5	0.0		13.5 s	»
NMSE example 3.3	37.0	0.4	14.7		20.0 s	»
NMSE example 3.10	60.9	0.0	0.3		9.0 s	»
NMSE example 3.1	29.4	[32.7 ≉] 29.5	0.2		5.0 s	»