Time: 12.7m
Passed: 1/12
Tests: 12
Bits: 4/95
Date:Thursday, September 13th, 2018
Commit:b97dcdecb1f5cb54bbd7f9f40f1802f8ad330f11 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018256
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.028.91.8m»
Random Jason Timeout Test 01517.9s»
Random Jason Timeout Test 0142.3m»
Random Jason Timeout Test 0123.5m»
Random Jason Timeout Test 00914.6s»
Random Jason Timeout Test 00646.4s»
Random Jason Timeout Test 00446.2s»
Random Jason Timeout Test 00317.0s»
Random Jason Timeout Test 0021.9m»
Random Jason Timeout Test 00123.5s»
Area of a triangle24.3s»
(/ (- x lo) (- hi lo))62.062.03.5s»