Harley's example

Time bar (total: 2.5min)

analyze853.0ms (0.6%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
0%0%25%75%0%0%0%1
0%0%25%75%0%0%0%2
0%0%25%75%0%0%0%3
0%0%25%75%0%0%0%4
0%0%25%75%0%0%0%5
0%0%23.4%75%0%0%1.6%6
0%0%21.1%75%0%0%3.9%7
15.7%3.1%16.8%75%0%0%5.1%8
17.2%3.1%15%75%0%0%6.8%9
18.9%3.1%13.4%75%0%0%8.5%10
21%3.1%11.7%75%0%0%10.1%11
22.7%3.1%10.6%75%0%0%11.2%12
Compiler

Compiled 54 to 40 computations (25.9% saved)

sample2.5min (99.4%)

Results
5.3s16232×256unsamplable
2.4min6556×8192exit
867.0ms3320×256valid
17.0ms24×512valid
29.0ms18×1024valid
31.0ms2048valid
45.0ms4096valid
9.0ms1024unsamplable
97.0ms8192valid
3.0ms512unsamplable
0.0ms256infinite

Profiling

Loading profile data...