Time: 46.5m
Passed: 1/12
Tests: 12
Bits: 7/95
Date:Thursday, July 12th, 2018
Commit:86b84ef2c54ef174fbb988bf9846dfd069559a45 on regime-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018193
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.625.35.1m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01445.6s»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00917.1s»
Random Jason Timeout Test 00659.2s»
Random Jason Timeout Test 0047.7m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00244.7s»
Random Jason Timeout Test 00124.8s»
Area of a triangle31.6s»
(/ (- x lo) (- hi lo))62.062.04.9s»