Time: 31.0m
Passed: 1/12
Tests: 12
Bits: 7/95
Date:Friday, June 26th, 2020
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2020178
Flags:
setup:simplifyfn:cbrtrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate: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.225.94.1m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01440.3s»
Random Jason Timeout Test 0124.0m»
Random Jason Timeout Test 0099.6s»
Random Jason Timeout Test 0062.9s»
Random Jason Timeout Test 00442.5s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00239.5s»
Random Jason Timeout Test 00118.2s»
Area of a triangle16.8s»
(/ (- x lo) (- hi lo))62.062.03.3s»