Time: 13.8m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Wednesday, September 12th, 2018
Commit:c6d87dc6eb917117388efc12a8f0032c99d1c9f6 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018255
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.227.057.9s»
Random Jason Timeout Test 01520.0s»
Random Jason Timeout Test 01425.3s»
Random Jason Timeout Test 0129.2m»
Random Jason Timeout Test 00914.8s»
Random Jason Timeout Test 00622.4s»
Random Jason Timeout Test 00442.3s»
Random Jason Timeout Test 00317.2s»
Random Jason Timeout Test 00226.0s»
Random Jason Timeout Test 00123.0s»
Area of a triangle23.2s»
(/ (- x lo) (- hi lo))62.062.02.9s»