Time: 30.9m
Passed: 1/12
Tests: 12
Bits: 9/95
Date:Tuesday, September 11th, 2018
Commit:82b63bcb3e9a021b82313ab002b9c8c555279f14 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018254
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)32.923.558.3s»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01429.3s»
Random Jason Timeout Test 0126.8m»
Random Jason Timeout Test 00914.4s»
Random Jason Timeout Test 00627.7s»
Random Jason Timeout Test 00440.7s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00229.4s»
Random Jason Timeout Test 00122.9s»
Area of a triangle21.9s»
(/ (- x lo) (- hi lo))62.062.03.1s»