Expression 3, p15

Time bar (total: 699.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 17 to 10 computations (41.2% saved)

sample640.0ms (91.5%)

Memory
39.0MiB live, 906.3MiB allocated
Samples
370.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 238.0ms
ival-mult: 124.0ms (52.1% of total)
ival-<=: 50.0ms (21% of total)
ival-add: 42.0ms (17.6% of total)
ival-and: 10.0ms (4.2% of total)
exact: 9.0ms (3.8% of total)
ival-assert: 3.0ms (1.3% of total)
Bogosity

explain59.0ms (8.5%)

Memory
20.4MiB live, 109.8MiB allocated
Samples
18.0ms512×0valid
Compiler

Compiled 40 to 12 computations (70% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 6.0ms (66.5% of total)
ival-add: 2.0ms (22.2% of total)
ival-true: 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...