Bouland and Aaronson, Equation (26)

Time bar (total: 883.0ms)

analyze0.0ms (0%)

Algorithm
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 20 to 13 computations (35% saved)

sample871.0ms (98.6%)

Results
518.0ms4990×body256infinite
341.0ms3266×body256valid
Bogosity

preprocess12.0ms (1.3%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...