Rump's expression from Stadtherr's award speech

Time bar (total: 977.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 9 to 9 computations (0% saved)

sample568.0ms (58.1%)

Memory
19.2MiB live, 691.8MiB allocated
Samples
390.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 227.0ms
const: 123.0ms (54.2% of total)
ival-==: 80.0ms (35.2% of total)
ival-and: 12.0ms (5.3% of total)
exact: 9.0ms (4% of total)
ival-assert: 3.0ms (1.3% of total)
Bogosity

explain409.0ms (41.9%)

Memory
-4.6MiB live, 618.7MiB allocated
Samples
170.0ms512×1valid
Compiler

Compiled 520 to 64 computations (87.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 122.0ms
ival-mult: 37.0ms (30.4% of total)
adjust: 32.0ms (26.3% of total)
ival-div: 17.0ms (13.9% of total)
ival-add: 13.0ms (10.7% of total)
ival-pow: 12.0ms (9.8% of total)
ival-sub: 10.0ms (8.2% of total)
exact: 2.0ms (1.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...