Time: 13.8 m
Passed: 19/28
Tests: 28
Bits: 308/474
Date:Monday, August 8th, 2016
Commit:1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:256
Fuel:2
Seed:#(1066118269 3146385405 2008244797 2413636924 657271294 3751684478)
Flags:rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify
TestStartResultTarget∞ ↔ ℝTime
NMSE problem 3.4.628.3[12.8 ≉] 16.5 16.4 s»
NMSE problem 3.4.514.914.94.0 s»
NMSE problem 3.4.417.00.23.7 s»
NMSE problem 3.4.114.8[6.4 ≉] 7.4 6.7 s»
NMSE problem 3.3.618.80.12.7 s»
NMSE problem 3.3.518.3[10.6 ≉] 9.1 9.9 s»
NMSE problem 3.3.413.112.314.7 s»
NMSE problem 3.3.15.70.52.5 s»
NMSE problem 3.2.1, positive15.613.79.4 s»
NMSE problem 3.2.1, negative15.614.98.6 s»
NMSE section 3.512.10.10.11.7 s»
NMSE section 3.1118.02.116.43.5 s»
NMSE problem 3.4.325.80.10.15.3 s»
NMSE problem 3.4.227.912.66.219.2 s»
NMSE problem 3.3.714.8[1.4 ≉] 2.6 3.18.2 s»
NMSE problem 3.3.34.1[5.3 ≉] 4.1 0.422.4 s»
NMSE problem 3.3.222.2[15.1 ≉] 0.4 8.616.7 s»
NMSE p42, positive10.0 m»
NMSE p42, negative15.713.99.513.0 s»
NMSE example 3.929.30.30.05.4 s»
NMSE example 3.831.030.10.019.9 s»
NMSE example 3.725.10.00.91.6 s»
NMSE example 3.68.48.50.27.8 s»
NMSE example 3.56.60.50.52.5 s»
NMSE example 3.413.80.40.06.1 s»
NMSE example 3.316.60.57.67.7 s»
NMSE example 3.1026.70.10.55.2 s»
NMSE example 3.113.20.30.23.8 s»