Problèmes Totaux
-
functions
Taux Résolution
- %
check_circle
Meilleur Solveur
-
emoji_events
Nb Solveurs
-
problem
Performance par Solveur
Nombre de problèmes résolus (SAT/UNSAT)
schedule
Campagne de test
Répartition Globale
Proportion des résultats
pie_chart
Mis à jour