Time: 45.2m
Passed: 1/12
Tests: 12
Bits: 7/95
Date:Friday, June 15th, 2018
Commit:c58bdf6cd136be899c04e73a9ce45f4e1b421df7 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018166
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.426.33.4m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01442.7s»
Random Jason Timeout Test 0128.7m»
Random Jason Timeout Test 00915.7s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 00455.4s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00217.0s»
Random Jason Timeout Test 00123.7s»
Area of a triangle28.5s»
(/ (- x lo) (- hi lo))62.062.04.4s»