Harley's example

Time bar (total: 20.0min)

analyze399.0ms (0%)

Memory
7.6MiB live, 136.4MiB allocated
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%1.6%0%6
0%0%21.1%75%0%3.9%0%7
15.7%3.1%16.8%75%0%5.1%0%8
17.2%3.1%15%75%0%6.8%0%9
18.9%3.1%13.4%75%0%8.5%0%10
21%3.1%11.7%75%0%10.1%0%11
22.7%3.1%10.6%75%0%11.2%0%12
Compiler

Compiled 93 to 47 computations (49.5% saved)

sample20.0min (100%)

Memory
326.4MiB live, 162 021.6MiB allocated
Samples
624.0ms2 973×0valid-rival
616.0ms2 973×0valid-sollya
545.0ms2 973×0valid-baseline
48.0ms4valid-baseline
35.0ms4valid-rival+baseline-zero
34.0ms4valid-sollya
29.0ms3valid-rival+baseline-zero
24.0ms44×1valid-rival+baseline-zero
22.0ms81×0valid-rival+baseline-zero
20.0ms3valid-baseline
18.0ms4valid-rival-only-zero
15.0ms3valid-sollya
9.0ms3valid-rival
9.0ms1valid-baseline
7.0ms1valid-sollya
5.0ms2valid-rival+baseline-zero
4.0ms2valid-baseline
3.0ms1valid-rival
3.0ms4valid-rival
2.0ms2valid-sollya
1.0ms5valid-rival-only-real
1.0ms5valid-rival-only-zero
1.0ms4valid-rival+baseline-real
1.0ms2valid-rival
0.0ms0valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 48.8s
ival-pow: 44.5s (91.2% of total)
ival-div: 1.2s (2.4% of total)
adjust: 787.0ms (1.6% of total)
ival-exp: 598.0ms (1.2% of total)
ival-add: 456.0ms (0.9% of total)
ival-sub: 425.0ms (0.9% of total)
ival-mult: 409.0ms (0.8% of total)
ival-neg: 364.0ms (0.7% of total)
ival-true: 48.0ms (0.1% of total)
...in/eval/compile.rkt:76:19: 27.0ms (0.1% of total)
ival-assert: 18.0ms (0% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 6.8min
ival-pow: 6.6min (96.4% of total)
ival-exp: 8.6s (2.1% of total)
ival-div: 2.4s (0.6% of total)
ival-mult: 1.1s (0.3% of total)
ival-sub: 885.0ms (0.2% of total)
ival-add: 818.0ms (0.2% of total)
ival-neg: 758.0ms (0.2% of total)
const: 112.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...