Time: 12.6m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Wednesday, September 12th, 2018
Commit:668b50ff58f0cfa35ab92e96065b7aac0bf57a5d on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018255
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.227.058.8s»
Random Jason Timeout Test 01520.7s»
Random Jason Timeout Test 01430.0s»
Random Jason Timeout Test 0127.8m»
Random Jason Timeout Test 00914.7s»
Random Jason Timeout Test 00622.1s»
Random Jason Timeout Test 00443.8s»
Random Jason Timeout Test 00316.7s»
Random Jason Timeout Test 00229.3s»
Random Jason Timeout Test 00124.2s»
Area of a triangle24.5s»
(/ (- x lo) (- hi lo))62.062.03.3s»