Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 9.0s)

analyze15.0ms (0.2%)

Memory
4.6MiB live, 4.6MiB 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)

sample9.0s (99.8%)

Memory
-33.4MiB live, 1 442.4MiB allocated
Samples
8.2s557×0valid-sollya-only
8.2s557×0valid-sollya-only-zero
17.0ms8×0valid-sollya
3.0ms8×0valid-rival+baseline
3.0ms8×0valid-rival+baseline-inf
3.0ms8×0valid-baseline+rival
3.0ms8×0valid-baseline
3.0ms8×0valid-rival

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...