Time: 47.6m
Passed: 2/12
Tests: 12
Bits: 17/96
Date:Friday, February 22nd, 2019
Commit:e26cdb8327c62adb02cbaae52bdd24dae3fab69e on master
Hostname:warfa
Points:256
Fuel:4
Seed:2019053
Flags:
setup:simplifyfn:cbrtrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.827.14.7m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 0142.3m»
Random Jason Timeout Test 01210.0m»
Random Jason Timeout Test 00915.3s»
Random Jason Timeout Test 0064.3s»
Random Jason Timeout Test 0046.8m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 0022.3m»
Random Jason Timeout Test 00123.2s»
Area of a triangle26.5s»
(/ (- x lo) (- hi lo))62.052.027.7s»