exp2 (problem 3.3.7)

Time bar (total: 3.8s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

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

Compiled 13 to 11 computations (15.4% saved)

sample3.8s (100%)

Memory
67.2MiB live, 4 225.5MiB allocated
Samples
2.9s5 712×2valid
536.0ms2 344×1valid
13.0ms200×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-exp: 2.4s (77.3% of total)
adjust: 265.0ms (8.7% of total)
ival-sub: 192.0ms (6.3% of total)
ival-add: 112.0ms (3.7% of total)
ival-fabs: 53.0ms (1.7% of total)
ival-neg: 34.0ms (1.1% of total)
ival-<=: 23.0ms (0.8% of total)
exact: 10.0ms (0.3% of total)
ival-assert: 4.0ms (0.1% of total)
Bogosity

explain0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...