Herbie test results

Time: 6.2 m

Passed: 20/28

Tests: 28

Bits: 816/1150

+63.1
+62.5
+61.9
+61.3
+61.2
+60.7
+45.1
+59.6
+59.2
+59.1
+47.9
+15.1
+17.0
+1.5
+34.2
+4.2
+4.4
+1.3
+4.4
-0.3
+15.7
+29.7
+29.0
+0.1
+18.9
+14.5
+0.6
-15.7

Date:	Friday, July 15th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065670707 1252142602 108487242 4101615998 1494603059 839552182)
Flags:	`rules: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	32.8	33.0			22.8 s	»
NMSE problem 3.4.5	62.7	[30.8 ≉] 0.2			6.6 s	»
NMSE problem 3.4.4	60.1	[20.8 ≉] 15.1			3.2 s	»
NMSE problem 3.4.1	30.9	15.2			14.4 s	»
NMSE problem 3.3.6	61.4	[28.5 ≉] 0.1			4.9 s	»
NMSE problem 3.3.5	39.7	[23.3 ≉] 24.6			20.1 s	»
NMSE problem 3.3.4	29.1	[31.6 ≉] 29.0			31.0 s	»
NMSE problem 3.3.1	14.3	13.7			3.3 s	»
NMSE problem 3.2.1, positive	33.5	[27.6 ≉] 29.1			10.5 s	»
NMSE problem 3.2.1, negative	33.6	32.2			11.5 s	»
NMSE section 3.5	48.1	[22.6 ≉] 0.2	14.8		8.8 s	»
NMSE section 3.11	60.9	[22.0 ≉] 0.2	60.9		2.2 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		6.4 s	»
NMSE problem 3.4.2	62.0	[2.9 ≉] 0.0	15.1		10.1 s	»
NMSE problem 3.3.7	34.3	0.1	8.4		7.2 s	»
NMSE problem 3.3.3	9.5	25.2	0.3		12.6 s	»
NMSE problem 3.3.2	36.9	35.5	15.0		42.6 s	»
NMSE p42, positive	33.6	[27.6 ≉] 29.2	20.9		16.6 s	»
NMSE p42, negative	33.6	29.4	21.0		15.0 s	»
NMSE example 3.9	59.9	0.3	0.1		6.7 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		24.7 s	»
NMSE example 3.7	59.2	0.1	0.1		4.5 s	»
NMSE example 3.6	19.3	0.4	0.7		6.0 s	»
NMSE example 3.5	14.8	0.3	0.3		2.9 s	»
NMSE example 3.4	30.1	0.5	0.0		44.4 s	»
NMSE example 3.3	37.0	20.1	15.0		22.0 s	»
NMSE example 3.10	61.2	0.0	0.4		4.8 s	»
NMSE example 3.1	29.2	0.2	0.2		3.7 s	»