Diagrams.ThreeD.Shapes:frustum from diagrams-lib-1.3.0.3, A

Time bar (total: 2.8min)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.6%0.4%0%0%0%0
100%99.6%0%0.4%0%0%0%1
Compiler

Compiled 21 to 20 computations (4.8% saved)

sample2.8min (100%)

Memory
-14.5MiB live, 58 234.8MiB allocated
Samples
2.3min7 234×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-mult: 1.1min (63.6% of total)
ival-sub: 21.4s (21.5% of total)
ival-add: 14.9s (14.9% of total)
ival-true: 6.0ms (0% of total)
exact: 4.0ms (0% of total)
ival-assert: 3.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...