Klever

At this time, the user can specify only limitation per one verification task (also per one rule and per one entry point) and the global limitation, which is actually present (TL*N*M*K, TL - specified time limit, N - number of verification tasks, M - number of rules, K - number of entry points), specified indirectly and does not mean much. But from user perspective, it would be more convenient to specify global wall time limit (for example, 48 hours), whereas limitations per one task will be computed automatically in the optimal way.