Harley's example

Time bar (total: 2.5min)

analyze840.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
2.4min6814×body8192exit
5.1s17347×body256unsamplable
845.0ms3614×body256valid
105.0msbody8192valid
64.0msbody4096valid
35.0ms23×body1024valid
25.0msbody2048valid
6.0ms11×body512valid
6.0msbody1024unsamplable
3.0msbody512unsamplable
2.0msbody256infinite
1.0msbody1024infinite

Profiling

Loading profile data...