= System Competition (System Track) =

=== Aims ===
The regulations of the System Competition are conceived taking into account the following considerations:

 1. '''Language standardization'''. The System track is held on the basis of a standard ASP language, in order to encourage merging of ASP dialects. 

 1. '''Comparison in fixed conditions'''. In the System track problem encodings are chosen by the organizer, and systems cannot be configured on a per benchmark domain basis, in order to compare the off-the-shelf performance of participants.

=== Rules outline ===
Given the above considerations, the System competition are held on the basis of the following rules guidelines:

 1. The System competition is open to systems able to parse a language in a fixed format (the draft of the standard language temporarily called {{{ASP2013}}} will be available in the late summer of 2012).

 1. The competition is run over a selection of problems. For each problem, a corresponding, fixed encoding written in {{{ASP2013}}}, together with a set of benchmarks instances, is chosen by the organizers (see [[OfficialProblemSuite|Problem Suite]] and [[BenchmarkProblems|Classification]] );

 1. Each participant system will be launched with its default settings on each problem instance.

 1. ''Syntactic'' special-purpose solving techniques, specialized on a per problem basis, are forbidden.

Detailed rules will be found in [[ParticipationRules|Rules & Scoring]]. You might want to consult [[https://www.mat.unical.it/aspcomp2013/ParticipationRules|ASPCOMP 2013]] rules.