bug323 (missed optimization)

Time bar (total: 1.7s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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 12 to 10 computations (16.7% saved)

sample1.7s (100%)

Memory
46.0MiB live, 1 577.0MiB allocated
Samples
1.2s7 981×1valid
15.0ms275×0valid
Precisions
Click to see histograms. Total time spent on operations: 899.0ms
ival-acos: 547.0ms (60.9% of total)
adjust: 160.0ms (17.8% of total)
ival-sub: 108.0ms (12% of total)
ival-<=: 55.0ms (6.1% of total)
exact: 14.0ms (1.6% of total)
ival-and: 12.0ms (1.3% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

explain0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...