Time: 36.2m
Passed: 1/12
Tests: 12
Bits: 6/96
Date:Saturday, August 18th, 2018
Commit:7d9dfce90420d57be29013a8d9df03553b2f2f1a on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018230
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.527.42.8m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01431.4s»
Random Jason Timeout Test 0125.8m»
Random Jason Timeout Test 00914.8s»
Random Jason Timeout Test 0064.5s»
Random Jason Timeout Test 0045.4m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00230.6s»
Random Jason Timeout Test 00124.0s»
Area of a triangle26.9s»
(/ (- x lo) (- hi lo))62.062.03.7s»