Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

Time bar (total: 2.4s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze234.0ms (9.9%)

Memory
-19.8MiB live, 302.2MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample2.1s (90%)

Memory
19.4MiB live, 1 928.2MiB allocated
Samples
1.1s6 969×0valid
562.0ms1 243×1valid
9.0ms44×2valid
Precisions
Click to see histograms. Total time spent on operations: 975.0ms
ival-sub: 572.0ms (58.7% of total)
ival-div: 135.0ms (13.8% of total)
ival-add: 98.0ms (10.1% of total)
adjust: 93.0ms (9.5% of total)
ival-mult: 67.0ms (6.9% of total)
ival-true: 7.0ms (0.7% of total)
ival-assert: 4.0ms (0.4% of total)
Bogosity

explain3.0ms (0.1%)

Memory
6.5MiB live, 6.5MiB allocated
Samples
0.0ms0valid
Compiler

Compiled 137 to 35 computations (74.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...