Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 1.9s)

analyze14.0ms (0.8%)

Memory
-11.4MiB live, 4.3MiB 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.8s (99.2%)

Memory
10.4MiB live, 286.5MiB allocated
Samples
1.7s116×0valid-sollya-only-zero
0.0ms1×0valid-rival+baseline-inf
0.0ms1×0valid-rival
0.0ms1×0valid-baseline
0.0ms1×0valid-sollya

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...