Time: 50.2m
Passed: 1/12
Tests: 12
Bits: 4/95
Date:Thursday, September 20th, 2018
Commit:ea87bcb1af5da58844c9035d2196eda4cac34546 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018263
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.029.35.6m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01418.6s»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00915.9s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0042.9m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00218.6s»
Random Jason Timeout Test 00123.2s»
Area of a triangle27.2s»
(/ (- x lo) (- hi lo))62.062.04.0s»