Herbie test results

Time: 6.1 m

Passed: 27/28

Tests: 28

Bits: 924/1057

+63.1
+61.9
+61.2
+59.6
+59.2
+59.1
+45.2
+37.3
+20.7
+28.7
+33.4
+13.0
+34.4
+26.4
+28.8
+29.3
+28.9
+34.2
+31.0
+23.1
+30.6
+29.7
+29.0
+0.1
+18.9
+14.5
+14.0
+9.2

Date:	Thursday, July 14th, 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:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	31.2	[21.9 ≉] 8.1			31.8 s	»
NMSE problem 3.4.5	31.2	0.2			18.2 s	»
NMSE problem 3.4.4	44.8	[0.5 ≉] 7.6			5.7 s	»
NMSE problem 3.4.1	30.9	0.3			14.1 s	»
NMSE problem 3.3.6	40.5	[0.1 ≉] 19.8			6.5 s	»
NMSE problem 3.3.5	37.2	[14.2 ≉] 3.8			28.2 s	»
NMSE problem 3.3.4	29.1	[31.6 ≉] 29.0			22.4 s	»
NMSE problem 3.3.1	14.3	0.3			4.2 s	»
NMSE problem 3.2.1, positive	35.4	6.6			13.9 s	»
NMSE problem 3.2.1, negative	35.5	9.1			15.7 s	»
NMSE section 3.5	37.7	[0.8 ≉] 9.0	16.3		8.2 s	»
NMSE section 3.11	45.3	0.1	30.1		5.5 s	»
NMSE problem 3.4.3	59.3	0.1	0.1		5.4 s	»
NMSE problem 3.4.2	62.0	[2.9 ≉] 0.0	15.1		8.9 s	»
NMSE problem 3.3.7	34.3	0.1	8.4		5.8 s	»
NMSE problem 3.3.3	9.5	0.3	0.3		14.8 s	»
NMSE problem 3.3.2	36.2	[29.1 ≉] 23.2	27.2		32.7 s	»
NMSE p42, positive	34.7	5.9	22.3		24.3 s	»
NMSE p42, negative	34.8	5.4	22.4		21.8 s	»
NMSE example 3.9	59.9	0.3	0.1		6.4 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		22.4 s	»
NMSE example 3.7	59.2	0.1	0.1		4.3 s	»
NMSE example 3.6	19.3	0.4	0.7		5.8 s	»
NMSE example 3.5	14.8	0.3	0.3		3.0 s	»
NMSE example 3.4	30.1	0.5	0.0		11.6 s	»
NMSE example 3.3	36.1	[13.6 ≉] 1.7	26.9		18.7 s	»
NMSE example 3.10	61.2	0.0	0.4		4.3 s	»
NMSE example 3.1	29.2	0.2	0.2		3.5 s	»