Time: 36.5m
Passed: 0/12
Tests: 12
Bits: 0/62
Date:Friday, June 26th, 2020
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2020178
Flags:
setup:simplifyfn:cbrtrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)10.0m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01435.8s»
Random Jason Timeout Test 0123.8m»
Random Jason Timeout Test 0099.2s»
Random Jason Timeout Test 0062.5s»
Random Jason Timeout Test 00444.8s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00233.7s»
Random Jason Timeout Test 00118.8s»
Area of a triangle16.6s»
(/ (- x lo) (- hi lo))62.062.03.4s»