Time: 14.3m
Passed: 1/12
Tests: 12
Bits: 10/96
Date:Thursday, August 2nd, 2018
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018214
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.623.53.2m»
Random Jason Timeout Test 0151.5s»
Random Jason Timeout Test 01438.4s»
Random Jason Timeout Test 0127.2m»
Random Jason Timeout Test 00916.0s»
Random Jason Timeout Test 00614.4s»
Random Jason Timeout Test 0041.2m»
Random Jason Timeout Test 0031.1s»
Random Jason Timeout Test 00236.5s»
Random Jason Timeout Test 00123.4s»
Area of a triangle23.0s»
(/ (- x lo) (- hi lo))62.062.04.7s»