Time: 5.8 m
Passed: 20/28
Tests: 28
Bits: 321/501

Date:Monday, July 25th, 2016
Commit:1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:256
Fuel:3
Seed:#(1065798049 1883600560 3605051291 3538956307 2647170081 378541646)
Flags:rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplify
TestStartResultTarget∞ ↔ ℝTime
NMSE problem 3.4.614.814.919.3 s»
NMSE problem 3.4.514.8[13.5 ≉] 14.8 3.9 s»
NMSE problem 3.4.427.2[10.2 ≉] 7.1 7.9 s»
NMSE problem 3.4.114.67.36.7 s»
NMSE problem 3.3.628.9[13.7 ≉] 0.2 6.1 s»
NMSE problem 3.3.518.69.411.8 s»
NMSE problem 3.3.413.1[14.5 ≉] 13.1 18.9 s»
NMSE problem 3.3.15.50.13.9 s»
NMSE problem 3.2.1, positive15.7[12.8 ≉] 13.8 12.5 s»
NMSE problem 3.2.1, negative15.9[14.9 ≉] 13.5 14.5 s»
NMSE section 3.512.512.50.232.1 s»
NMSE section 3.1118.3[2.6 ≉] 0.5 18.38.2 s»
NMSE problem 3.4.325.80.10.16.2 s»
NMSE problem 3.4.229.6[2.5 ≉] 0.1 6.710.9 s»
NMSE problem 3.3.714.50.12.87.5 s»
NMSE problem 3.3.34.04.00.45.9 s»
NMSE problem 3.3.222.5[15.7 ≉] 0.3 8.519.0 s»
NMSE p42, positive15.813.99.415.3 s»
NMSE p42, negative16.016.09.311.8 s»
NMSE example 3.929.40.30.06.8 s»
NMSE example 3.831.029.40.037.5 s»
NMSE example 3.726.30.10.14.6 s»
NMSE example 3.68.40.20.28.6 s»
NMSE example 3.56.50.50.54.1 s»
NMSE example 3.413.70.40.037.6 s»
NMSE example 3.316.96.47.617.3 s»
NMSE example 3.1027.20.00.76.3 s»
NMSE example 3.113.20.20.24.0 s»