Herbie test results

Time: 32.8m

Passed: 28/28

Tests: 28

Bits: 982/1054

+63.1
+62.0
+61.4
+59.6
+59.3
+59.2
+44.9
+21.0
+39.0
+39.6
+36.0
+26.8
+27.9
+27.9
+24.8
+34.3
+26.2
+32.2
+31.5
+30.6
+29.8
+29.9
+29.8
+27.3
+19.5
+14.6
+14.5
+9.7

Date:	Thursday, February 2nd, 2017
Commit:	b9b55c6079de92373a9dd4bbc03773db853d8067 on pin-version-docker
Points:	256
Fuel:	3
Seed:	#(3933444181 3817479621 3699826702 2815424142 2350279363 750580018)
Flags:	`rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorprecision:double` default

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	31.2	[25.5 ≉] 1.4			2.5m	»
NMSE problem 3.4.5	31.6	0.0			2.3m	»
NMSE problem 3.4.4	39.7	0.0			16.7s	»
NMSE problem 3.4.1	31.3	0.7			1.2m	»
NMSE problem 3.3.6	40.9	[0.1 ≉] 19.9			26.8s	»
NMSE problem 3.3.5	39.8	0.8			1.7m	»
NMSE problem 3.3.4	29.9	2.6			1.4m	»
NMSE problem 3.3.1	14.6	0.1			24.5s	»
NMSE problem 3.2.1, positive	34.7	[6.5 ≉] 9.9			1.1m	»
NMSE problem 3.2.1, negative	34.9	7.0			1.2m	»
NMSE section 3.5	33.2	1.1	6.0		57.8s	»
NMSE section 3.11	45.0	0.1	45.0		18.4s	»
NMSE problem 3.4.3	59.4	0.1	0.1		40.8s	»
NMSE problem 3.4.2	62.0	[2.8 ≉] 0.0	14.7		1.2m	»
NMSE problem 3.3.7	34.4	[1.2 ≉] 0.1	8.7		1.2m	»
NMSE problem 3.3.3	9.8	0.1	0.3		3.7m	»
NMSE problem 3.3.2	36.3	[15.7 ≉] 9.5	26.6		2.1m	»
NMSE p42, positive	34.4	8.2	21.6		1.9m	»
NMSE p42, negative	34.9	7.0	22.7		1.9m	»
NMSE example 3.9	59.9	0.3	0.1		40.4s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		1.6m	»
NMSE example 3.7	59.2	0.1	0.1		37.5s	»
NMSE example 3.6	19.9	0.4	0.7		24.8s	»
NMSE example 3.5	15.0	0.4	0.4		10.9s	»
NMSE example 3.4	30.4	0.5	0		51.4s	»
NMSE example 3.3	37.0	1.0	15.1		1.1m	»
NMSE example 3.10	61.4	0.0	0.4		30.7s	»
NMSE example 3.1	30.0	0.2	0.2		13.6s	»