| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| projetOusmaneAnaelleOA.jar | 6191.30s | 177 | 0 | 0 | 47 | 0 |
| MossierCherifi.jar | 5621.23s | 176 | 0 | 0 | 48 | 0 |
| BeliahBrouriZou.jar | 5939.69s | 175 | 0 | 0 | 48 | 1 |
| BezouMassonVersionFinale.jar | 6141.74s | 171 | 0 | 1 | 52 | 0 |
| FanchHernandezV1.jar | 7619.38s | 147 | 0 | 0 | 69 | 8 |
| IMEGALINEAMGOUD.jar | 8977.27s | 141 | 0 | 0 | 82 | 1 |
| AnzieuBouchbout.jar | 9498.67s | 127 | 0 | 1 | 88 | 8 |
| MarquesQuach.jar | 14165.95s | 102 | 0 | 0 | 122 | 0 |
| DialloRazafiniaina.jar | 6725.09s | 101 | 10 | 0 | 59 | 54 |
| MERZOUGUIOUMOHAND.jar | 5114.57s | 100 | 37 | 0 | 48 | 39 |
| bernierha-modified.jar | 10521.16s | 97 | 16 | 9 | 102 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 15601.62s | 83 | 2 | 0 | 139 | 0 |
| DiengEtou.jar | 13531.22s | 7 | 0 | 16 | 134 | 67 |
| Projet_SAT_Quentin_Olivier-modified.jar | 3774.07s | 0 | 0 | 140 | 14 | 70 |