Time: 39.7m
Passed: 1/12
Tests: 12
Bits: 6/94

Date:Thursday, December 6th, 2018
Commit:1a71d00f6b0d7e0cc627742e4477050f6fdd7c3a on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018340
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)32.426.21.5m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01412.9s»
Random Jason Timeout Test 0129.5m»
Random Jason Timeout Test 00912.7s»
Random Jason Timeout Test 00652.7s»
Random Jason Timeout Test 0046.4m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00217.0s»
Random Jason Timeout Test 00122.2s»
Area of a triangle21.7s»
(/ (- x lo) (- hi lo))62.062.02.6s»