Time: 42.7m
Passed: 1/12
Tests: 12
Bits: 6/96
Date:Friday, September 7th, 2018
Commit:88f74a206a670d2ccad748b721eb8fa8efb64c3f on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018250
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.627.81.0m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01430.8s»
Random Jason Timeout Test 0129.2m»
Random Jason Timeout Test 00914.6s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 00424.8s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00229.5s»
Random Jason Timeout Test 00123.0s»
Area of a triangle26.4s»
(/ (- x lo) (- hi lo))62.062.04.2s»