Herbie test results

Time: 8.7 m

Passed: 27/28

Tests: 28

Bits: 950/1066

+63.1
+61.0
+59.6
+31.0
+58.6
+58.6
+3.1
+41.0
+33.8
+34.3
+39.1
+39.3
+39.2
+23.0
+37.0
+28.9
+29.0
+34.6
+30.9
+30.3
+29.8
+28.9
+27.4
+29.2
+19.7
+15.0
+14.5
+10.2

Date:	Thursday, July 28th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065894488 2199264003 1058398788 1110142813 3223388056 148167450)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double`

Test	Start	Result	Target	∞ ↔ ℝ	Time
NMSE problem 3.4.6	43.5	[3.3 ≉] 40.4			28.8 s	»
NMSE problem 3.4.5	30.9	0.0			21.2 s	»
NMSE problem 3.4.4	39.3	0.1			10.2 s	»
NMSE problem 3.4.1	30.6	0.3			14.6 s	»
NMSE problem 3.3.6	41.0	0.0			3.4 s	»
NMSE problem 3.3.5	39.8	0.7			30.8 s	»
NMSE problem 3.3.4	29.8	2.4			25.7 s	»
NMSE problem 3.3.1	14.9	0.4			2.9 s	»
NMSE problem 3.2.1, positive	35.6	[8.4 ≉] 6.8			16.5 s	»
NMSE problem 3.2.1, negative	40.5	[8.8 ≉] 6.2			20.0 s	»
NMSE section 3.5	29.2	0.0	0.2		4.9 s	»
NMSE section 3.11	39.8	0.5	39.3		6.4 s	»
NMSE problem 3.4.3	58.6	0.0	0.2		10.0 s	»
NMSE problem 3.4.2	58.7	27.6	14.4		1.3 m	»
NMSE problem 3.3.7	34.7	0.1	9.3		5.2 s	»
NMSE problem 3.3.3	10.3	0.1	0.3		11.5 s	»
NMSE problem 3.3.2	37.5	14.6	15.7		50.5 s	»
NMSE p42, positive	35.5	[7.7 ≉] 6.5	23.1		23.7 s	»
NMSE p42, negative	40.6	[8.8 ≉] 6.8	29.1		26.0 s	»
NMSE example 3.9	60.0	0.3	0.1		7.5 s	»
NMSE example 3.8	63.3	[60.7 ≉] 0.3	60.8		20.8 s	»
NMSE example 3.7	58.6	0.0	0.5		6.2 s	»
NMSE example 3.6	20.0	0.3	0.7		8.7 s	»
NMSE example 3.5	15.4	0.4	0.4		3.6 s	»
NMSE example 3.4	29.8	0.9	0.0		48.0 s	»
NMSE example 3.3	37.4	0.4	15.4		21.2 s	»
NMSE example 3.10	61.0	0.0	0.3		10.5 s	»
NMSE example 3.1	29.9	0.2	0.2		5.0 s	»