VandenBroeck and Keller, Equation (6)

Time bar (total: 4.4s)

analyze574.0ms (13.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
21.9%21.9%78%0.1%0%0%0%7
23.4%23.4%76.5%0.1%0%0%0%8
35.2%35.1%64.8%0.1%0%0%0%9
36.3%36.3%63.6%0.1%0%0%0%10
42.4%42.3%57.6%0.1%0%0%0%11
43.1%43%56.9%0.1%0%0%0%12
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample3.8s (86.4%)

Results
1.3s935×body2048valid
949.0ms1737×body1024valid
842.0ms4260×body256valid
270.0ms54×body4096valid
253.0ms703×body512valid
108.0ms558×body256infinite
7.0msbody2048infinite
3.0msbody8192exit
Bogosity

preprocess21.0ms (0.5%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...