Time: 23.2m
Passed: 1/12
Tests: 12
Bits: 9/96
Date:Saturday, July 14th, 2018
Commit:93797a23e81d77e350a04367b1bb7570198d50c6 on remove-backup-simplify
Hostname:warfa
Points:256
Fuel:4
Seed:2018195
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)33.624.32.8m»
Random Jason Timeout Test 0153.6s»
Random Jason Timeout Test 01417.4s»
Random Jason Timeout Test 0124.6m»
Random Jason Timeout Test 00915.5s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0044.0m»
Random Jason Timeout Test 0032.9s»
Random Jason Timeout Test 00216.1s»
Random Jason Timeout Test 00123.3s»
Area of a triangle25.9s»
(/ (- x lo) (- hi lo))62.062.03.7s»