Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 1.6s)

analyze14.0ms (0.9%)

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

Compiled 192 to 113 computations (41.1% saved)

sample1.6s (99.1%)

Memory
-3.0MiB live, 241.7MiB allocated
Samples
1.5s101×0valid-sollya-only-zero

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...