Time: 12.4m
Passed: 1/12
Tests: 12
Bits: 9/96
Date:Sunday, August 5th, 2018
Commit:cee863e6ad9ab624c1e3c30647f1ed99e824718d on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018217
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.824.42.3m»
Random Jason Timeout Test 0156.4s»
Random Jason Timeout Test 01418.6s»
Random Jason Timeout Test 0124.4m»
Random Jason Timeout Test 00914.7s»
Random Jason Timeout Test 00653.3s»
Random Jason Timeout Test 0043.0m»
Random Jason Timeout Test 0036.6s»
Random Jason Timeout Test 00217.6s»
Random Jason Timeout Test 00123.5s»
Area of a triangle24.0s»
(/ (- x lo) (- hi lo))62.062.03.4s»