Details

Time bar (total: 1.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 13 to 12 computations (7.7% saved)

sample1.4s (98.4%)

Results
621.0ms2109×body1024valid
464.0ms4942×body256valid
184.0ms1006×body512valid
72.0ms199×body2048valid
Bogosity

preprocess22.0ms (1.6%)

Algorithm
1×egglog

end0.0ms (0%)

Profiling

Loading profile data...