mise à jour du script des benchmarks afin de tester soit tous le monde, soit juste 1 solveur