Time: 41.4m
Passed: 1/12
Tests: 12
Bits: 10/62
Date:Tuesday, July 17th, 2018
Commit:00017e034d6c714a9ae5e64bcfb7f8627c23aeff on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018198
Flags:
rules:numericsrules: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
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)2.5m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01456.9s»
Random Jason Timeout Test 0129.8m»
Random Jason Timeout Test 00915.9s»
Random Jason Timeout Test 00639.8s»
Random Jason Timeout Test 0044.9m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00255.6s»
Random Jason Timeout Test 00122.5s»
Area of a triangle26.9s»
(/ (- x lo) (- hi lo))62.052.024.8s»