Time: 57.1m
Passed: 1/12
Tests: 12
Bits: 8/96
Date:Wednesday, July 18th, 2018
Commit:af2ca7d0dd2e6f989ed8ff28d837d611b8734059 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018199
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.525.44.0m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 0143.0m»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00916.7s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0045.9m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 0022.9m»
Random Jason Timeout Test 00125.4s»
Area of a triangle30.0s»
(/ (- x lo) (- hi lo))62.062.04.5s»