Details

Time bar (total: 1.3s)

analyze1.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.7%74.3%0%0%0%0
100%25.7%0%74.3%0%0%0%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.3s (98.2%)

Results
748.0ms6138×body256valid
337.0ms1052×body1024valid
215.0ms1041×body512valid
10.0ms25×body2048valid
Bogosity

preprocess24.0ms (1.8%)

Algorithm
1×egglog

end0.0ms (0%)

Profiling

Loading profile data...