Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 3.2s)

analyze10.0ms (0.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 96 to 56 computations (41.7% saved)

sample3.2s (99.7%)

Results
16.0ms18×0valid-sollya
22.0ms18×0valid-rival

end0.0ms (0%)

Profiling

Loading profile data...