Logistic regression 2

Time bar (total: 2.6min)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze11.3s (7.2%)

Memory
-26.3MiB live, 2 776.8MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
50%50%50%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
75%74.9%25%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
75%74.9%25%0.1%0%0%0%10
75%74.9%25%0.1%0%0%0%11
75%74.9%25%0.1%0%0%0%12
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample2.4min (92.8%)

Memory
-61.0MiB live, 37 088.9MiB allocated
Samples
1.6min4 611×0valid
27.8s1 508×1exit
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-log1p: 59.5s (62.2% of total)
ival-sub: 19.1s (19.9% of total)
ival-mult: 17.0s (17.8% of total)
ival-exp: 53.0ms (0.1% of total)
adjust: 24.0ms (0% of total)
ival-true: 5.0ms (0% of total)
ival-assert: 3.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...