Time: 11.8m
Passed: 1/10
Tests: 12
Bits: 1/157

Date:Friday, March 29th, 2019
Commit:570287d69cb96597af226f9157939ce60dd1b513 on better-rr
Hostname:warfa
Points:256
Fuel:4
Seed:2019088
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)10.0m»
Random Jason Timeout Test 015168.0ms»
Random Jason Timeout Test 0140.00.012.9s»
Random Jason Timeout Test 01260.459.245.3s»
Random Jason Timeout Test 00974.0ms»
Random Jason Timeout Test 0061.3s»
Random Jason Timeout Test 00434.434.431.7s»
Random Jason Timeout Test 00358.0ms»
Random Jason Timeout Test 0020.00.012.2s»
Random Jason Timeout Test 00127.0ms»
Area of a triangle35.0ms»
(/ (- x lo) (- hi lo))62.062.03.6s»