Time: 24.5m
Passed: 1/12
Tests: 12
Bits: 10/95
Date:Sunday, September 30th, 2018
Commit:81038c97aebd2b4aca240ad17b52a035f9e8ae6f on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018273
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)33.523.81.0m»
Random Jason Timeout Test 0151.5m»
Random Jason Timeout Test 01430.1s»
Random Jason Timeout Test 0125.4m»
Random Jason Timeout Test 00916.9s»
Random Jason Timeout Test 0068.3m»
Random Jason Timeout Test 0044.9m»
Random Jason Timeout Test 0031.4m»
Random Jason Timeout Test 00229.9s»
Random Jason Timeout Test 00122.3s»
Area of a triangle19.8s»
(/ (- x lo) (- hi lo))62.062.02.8s»