#acl EditorsGroup:read,write,delete,revert,admin All:read
= Model & Solve Track Final Results =
<
> <>
<
>
== NOTE ==
<> Links to '''detailed results''' for all problems will be available soon.
== Legenda ==
Scores result from two components: the first depending on the number of instances solved within the given time-bound, the second on the actual time spent. In case of optimization problems, "quality" of the solutions plays a role as well. Please have a look at the [[ParticipationRules|Scoring and Participation Rules]] for all details.
== Detailed Results ==
Detailed results, as a ''raw'' text file, can be downloaded [[attachment:systemcompetition.final.results.raw.detailed.txt|HERE]].
<
>
The file contains a line for each instance each system has been asked to solve. Some quick info about what's in the file (please have a look at the [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|file and language format specifications]] for more details):
* System: the system name (quite easy to understand)
* Benchmark: the benchmark problem
* Instance: the specific instance of the problem
* Out: the answer provided by the system for the specific instance
* Diagnostics: result of the evaluation of the answer (essentially, whether the system answered correctly or not)
* Time: the total time spent by the system while solving the specific instance
* Optimum Cost: the "cost" of the witness solution returned by the system, in case of istance of an optimization problem
* Total Score: the total score rewarded for the specific instance
* Inst\Opt Score - Time Score: the two components of the score, as introduced above.
== Overall ==
<
>
||System ||