Falkner and Boettcher, Appendix A

Time bar (total: 2.5s)

analyze374.0ms (14.7%)

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
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
50%49.9%49.9%0.1%0%0%0%7
50%49.9%49.9%0.1%0%0%0%8
50%49.9%49.9%0.1%0%0%0%9
53.3%49.9%43.7%0.1%0%4.7%1.6%10
53.3%49.9%43.7%0.1%0%4.7%1.6%11
54.7%49.9%41.3%0.1%0%5.5%3.1%12
Compiler

Compiled 19 to 13 computations (31.6% saved)

sample2.1s (84.6%)

Results
1.2s5768×body256valid
596.0ms2488×body256infinite
334.0ms2357×body256invalid
Bogosity

preprocess18.0ms (0.7%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...