Time: 58.4m
Passed: 1/12
Tests: 12
Bits: 9/96
Date:Wednesday, July 18th, 2018
Commit:a706626e05d6685fabf4918bbc1033fceb9f28dd on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018199
Flags:
rules: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
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.524.85.2m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 0143.0m»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00916.8s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0046.1m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 0022.8m»
Random Jason Timeout Test 00124.9s»
Area of a triangle30.7s»
(/ (- x lo) (- hi lo))62.062.04.1s»