neg log

Time bar (total: 1.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze2.0ms (0.2%)

Memory
2.7MiB live, 2.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
33.3%12.5%25%0%0%62.5%0%4
60%18.7%12.5%0%0%68.7%0%5
77.8%21.9%6.2%0%0%71.8%0%6
88.2%23.4%3.1%0%0%73.4%0%7
93.9%24.2%1.6%0%0%74.2%0%8
96.9%24.6%0.8%0%0%74.6%0%9
98.4%24.8%0.4%0%0%74.8%0%10
99.2%24.9%0.2%0%0%74.9%0%11
99.6%24.9%0.1%0%0%74.9%0%12
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample935.0ms (92.6%)

Memory
31.5MiB live, 863.7MiB allocated
Samples
713.0ms8 256×0valid
1.0ms21×0invalid
Precisions
Click to see histograms. Total time spent on operations: 262.0ms
ival-log: 113.0ms (43.1% of total)
ival-div: 67.0ms (25.6% of total)
ival-sub: 38.0ms (14.5% of total)
ival-neg: 32.0ms (12.2% of total)
ival-true: 5.0ms (1.9% of total)
exact: 4.0ms (1.5% of total)
ival-assert: 3.0ms (1.1% of total)
Bogosity

explain73.0ms (7.2%)

Memory
-8.5MiB live, 118.4MiB allocated
Samples
29.0ms512×0valid
Compiler

Compiled 50 to 16 computations (68% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0ms
ival-log: 7.0ms (39.7% of total)
ival-div: 4.0ms (22.7% of total)
ival-neg: 3.0ms (17% of total)
ival-sub: 2.0ms (11.3% of total)
ival-true: 0.0ms (0% of total)
exact: 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...