Time: 2.0m
Passed: 1/8
Tests: 12
Bits: 6/226

Date:Sunday, March 29th, 2020
Commit:a4c0c423 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020089
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?Time
Toniolo and Linder, Equation (13)34.028.434.4s»
Random Jason Timeout Test 0150.10.15.1s»
Random Jason Timeout Test 0140.00.05.3s»
Random Jason Timeout Test 01261.360.428.3s»
Random Jason Timeout Test 0099.0ms»
Random Jason Timeout Test 00633.633.619.1s»
Random Jason Timeout Test 00434.634.614.7s»
Random Jason Timeout Test 0030.10.15.0s»
Random Jason Timeout Test 0020.00.05.0s»
Random Jason Timeout Test 00118.0ms»
Area of a triangle18.0ms»
(/ (- x lo) (- hi lo))62.062.0885.0ms»