Harley's example

Time bar (total: 2.5min)

analyze1.1s (0.7%)

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: 35.0ms
Operation ival-pow, total time spent: 320.0ms
Operation ival-neg, total time spent: 28.0ms
Operation ival-mult, total time spent: 53.0ms
Operation ival-exp, total time spent: 57.0ms
Operation ival-div, total time spent: 94.0ms
Operation ival-and, total time spent: 4.0ms
Operation ival-add, total time spent: 64.0ms
Operation ival-<, total time spent: 22.0ms
Operation const, total time spent: 24.0ms

sample2.5min (99.3%)

Results
2.3min6017×body8192exit
7.4s15281×body256unsamplable
1.3s3172×body256valid
106.0ms4×body8192valid
65.0ms32×body1024valid
46.0ms12×body2048valid
31.0ms4×body4096valid
15.0ms1×body8192unsamplable
15.0ms13×body512valid
5.0ms3×body1024unsamplable
3.0ms3×body512unsamplable
1.0ms3×body256infinite
Precisions
Click to see histograms
Operation ival-sub, total time spent: 697.0ms
Operation ival-pow, total time spent: 127766.0ms
Operation ival-neg, total time spent: 646.0ms
Operation ival-mult, total time spent: 953.0ms
Operation ival-exp, total time spent: 4035.0ms
Operation ival-div, total time spent: 2791.0ms
Operation ival-and, total time spent: 100.0ms
Operation ival-add, total time spent: 1564.0ms
Operation ival-<, total time spent: 559.0ms
Operation const, total time spent: 624.0ms

Profiling

Loading profile data...