Oui, mais le temps n'est pas vraiment un critère fiable. Si un solveur plante sur un problème à cause d'un manque de mémoire, le temps utilisé sera très faible, alors qu'un autre solveur réussira peut être à charger ce problème, mais galèrera 10 minutes dessus sans le résoudre pour autant. Seul le nombre de problèmes résolus est utilisé pour générer le classement final.
[^] # Re: Performance des langages
Posté par scand1sk (site web personnel) . En réponse au journal Mono et Gnome. Évalué à 3.