Time: 13.2m
Passed: 1/12
Tests: 12
Bits: 4/95
Date:Wednesday, September 12th, 2018
Commit:668b50ff58f0cfa35ab92e96065b7aac0bf57a5d on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018255
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.229.61.8m»
Random Jason Timeout Test 01521.1s»
Random Jason Timeout Test 01427.8s»
Random Jason Timeout Test 0127.6m»
Random Jason Timeout Test 00915.5s»
Random Jason Timeout Test 00622.0s»
Random Jason Timeout Test 00442.4s»
Random Jason Timeout Test 00316.9s»
Random Jason Timeout Test 00227.9s»
Random Jason Timeout Test 00123.1s»
Area of a triangle23.3s»
(/ (- x lo) (- hi lo))62.062.03.1s»