Classement par Temps Moyen (Résolus uniquement)
| Rang | Solveur | Problèmes Résolus | Moyenne (Sans Échecs) | Moyenne (Globale) | Ratio Succès |
|---|
Note : Le classement est établi sur le Temps Moyen (Sans Échecs).
- Moyenne (Sans Échecs) : Moyenne des temps uniquement sur les status SAT et UNSAT.
- Moyenne (Globale) : Moyenne incluant les UNKNOWN (temps max atteint).
- Moyenne (Sans Échecs) : Moyenne des temps uniquement sur les status SAT et UNSAT.
- Moyenne (Globale) : Moyenne incluant les UNKNOWN (temps max atteint).
Progression des résolutions
Axe X : Temps cumulé (secondes) | Axe Y : Nombre de problèmes résolus