| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| projetOusmaneAnaelleOA.jar | 6588.83s | 179 | 0 | 0 | 45 | 0 |
| MossierCherifi.jar | 5471.69s | 177 | 0 | 0 | 47 | 0 |
| BeliahBrouriZou.jar | 5934.44s | 174 | 0 | 0 | 49 | 1 |
| BezouMassonVersionFinale.jar | 6084.34s | 172 | 0 | 1 | 51 | 0 |
| FanchHernandezV1.jar | 7623.13s | 148 | 0 | 0 | 68 | 8 |
| IMEGALINEAMGOUD.jar | 8931.28s | 142 | 0 | 0 | 81 | 1 |
| AnzieuBouchbout.jar | 9491.88s | 127 | 0 | 1 | 88 | 8 |
| DialloRazafiniaina.jar | 6571.22s | 103 | 10 | 0 | 57 | 54 |
| bernierha-modified.jar | 10218.23s | 102 | 16 | 9 | 97 | 0 |
| MERZOUGUIOUMOHAND.jar | 5118.87s | 100 | 37 | 0 | 48 | 39 |
| MarquesQuach.jar | 14275.36s | 99 | 0 | 0 | 125 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 15589.55s | 83 | 2 | 0 | 139 | 0 |
| DiengEtou.jar | 13412.58s | 9 | 0 | 16 | 132 | 67 |
| Projet_SAT_Quentin_Olivier-modified.jar | 3280.25s | 0 | 0 | 141 | 13 | 70 |