| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| projetOusmaneAnaelleOA.jar | 6014.90s | 179 | 0 | 0 | 45 | 0 |
| projetOusmaneAnaelleMT.jar | 8003.13s | 178 | 0 | 0 | 46 | 0 |
| MossierCherifi.jar | 5528.16s | 177 | 0 | 0 | 47 | 0 |
| projetOA.jar | 5761.37s | 177 | 0 | 0 | 47 | 0 |
| BeliahBrouriZou.jar | 5720.46s | 175 | 0 | 0 | 48 | 1 |
| projetOusmaneAnaelleThread.jar | 6026.03s | 175 | 0 | 0 | 49 | 0 |
| BezouMassonVersionFinale.jar | 6005.39s | 172 | 0 | 1 | 51 | 0 |
| FanchHernandezV1.jar | 7455.87s | 149 | 0 | 0 | 67 | 8 |
| IMEGALINEAMGOUD.jar | 8776.17s | 143 | 0 | 0 | 80 | 1 |
| AnzieuBouchbout.jar | 9345.05s | 128 | 0 | 1 | 87 | 8 |
| MarquesQuach.jar | 13829.89s | 104 | 0 | 0 | 120 | 0 |
| DialloRazafiniaina.jar | 6529.31s | 103 | 10 | 0 | 57 | 54 |
| MERZOUGUIOUMOHAND.jar | 5073.97s | 101 | 37 | 0 | 47 | 39 |
| bernierha-modified.jar | 10452.29s | 98 | 16 | 9 | 101 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 15199.74s | 84 | 2 | 0 | 138 | 0 |
| DiengEtou.jar | 13530.19s | 9 | 0 | 16 | 132 | 67 |
| Projet_SAT_Quentin_Olivier.jar | 1.03s | 0 | 0 | 224 | 0 | 0 |
| FanchHernandezV2.jar | 10.92s | 0 | 0 | 0 | 0 | 224 |
| Projet_SAT_Quentin_Olivier-modified.jar | 3051.67s | 0 | 0 | 141 | 13 | 70 |