Time: 25.2m
Passed: 1/12
Tests: 12
Bits: 5/95

Date:Tuesday, August 7th, 2018
Commit:2da6b6650db78d8c0db7aed9a78517e7402b32d3 on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018219
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.428.13.7m»
Random Jason Timeout Test 01536.3s»
Random Jason Timeout Test 01419.5s»
Random Jason Timeout Test 0127.9m»
Random Jason Timeout Test 00915.2s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 00439.5s»
Random Jason Timeout Test 00335.7s»
Random Jason Timeout Test 00218.0s»
Random Jason Timeout Test 00121.6s»
Area of a triangle24.1s»
(/ (- x lo) (- hi lo))62.062.03.5s»