Herbie test results

Time: 6.8 m

Passed: 24/28

Tests: 28

Bits: 908/1186

+63.1
+62.5
+61.9
+61.3
+61.2
+60.7
+45.1
+59.6
+59.2
+59.1
+30.6
+28.8
+47.9
+15.1
+36.6
+34.2
+4.2
+4.4
+1.3
+4.4
+15.7
+29.7
+29.0
+0.1
+18.9
+14.5
+14.2
-15.7

Date:	Sunday, July 17th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
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	52.5	[39.0 ≉] 23.7			25.9 s	»
NMSE problem 3.4.5	62.7	[30.8 ≉] 0.2			6.8 s	»
NMSE problem 3.4.4	60.1	[20.8 ≉] 15.1			3.1 s	»
NMSE problem 3.4.1	30.9	15.2			16.2 s	»
NMSE problem 3.3.6	61.4	[28.5 ≉] 0.1			4.7 s	»
NMSE problem 3.3.5	39.7	[23.4 ≉] 24.6			28.6 s	»
NMSE problem 3.3.4	29.1	[31.6 ≉] 29.0			31.5 s	»
NMSE problem 3.3.1	14.3	0.1			3.4 s	»
NMSE problem 3.2.1, positive	33.5	[27.6 ≉] 29.1			14.8 s	»
NMSE problem 3.2.1, negative	33.6	32.2			14.0 s	»
NMSE section 3.5	48.1	[22.6 ≉] 0.2	14.8		11.1 s	»
NMSE section 3.11	60.9	[22.0 ≉] 0.2	60.9		2.1 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		5.9 s	»
NMSE problem 3.4.2	62.0	[2.9 ≉] 0.0	15.1		11.5 s	»
NMSE problem 3.3.7	34.3	0.1	8.4		7.4 s	»
NMSE problem 3.3.3	9.5	25.2	0.3		20.6 s	»
NMSE problem 3.3.2	53.3	[33.2 ≉] 22.7	31.5		37.6 s	»
NMSE p42, positive	33.6	[27.6 ≉] 29.2	20.9		17.8 s	»
NMSE p42, negative	33.6	29.4	21.0		16.5 s	»
NMSE example 3.9	59.9	0.3	0.1		7.8 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		29.2 s	»
NMSE example 3.7	59.2	0.1	0.1		6.5 s	»
NMSE example 3.6	19.3	0.4	0.7		7.7 s	»
NMSE example 3.5	14.8	0.3	0.3		3.4 s	»
NMSE example 3.4	30.1	0.5	0.0		45.3 s	»
NMSE example 3.3	37.0	0.4	15.0		21.3 s	»
NMSE example 3.10	61.2	0.0	0.4		5.9 s	»
NMSE example 3.1	29.2	0.2	0.2		4.0 s	»