b parameter of renormalized beta distribution

Time bar (total: 993.0ms)

analyze1.0ms (0.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%12.5%87.5%0%0%0%0
100%12.5%0%87.5%0%0%0%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample983.0ms (99%)

Results
596.0ms4950×body256valid
376.0ms3306×body256infinite
Bogosity

preprocess9.0ms (0.9%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...