| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| BeliahBrouriZou.jar | 4.87s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleMT.jar | 6.78s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleThread.jar | 6.92s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleOA.jar | 7.16s | 50 | 0 | 0 | 0 | 0 |
| AnzieuBouchbout.jar | 7.20s | 50 | 0 | 0 | 0 | 0 |
| projetOA.jar | 8.58s | 50 | 0 | 0 | 0 | 0 |
| MossierCherifi.jar | 8.76s | 50 | 0 | 0 | 0 | 0 |
| IMEGALINEAMGOUD.jar | 9.79s | 50 | 0 | 0 | 0 | 0 |
| BezouMassonVersionFinale.jar | 13.35s | 50 | 0 | 0 | 0 | 0 |
| MarquesQuach.jar | 10.20s | 49 | 0 | 0 | 1 | 0 |
| MERZOUGUIOUMOHAND.jar | 10.75s | 49 | 0 | 0 | 1 | 0 |
| FanchHernandezV1.jar | 10.91s | 48 | 0 | 0 | 2 | 0 |
| DialloRazafiniaina.jar | 22.89s | 47 | 0 | 0 | 3 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 31.30s | 42 | 0 | 0 | 8 | 0 |
| DiengEtou.jar | 23.16s | 41 | 0 | 0 | 9 | 0 |
| bernierha-modified.jar | 16.02s | 7 | 0 | 36 | 7 | 0 |
| FanchHernandezV2.jar | 2.32s | 0 | 0 | 0 | 0 | 50 |
| Projet_SAT_Quentin_Olivier.jar | 3.45s | 0 | 0 | 50 | 0 | 0 |
| Projet_SAT_Quentin_Olivier-modified.jar | 24.48s | 0 | 0 | 10 | 8 | 32 |