Time: 28.0m
Passed: 1/12
Tests: 12
Bits: 8/95
Date:Tuesday, June 19th, 2018
Commit:b6189b1c109d25b2ea9590699773c64ebfb8839e on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018170
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)32.824.37.1m»
Random Jason Timeout Test 01543.6s»
Random Jason Timeout Test 01437.1s»
Random Jason Timeout Test 0126.3m»
Random Jason Timeout Test 00914.7s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 00451.8s»
Random Jason Timeout Test 00341.7s»
Random Jason Timeout Test 00236.1s»
Random Jason Timeout Test 00122.0s»
Area of a triangle22.3s»
(/ (- x lo) (- hi lo))62.062.03.6s»