Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 2.4s)

analyze22.0ms (0.9%)

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 112 computations (41.7% saved)

sample2.4s (99.1%)

Results
21.0ms18×0valid-sollya
11.0ms18×0valid-rival
11.0ms18×0valid-baseline
8.0ms11×0valid-rival+baseline
7.0ms11×0valid-baseline+rival
0.0ms1×0valid-rival-only

end0.0ms (0%)

Profiling

Loading profile data...