a parameter of renormalized beta distribution

Time bar (total: 905.0ms)

analyze0.0ms (0%)

Algorithm
1×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 24 to 17 computations (29.2% saved)

sample896.0ms (98.9%)

Results
525.0ms4950×body256valid
355.0ms3306×body256infinite
Bogosity

preprocess9.0ms (1%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...