Herbie test results

Time: 6.6 m

Passed: 27/28

Tests: 28

Bits: 918/1033

+63.1
+60.8
+59.6
+59.2
+58.5
+30.5
+20.7
+39.5
+39.3
+33.4
+36.5
+13.0
+28.2
+28.8
+29.3
+28.8
+34.2
+31.0
+30.6
+22.7
+29.7
+29.0
+26.1
+28.9
+18.9
+14.5
+14.0
+9.1

Date:	Thursday, July 14th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	2
Seed:	#(1065670707 1252142602 108487242 4101615998 1494603059 839552182)
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	30.8	[21.0 ≉] 8.1			27.8 s	»
NMSE problem 3.4.5	31.2	0.2			21.1 s	»
NMSE problem 3.4.4	39.4	0.1			8.2 s	»
NMSE problem 3.4.1	30.9	0.3			15.0 s	»
NMSE problem 3.3.6	40.5	[0.1 ≉] 19.8			5.3 s	»
NMSE problem 3.3.5	37.2	[14.2 ≉] 3.8			29.1 s	»
NMSE problem 3.3.4	29.1	3.0			19.7 s	»
NMSE problem 3.3.1	14.3	0.3			1.9 s	»
NMSE problem 3.2.1, positive	35.4	6.6			14.6 s	»
NMSE problem 3.2.1, negative	35.5	7.3			16.6 s	»
NMSE section 3.5	28.9	0.0	0.2		4.5 s	»
NMSE section 3.11	39.9	0.4	39.5		5.4 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		6.0 s	»
NMSE problem 3.4.2	58.4	[24.5 ≉] 27.8	14.6		39.1 s	»
NMSE problem 3.3.7	34.3	0.1	8.4		4.1 s	»
NMSE problem 3.3.3	9.5	0.3	0.3		10.5 s	»
NMSE problem 3.3.2	36.2	[29.1 ≉] 23.2	27.2		33.3 s	»
NMSE p42, positive	34.7	5.9	22.3		25.7 s	»
NMSE p42, negative	34.8	5.4	22.4		22.6 s	»
NMSE example 3.9	59.9	0.3	0.1		6.4 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		20.0 s	»
NMSE example 3.7	58.5	0.0	0.5		5.7 s	»
NMSE example 3.6	19.3	0.4	0.7		5.5 s	»
NMSE example 3.5	14.8	0.3	0.3		3.2 s	»
NMSE example 3.4	30.1	0.5	0.0		12.1 s	»
NMSE example 3.3	37.0	0.5	15.0		21.6 s	»
NMSE example 3.10	60.8	0.0	0.3		9.2 s	»
NMSE example 3.1	29.2	0.2	0.2		3.5 s	»