Harley's example

Time bar (total: 2.5min)

analyze1.3s (0.9%)

Algorithm
1×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)

Precisions
Click to see histograms
Operation ival-sub, total time spent: 39.0ms
Operation ival-pow, total time spent: 356.0ms
Operation ival-neg, total time spent: 38.0ms
Operation ival-mult, total time spent: 36.0ms
Operation ival-exp, total time spent: 56.0ms
Operation ival-div, total time spent: 110.0ms
Operation ival-and, total time spent: 5.0ms
Operation ival-add, total time spent: 84.0ms
Operation ival-<, total time spent: 28.0ms
Operation const, total time spent: 30.0ms

sample2.5min (99.1%)

Results
2.3min6069×body8192exit
7.4s15362×body256unsamplable
1.3s3206×body256valid
157.0ms8×body8192valid
72.0ms9×body4096valid
36.0ms16×body1024valid
19.0ms16×body512valid
18.0ms5×body2048valid
7.0ms7×body512unsamplable
5.0ms3×body1024unsamplable
2.0ms3×body256infinite
Precisions
Click to see histograms
Operation ival-sub, total time spent: 706.0ms
Operation ival-pow, total time spent: 127921.0ms
Operation ival-neg, total time spent: 646.0ms
Operation ival-mult, total time spent: 971.0ms
Operation ival-exp, total time spent: 4087.0ms
Operation ival-div, total time spent: 2850.0ms
Operation ival-and, total time spent: 101.0ms
Operation ival-add, total time spent: 1610.0ms
Operation ival-<, total time spent: 570.0ms
Operation const, total time spent: 625.0ms

Profiling

Loading profile data...