| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| BeliahBrouriZou.jar | 7.21s | 50 | 0 | 0 | 0 | 0 |
| MossierCherifi.jar | 7.80s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleThread.jar | 9.66s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleOA.jar | 9.71s | 50 | 0 | 0 | 0 | 0 |
| projetOA.jar | 10.75s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleMT.jar | 11.21s | 50 | 0 | 0 | 0 | 0 |
| AnzieuBouchbout.jar | 12.94s | 50 | 0 | 0 | 0 | 0 |
| MERZOUGUIOUMOHAND.jar | 13.62s | 50 | 0 | 0 | 0 | 0 |
| IMEGALINEAMGOUD.jar | 13.72s | 50 | 0 | 0 | 0 | 0 |
| BezouMassonVersionFinale.jar | 16.66s | 50 | 0 | 0 | 0 | 0 |
| FanchHernandezV1.jar | 19.27s | 50 | 0 | 0 | 0 | 0 |
| MarquesQuach.jar | 23.20s | 50 | 0 | 0 | 0 | 0 |
| DialloRazafiniaina.jar | 59.04s | 49 | 0 | 0 | 1 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 103.62s | 48 | 0 | 0 | 2 | 0 |
| DiengEtou.jar | 231.06s | 43 | 0 | 0 | 7 | 0 |
| bernierha-modified.jar | 212.42s | 7 | 0 | 36 | 7 | 0 |
| Projet_SAT_Quentin_Olivier.jar | 0.00s | 0 | 0 | 50 | 0 | 0 |
| FanchHernandezV2.jar | 3.74s | 0 | 0 | 0 | 0 | 50 |
| Projet_SAT_Quentin_Olivier-modified.jar | 173.31s | 0 | 0 | 16 | 2 | 32 |