Time: 51.3m
Passed: 1/12
Crashes: 1
Tests: 12
Bits: 7/95
Date:Friday, September 14th, 2018
Commit:0a49a2a7f01958f452717a28d07911eee7d36f8b on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018257
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.526.42.8m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01437.0s»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00914.5s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0046.6m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00236.3s»
Random Jason Timeout Test 00123.2s»
Area of a triangle6.0ms»
(/ (- x lo) (- hi lo))62.062.02.7s»