Time: 41.1m
Passed: 1/12
Tests: 12
Bits: 8/95
Date:Saturday, June 16th, 2018
Commit:bea2125dfa80496b9f098741d625b2ce406b8dd1 on master
Hostname:warfa
Points:256
Fuel:4
Seed:2018167
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)32.925.03.2m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01453.4s»
Random Jason Timeout Test 0129.5m»
Random Jason Timeout Test 00914.5s»
Random Jason Timeout Test 006863.0ms»
Random Jason Timeout Test 0045.5m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00251.5s»
Random Jason Timeout Test 00122.1s»
Area of a triangle26.5s»
(/ (- x lo) (- hi lo))62.062.03.8s»