• 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
..
ac Loading commit data...
array Loading commit data...
bool Loading commit data...
euclideandivision Loading commit data...
floats Loading commit data...
int Loading commit data...
intreal Loading commit data...
minmax Loading commit data...
propositional Loading commit data...
real Loading commit data...
ac.why Loading commit data...
array.why Loading commit data...
bool.why Loading commit data...
euclideandivision.why Loading commit data...
floats.why Loading commit data...
int.why Loading commit data...
intreal.why Loading commit data...
minmax.why Loading commit data...
propositional.why Loading commit data...
real.why Loading commit data...