Time: 16.6m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Wednesday, October 17th, 2018
Commit:36f6f44c1dae1e7d3e2e5f3a20d392b7f4183535 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018290
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.427.145.1s»
Random Jason Timeout Test 01510.4s»
Random Jason Timeout Test 01420.4s»
Random Jason Timeout Test 0128.6m»
Random Jason Timeout Test 00912.7s»
Random Jason Timeout Test 00659.3s»
Random Jason Timeout Test 0044.3m»
Random Jason Timeout Test 0039.7s»
Random Jason Timeout Test 00222.2s»
Random Jason Timeout Test 00122.1s»
Area of a triangle19.7s»
(/ (- x lo) (- hi lo))62.062.02.9s»