Time: 40.1m
Passed: 1/12
Tests: 12
Bits: 6/94
Date:Thursday, December 6th, 2018
Commit:1a71d00f6b0d7e0cc627742e4477050f6fdd7c3a on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018340
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)32.426.11.7m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01411.3s»
Random Jason Timeout Test 0129.7m»
Random Jason Timeout Test 00912.2s»
Random Jason Timeout Test 00653.7s»
Random Jason Timeout Test 0046.4m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00210.0s»
Random Jason Timeout Test 00121.9s»
Area of a triangle21.7s»
(/ (- x lo) (- hi lo))62.062.02.4s»