Time: 27.0m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Sunday, September 30th, 2018
Commit:81038c97aebd2b4aca240ad17b52a035f9e8ae6f on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018273
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.527.42.6m»
Random Jason Timeout Test 0151.5m»
Random Jason Timeout Test 01428.6s»
Random Jason Timeout Test 0125.7m»
Random Jason Timeout Test 00914.5s»
Random Jason Timeout Test 0068.6m»
Random Jason Timeout Test 0045.2m»
Random Jason Timeout Test 0031.5m»
Random Jason Timeout Test 00227.7s»
Random Jason Timeout Test 00123.1s»
Area of a triangle24.0s»
(/ (- x lo) (- hi lo))62.062.02.5s»