| Noms | Temps | OK | KO | not valid | Timeout | unkn |
|---|
| BeliahBrouriZou.jar | 7.19s | 50 | 0 | 0 | 0 | 0 |
| MERZOUGUIOUMOHAND.jar | 9.33s | 50 | 0 | 0 | 0 | 0 |
| projetOusmaneAnaelleOA.jar | 10.16s | 50 | 0 | 0 | 0 | 0 |
| IMEGALINEAMGOUD.jar | 10.44s | 50 | 0 | 0 | 0 | 0 |
| MossierCherifi.jar | 10.99s | 50 | 0 | 0 | 0 | 0 |
| AnzieuBouchbout.jar | 12.89s | 50 | 0 | 0 | 0 | 0 |
| FanchHernandezV1.jar | 16.30s | 50 | 0 | 0 | 0 | 0 |
| BezouMassonVersionFinale.jar | 18.34s | 50 | 0 | 0 | 0 | 0 |
| MarquesQuach.jar | 24.19s | 50 | 0 | 0 | 0 | 0 |
| DialloRazafiniaina.jar | 126.02s | 49 | 0 | 0 | 1 | 0 |
| SAT-Solver-v0.9.0-jar-with-dependencies.jar | 181.95s | 49 | 0 | 0 | 1 | 0 |
| DiengEtou.jar | 724.34s | 43 | 0 | 0 | 7 | 0 |
| Projet_SAT_Quentin_Olivier-modifiedagain.jar | 12.70s | 10 | 8 | 0 | 0 | 32 |
| bernierha-modified.jar | 703.07s | 7 | 0 | 36 | 7 | 0 |
| Projet_SAT_Quentin_Olivier-modified.jar | 172.68s | 0 | 0 | 18 | 0 | 32 |