Time: 7.4m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Wednesday, December 5th, 2018
Commit:ed1a58d4d55779bde213a3efc088ff94cfd7cb51 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018339
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)32.826.644.7s»
Random Jason Timeout Test 01520.0s»
Random Jason Timeout Test 01430.3s»
Random Jason Timeout Test 0122.5m»
Random Jason Timeout Test 00913.5s»
Random Jason Timeout Test 0061.1m»
Random Jason Timeout Test 00439.4s»
Random Jason Timeout Test 00317.2s»
Random Jason Timeout Test 00223.2s»
Random Jason Timeout Test 00121.7s»
Area of a triangle18.2s»
(/ (- x lo) (- hi lo))62.062.02.3s»