Time: 17.3m
Passed: 1/12
Tests: 12
Bits: 10/95
Date:Wednesday, October 24th, 2018
Commit:1df535427dbe5da1d2f6afd4b2b7f78e559410fe on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018297
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.123.340.8s»
Random Jason Timeout Test 01530.5s»
Random Jason Timeout Test 01423.5s»
Random Jason Timeout Test 0129.1m»
Random Jason Timeout Test 00912.5s»
Random Jason Timeout Test 00613.5s»
Random Jason Timeout Test 0044.6m»
Random Jason Timeout Test 00329.7s»
Random Jason Timeout Test 00222.6s»
Random Jason Timeout Test 00121.0s»
Area of a triangle18.2s»
(/ (- x lo) (- hi lo))62.062.03.3s»