Time: 47.3m
Passed: 1/12
Tests: 12
Bits: 7/95
Date:Wednesday, July 25th, 2018
Commit:68fcdc8abb3f200ff1db5d941ade68910e178db5 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018206
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.625.34.2m»
Random Jason Timeout Test 01510.0m»
Random Jason Timeout Test 01420.6s»
Random Jason Timeout Test 0129.5m»
Random Jason Timeout Test 00915.4s»
Random Jason Timeout Test 00610.0m»
Random Jason Timeout Test 0041.8m»
Random Jason Timeout Test 00310.0m»
Random Jason Timeout Test 00220.4s»
Random Jason Timeout Test 00123.1s»
Area of a triangle28.0s»
(/ (- x lo) (- hi lo))62.062.04.8s»