Logistic regression 2

Time bar (total: 2.5s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 12 to 9 computations (25% saved)

sample2.5s (99.6%)

Results
1.4s2089×body8192exit
857.0ms6875×body256valid
148.0ms977×body256infinite
77.0ms181×body1024valid
55.0ms222×body512valid
1.0ms1×body2048valid
Bogosity

preprocess9.0ms (0.4%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...