• MARCHE Claude's avatar
    Yet another attempt to fix unstability of prover answers · 32c8a24c
    MARCHE Claude authored
    - Call_provers.parse_prover_run does not attempt fixing answer anymore,
      except in the case where the answer is HighFailure and time is close
      to time limit (which is considered as Timeout)
    
    - Session_scheduler.fuzzy_proof_time is now more liberal, accepts
      that two answers Unknown or Timeout of OutOfMemory with less than
      10% difference in time are equivalent, and thus should not be
      reported as a significant change
    32c8a24c
Name
Last commit
Last update
..
bv Loading commit data...
ceil Loading commit data...
coq Loading commit data...
coq-interval Loading commit data...
cvc3 Loading commit data...
div Loading commit data...
div_real Loading commit data...
gappa Loading commit data...
metitarski Loading commit data...
polypaver Loading commit data...
bv.why Loading commit data...
ceil.why Loading commit data...
coq-interval.why Loading commit data...
coq.why Loading commit data...
cvc3.why Loading commit data...
div.why Loading commit data...
div_real.why Loading commit data...
gappa.why Loading commit data...
metitarski.why Loading commit data...
polypaver.mlw Loading commit data...
polypaver.why Loading commit data...