Time: 14.1m
Passed: 1/12
Crashes: 2
Tests: 12
Bits: 6/95
Date:Thursday, October 4th, 2018
Commit:d070590b4adc8c56efd431f41ceefe7f1a3244a3 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018277
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.427.11.8m»
Random Jason Timeout Test 015108.0ms»
Random Jason Timeout Test 01415.9s»
Random Jason Timeout Test 0126.2m»
Random Jason Timeout Test 00914.5s»
Random Jason Timeout Test 00638.0s»
Random Jason Timeout Test 0043.9m»
Random Jason Timeout Test 00320.0ms»
Random Jason Timeout Test 00215.9s»
Random Jason Timeout Test 00119.9s»
Area of a triangle20.7s»
(/ (- x lo) (- hi lo))62.062.02.7s»