Competition Categories, Tracks and Benchmark Suite

Competition Categories

The Competition consists of two categories, each one featuring four tracks. In particular, the categories depend on the computational resources allowed:

• One processor allowed (SP)

• Multiple processors allowed (MP)

Of course parallel systems can participate in tracks of MP category, and similarly non-parallel systems can participate in tracks of SP category. The categorization deals with the allowed processors to a system for each run.

Competition Tracks

The ASP Competition Series consisted usually of (sub)-Tracks conceived on the basis of the "complexity" of problems; in the light of the work spent by the community on language standardization, this edition takes rather into consideration language features.

As stated by the Call for Participation, according to the availability of benchmarks, to submitted systems, and to participants feedback, both categories of the competition are hence structured into four tracks:

• Track #	Track Name	Track features
  1 (SP/MP)	Basic	Basic Decision. Encodings: normal LP + simple arithmetic and comparison operators
  2 (SP/MP)	Advanced	Advanced Decision. Encodings: full language, excepting optimization statements and non-HCF disjunction
  3 (SP/MP)	Optimization	Optimization. Encodings: full language with optimization statements, excepting non-HCF disjunction
  4 (SP/MP)	Unrestricted	Unrestricted. Encodings: full language

Instance Selection

Instances have been randomly selected from the already available official ASPCOMP 2013 suite: the piece of software used for this task is available here. The seed used for randomization is 13152024460108, as the concatenation of the winning numbers of the Euromillion lottery of Tuesday, 22nd April 2014 (see Euromillion Lottery website).

Benchmark Suite

Note: For descriptions and further details about problems please refer to the ASPCOMP 2013 Official Problem Suite, except for Partner Units, that comes from the ASPCOMP 2011 Official Problem Suite.