| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| MossierCherifi.jar | 5463.07s | 177 | 0 | 0 | 47 | 0 |
| projetOusmaneAnaelleOA.jar | 6098.52s | 177 | 0 | 0 | 47 | 0 |
| BeliahBrouriZou.jar | 5718.31s | 175 | 0 | 0 | 48 | 1 |
| BezouMassonVersionFinale.jar | 5892.17s | 173 | 0 | 1 | 50 | 0 |
| FanchHernandezV1.jar | 7460.83s | 148 | 0 | 0 | 68 | 8 |
| IMEGALINEAMGOUD.jar | 8777.46s | 143 | 0 | 0 | 80 | 1 |
| AnzieuBouchbout.jar | 9402.81s | 128 | 0 | 1 | 87 | 8 |
| MarquesQuach.jar | 13852.05s | 104 | 0 | 0 | 120 | 0 |
| DialloRazafiniaina.jar | 6548.10s | 103 | 10 | 0 | 57 | 54 |
| MERZOUGUIOUMOHAND.jar | 5048.97s | 100 | 37 | 0 | 48 | 39 |
| bernierha-modified.jar | 10425.14s | 98 | 16 | 9 | 101 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 15227.44s | 84 | 2 | 0 | 138 | 0 |
| DiengEtou.jar | 13485.59s | 9 | 0 | 16 | 132 | 67 |
| Projet_SAT_Quentin_Olivier.jar | 0.00s | 0 | 0 | 0 | 0 | 224 |
| FanchHernandezV2.jar | 0.00s | 0 | 0 | 0 | 0 | 224 |
| Projet_SAT_Quentin_Olivier-modified.jar | 3084.14s | 0 | 0 | 141 | 13 | 70 |