#acl EditorsGroup:read,write,delete,revert,admin All:read
= System Track Final Results =
<
>
<>
<
>
== 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 ==
=== Details: raw file ===
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.
=== Details: tables ===
Detailed results are also available as separate PDF files:
* [[attachment:System-Results-P-Problems-detailed.pdf||System Track - Details - P problems]]
* [[attachment:System-Results-NP-Problems-detailed.pdf||System Track - Details - NP problems]]
* [[attachment:System-Results-BndP-Problems-detailed.pdf||System Track - Details - Beyond P problems]]
=== Quick reference guide ===
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.
* WF (Cost) : Witness Found (Cost)
* OF (Cost) : Optimum Found (Cost)
* Inc : Inconsistent
* TO : Time Out
* MO/F : Mem Out Fail
* N/A : Not Available / Not Applicable
== Overall ==
<
>
||System ||