Time: 49.8m
Passed: 1/12
Tests: 12
Bits: 4/95

Date:Thursday, September 20th, 2018
Commit:ea87bcb1af5da58844c9035d2196eda4cac34546 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018263
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.029.35.2m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01418.3s»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00914.8s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0042.8m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00216.8s»
Random Jason Timeout Test 00123.9s»
Area of a triangle27.1s»
(/ (- x lo) (- hi lo))62.062.03.8s»