Time: 6.3m
Passed: 6/25
Crashes: 17
Tests: 30
Bits: 87/145
Date:Tuesday, September 11th, 2018
Commit:82b63bcb3e9a021b82313ab002b9c8c555279f14 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018254
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
x001.2s»
subtraction fraction94.0ms»
sqrt times114.0ms»
r*sin(b)/cos(a+b), B15.60.431.4s»
r*sin(b)/cos(a+b), A15.60.430.3s»
neg log96.0ms»
jeff quadratic root 220.17.148.7s»
jeff quadratic root 120.113.729.4s»
fabs fraction 2002.1s»
fabs fraction 11.61.628.2s»
exp neg sub2.0ms»
cos(2*x)/(cos^2(x)*sin^2(x))27.42.537.6s»
VandenBroeck and Keller, Equation (24)0.20.327.4s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.25.0ms»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.28.0ms»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.27.0ms»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.26.0ms»
NMSE problem 3.2.13.0ms»
Linear.V4:$cdot from linear-1.19.1.38.0ms»
Linear.Matrix:det44 from linear-1.19.1.315.0ms»
Linear.Matrix:det33 from linear-1.19.1.39.0ms»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.35.0ms»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.14.0ms»
Fuzzer 00231.131.118.6s»
Fuzzer 0010.20.28.4s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.17.0ms»
Bouland and Aaronson, Equation (25)0.20.225.4s»
(+ x (- (tan (+ y z)) (tan a)))13.20.31.5m»
sqrt sqr1.0ms»
The quadratic formula (r1)2.0ms»