MAJ des benchs : résultats de minisat ajoutés^^