Migdal et al, Equation (64)

Time bar (total: 2.3s)

analyze1.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 23 to 16 computations (30.4% saved)

sample2.3s (99.5%)

Results
584.0ms3102×body256valid
508.0ms1060×body1024valid
430.0ms2189×body256infinite
428.0ms914×body1024infinite
170.0ms522×body512valid
156.0ms467×body512infinite
1.0ms2×body2048valid
Bogosity

preprocess10.0ms (0.4%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...