• MARCHE Claude's avatar
    heuristic for time limit of proof replay · 14a1e9e2
    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
why3session.xml 18.6 KB