Falkner and Boettcher, Appendix B, 1

Time bar (total: 401.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze245.0ms (61.1%)

Memory
3.9MiB live, 83.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%100%0%0%0%0%3
0%0%100%0%0%0%0%4
0%0%100%0%0%0%0%5
0%0%100%0%0%0%0%6
0%0%100%0%0%0%0%7
0%0%100%0%0%0%0%8
0%0%100%0%0%0%0%9
0%0%100%0%0%0%0%10
0%0%100%0%0%0%0%11
0%0%100%0%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample86.0ms (21.4%)

Memory
1.6MiB live, 24.6MiB allocated
Samples
32.0ms119×3valid
14.0ms72×2valid
14.0ms255×0invalid
9.0ms66×1valid
0.0ms3×0valid
Precisions
Click to see histograms. Total time spent on operations: 55.0ms
adjust: 14.0ms (25.6% of total)
ival-acos: 14.0ms (25.6% of total)
ival-sub: 9.0ms (16.5% of total)
ival-mult: 9.0ms (16.5% of total)
ival-div: 8.0ms (14.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain70.0ms (17.4%)

Memory
3.9MiB live, 18.9MiB allocated
Confusion
Predicted +Predicted -
+51
-0250
Precision
1.0
Recall
0.8333333333333334
Samples
33.0ms119×3valid
14.0ms70×2valid
9.0ms65×1valid
0.0ms3×0valid
Compiler

Compiled 88 to 58 computations (34.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.0ms
adjust: 14.0ms (30.3% of total)
ival-acos: 13.0ms (28.2% of total)
ival-sub: 7.0ms (15.2% of total)
ival-div: 6.0ms (13% of total)
ival-mult: 6.0ms (13% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...