Herbie test results

Time: 6.8 m

Passed: 28/28

Tests: 28

Bits: 975/1051

+63.1
+62.0
+61.3
+59.6
+59.3
+59.2
+45.7
+42.0
+21.4
+29.4
+33.0
+31.9
+26.3
+34.7
+28.5
+28.3
+28.2
+33.3
+31.1
+30.8
+23.5
+29.7
+29.6
+27.0
+18.9
+14.1
+13.6
+9.3

Date:	Friday, July 8th, 2016
Commit:	1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:	256
Fuel:	3
Seed:	#(1065543365 620684644 906956026 369308393 342036037 1300431646)
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	30.7	[24.7 ≉] 7.2			32.6 s	»
NMSE problem 3.4.5	31.2	0.1			18.4 s	»
NMSE problem 3.4.4	43.0	1.0			14.6 s	»
NMSE problem 3.4.1	31.0	0.3			12.8 s	»
NMSE problem 3.3.6	40.6	[0.2 ≉] 19.2			6.5 s	»
NMSE problem 3.3.5	36.6	[14.7 ≉] 3.7			34.9 s	»
NMSE problem 3.3.4	29.6	2.6			20.8 s	»
NMSE problem 3.3.1	14.0	0.4			2.6 s	»
NMSE problem 3.2.1, positive	37.1	[10.1 ≉] 7.7			13.0 s	»
NMSE problem 3.2.1, negative	34.3	[7.7 ≉] 6.0			16.3 s	»
NMSE section 3.5	33.4	0.1	8.1		11.5 s	»
NMSE section 3.11	45.8	0.1	30.1		3.7 s	»
NMSE problem 3.4.3	59.4	0.1	0.1		5.6 s	»
NMSE problem 3.4.2	62.0	[2.6 ≉] 0.0	14.4		13.6 s	»
NMSE problem 3.3.7	34.9	0.1	8.6		6.4 s	»
NMSE problem 3.3.3	9.4	0.1	0.2		13.5 s	»
NMSE problem 3.3.2	35.6	[13.2 ≉] 9.4	26.8		33.3 s	»
NMSE p42, positive	34.3	[7.6 ≉] 6.0	21.9		27.2 s	»
NMSE p42, negative	34.4	[7.7 ≉] 5.9	21.7		25.9 s	»
NMSE example 3.9	59.9	0.3	0.1		6.7 s	»
NMSE example 3.8	63.3	[60.8 ≉] 0.3	60.8		23.4 s	»
NMSE example 3.7	59.3	0.1	0.1		5.6 s	»
NMSE example 3.6	19.3	0.4	0.7		8.5 s	»
NMSE example 3.5	14.5	0.4	0.4		5.0 s	»
NMSE example 3.4	30.2	0.5	0.0		15.6 s	»
NMSE example 3.3	35.7	[13.8 ≉] 3.8	25.1		23.1 s	»
NMSE example 3.10	61.3	0.0	0.5		5.0 s	»
NMSE example 3.1	29.7	0.2	0.2		3.7 s	»