Cubic critical, wide range

Time bar (total: 2.8s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze203.0ms (7.2%)

Memory
-25.3MiB live, 213.4MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
0%0%0%100%0%0%0%3
0%0%0%100%0%0%0%4
0%0%0%100%0%0%0%5
0%0%0%100%0%0%0%6
6.8%0%0%100%0%0%0%7
15.9%0%0%100%0%0%0%8
23.1%0%0%100%0%0%0%9
36.5%0%0%100%0%0%0%10
45.4%0%0%100%0%0%0%11
52.3%0%0%100%0%0%0%12
Compiler

Compiled 41 to 26 computations (36.6% saved)

sample2.4s (86.9%)

Memory
-67.9MiB live, 1 911.1MiB allocated
Samples
1.3s6 718×1valid
206.0ms1 538×0valid
123.0ms1 142×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 236.0ms (19.3% of total)
const: 186.0ms (15.2% of total)
adjust: 161.0ms (13.2% of total)
ival-div: 127.0ms (10.4% of total)
ival-<: 122.0ms (10% of total)
ival-sqrt: 121.0ms (9.9% of total)
ival-sub: 98.0ms (8% of total)
ival-add: 74.0ms (6.1% of total)
ival-neg: 49.0ms (4% of total)
ival-and: 34.0ms (2.8% of total)
exact: 9.0ms (0.7% of total)
ival-assert: 4.0ms (0.3% of total)
Bogosity

explain164.0ms (5.9%)

Memory
3.8MiB live, 166.4MiB allocated
Samples
64.0ms390×1valid
9.0ms122×0valid
Compiler

Compiled 136 to 28 computations (79.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.0ms
ival-mult: 15.0ms (32.9% of total)
adjust: 7.0ms (15.4% of total)
ival-div: 6.0ms (13.2% of total)
ival-sqrt: 6.0ms (13.2% of total)
ival-add: 4.0ms (8.8% of total)
ival-sub: 4.0ms (8.8% of total)
ival-neg: 2.0ms (4.4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...