Option --cut-off and --sort-by=s don't work as one may expect (documented as is)

[Jellix]

Describe the bug
As described in the README.md, the --cut-off option works for maximal proof time, not for maximum time for successful proof.

Expected Behavior
If one requests sorting by maximum time for successful proof, the --cut-off should take that parameter into account.

[Jellix]

After some testing, I leave it as is. It doesn't seem to make sense to apply the cut off for successful proof attempts.

Especially if another prover failed and needs a significant higher time, we would omit that VC from the output, even though it is still way beyond the cut-off time.