Maksimov and Kolovsky, Equation (4)

Time bar (total: 2.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 20 to 15 computations (25% saved)

sample2.0s (99.5%)

Results
422.0ms2639×body256valid
417.0ms827×body1024valid
410.0ms2567×body256infinite
380.0ms1026×body1024infinite
182.0ms634×body512valid
140.0ms537×body512infinite
23.0ms26×body2048valid
Bogosity

preprocess10.0ms (0.5%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...