Avancement du solveur SMT (phase de tests).