Time: 34.7m
Passed: 1/12
Tests: 12
Bits: 6/95
Date:Wednesday, September 5th, 2018
Commit:2c0ebf80eed12943ba27f2d851e50acdf016adae on constant-simplification
Hostname:warfa
Points:256
Fuel:4
Seed:2018248
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)32.926.62.4m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01426.0s»
Random Jason Timeout Test 0128.3m»
Random Jason Timeout Test 00914.2s»
Random Jason Timeout Test 00613.3s»
Random Jason Timeout Test 0041.8m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00226.4s»
Random Jason Timeout Test 00122.5s»
Area of a triangle25.5s»
(/ (- x lo) (- hi lo))62.062.02.8s»