prog: update the choice table aglorithm

Two changes:
1) Instead of multiplying static and dynamic prios, add them 1:1.
2) For dynamic priorities, limit the effect of too frequent call
   combinations by taking a sqrt() of the value.

On syz-testbed experiments, the updated algorithm triggers 5-10%
more different crash types.

As before, there is no big theory behind the approach :)

0 files changed, 0 insertions, 0 deletions