Time: 14.2m
Passed: 1/12
Tests: 12
Bits: 9/96
Date:Thursday, August 2nd, 2018
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018214
Flags:
rules:numericsrules: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
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.625.12.8m»
Random Jason Timeout Test 0151.5s»
Random Jason Timeout Test 01441.6s»
Random Jason Timeout Test 0127.2m»
Random Jason Timeout Test 00915.7s»
Random Jason Timeout Test 00614.7s»
Random Jason Timeout Test 0041.4m»
Random Jason Timeout Test 0031.3s»
Random Jason Timeout Test 00240.6s»
Random Jason Timeout Test 00123.4s»
Area of a triangle24.5s»
(/ (- x lo) (- hi lo))62.062.04.6s»