Fix computation of max number of runs inside IADAC partition

[OndrejAlexaj]

No description provided.

[vhavlena]

The results:

# of automata: 2693
----------------------------------------------------------------------------------------------------
tool                                         ✅    ❌       states    max-states    states-avg    states-med     time    time-avg    time-med    TO    ERR
-----------------------------------------  ----  ----  -----------  ------------  ------------  ------------  -------  ----------  ----------  ----  -----
kofola-tela-inductive-44c3ea3              2446   247   1312689.00     103380.00        536.67         21.00  3629.06        1.48        0.01   221     26
kofola-tela-inductive-for-8fe1136          2652    41   6437856.00     237725.00       2427.55         25.00  3073.45        1.16        0.01    15     26
kofola-tela-inductive-shb-subtree-44c3ea3  2451   242   1339994.00     103380.00        546.71         23.00  3065.88        1.25        0.01   216     26
kofola-tela-inductive-shb-root-44c3ea3     2467   226   1576427.00     103380.00        639.01         26.00  3501.75        1.42        0.01   200     26
kofola-tela-inductive-for-44c3ea3          2653    40   6463028.00     237725.00       2436.12         25.00  2827.64        1.07        0.01    14     26
spot-2.14.5                                2537   156  38202295.00    6875362.00      15058.06         39.00   672.62        0.27        0.01    33    123
spot-red-2.14.5                            2534   159  28218675.00    4587580.00      11136.02         15.00  1167.26        0.46        0.01    32    127
----------------------------------------------------------------------------------------------------