Time: 18.0m
Passed: 1/12
Tests: 12
Bits: 5/95
Date:Wednesday, October 24th, 2018
Commit:1df535427dbe5da1d2f6afd4b2b7f78e559410fe on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018297
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.127.81.3m»
Random Jason Timeout Test 01531.7s»
Random Jason Timeout Test 01422.6s»
Random Jason Timeout Test 0129.3m»
Random Jason Timeout Test 00913.3s»
Random Jason Timeout Test 00613.0s»
Random Jason Timeout Test 0044.5m»
Random Jason Timeout Test 00329.1s»
Random Jason Timeout Test 00221.5s»
Random Jason Timeout Test 00121.8s»
Area of a triangle19.2s»
(/ (- x lo) (- hi lo))62.062.03.2s»