Time: 13.8s
Passed: 0/12
Crashes: 9
Tests: 12
Bits: 0/0

Date:Saturday, June 22nd, 2019
Commit:913aa556 on no-costs-2
Hostname:warfa with Racket 7.0
Seed:2019173
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)2.8s»
Random Jason Timeout Test 0151.4s»
Random Jason Timeout Test 0141.4s»
Random Jason Timeout Test 0124.1s»
Random Jason Timeout Test 009102.0ms»
Random Jason Timeout Test 006970.0ms»
Random Jason Timeout Test 004661.0ms»
Random Jason Timeout Test 003866.0ms»
Random Jason Timeout Test 0021.5s»
Random Jason Timeout Test 00129.0ms»
Area of a triangle28.0ms»
(/ (- x lo) (- hi lo))69.0ms»