Time: 32.1m
Passed: 1/12
Tests: 12
Bits: 5/95
Date:Saturday, September 15th, 2018
Commit:51b2eca63aea6aed43358bbaa900e7f9117c5a7b on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018258
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.827.81.1m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01413.1s»
Random Jason Timeout Test 0128.4m»
Random Jason Timeout Test 00915.2s»
Random Jason Timeout Test 00617.3s»
Random Jason Timeout Test 00444.8s»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00212.9s»
Random Jason Timeout Test 00123.0s»
Area of a triangle23.7s»
(/ (- x lo) (- hi lo))62.062.02.8s»