Harley's example

Time bar (total: 2.5min)

analyze1.4s (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: 33.0ms
Operation ival-pow, total time spent: 392.0ms
Operation ival-neg, total time spent: 34.0ms
Operation ival-mult, total time spent: 40.0ms
Operation ival-exp, total time spent: 66.0ms
Operation ival-div, total time spent: 118.0ms
Operation ival-and, total time spent: 4.0ms
Operation ival-add, total time spent: 75.0ms
Operation ival-<, total time spent: 37.0ms
Operation const, total time spent: 31.0ms

sample2.5min (99.1%)

Results
2.3min5924×body5exit
7.9s15017×body0unsamplable
1.3s3093×body0valid
69.0ms4×body4valid
65.0ms34×body2valid
35.0ms9×body3valid
11.0ms6×body2unsamplable
8.0ms10×body1valid
6.0ms1×body4unsamplable
1.0ms1×body1unsamplable
Precisions
Click to see histograms
Operation ival-sub, total time spent: 708.0ms
Operation ival-pow, total time spent: 126645.0ms
Operation ival-neg, total time spent: 608.0ms
Operation ival-mult, total time spent: 1370.0ms
Operation ival-exp, total time spent: 4585.0ms
Operation ival-div, total time spent: 2930.0ms
Operation ival-and, total time spent: 91.0ms
Operation ival-add, total time spent: 1517.0ms
Operation ival-<, total time spent: 577.0ms
Operation const, total time spent: 497.0ms

Profiling

Loading profile data...