-
MARCHE Claude authored
the time limit for the replay is the max of the time limit given initially and twice the time taken by the prover (if the result was "valid") E.g, if Alt-Ergo said valid in 4.9 seconds, for an initial limit of 5, then the replay will give 10 seconds
14a1e9e2