Competition Tracks and Benchmark Suite

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, the competition is hence structured into four tracks:

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

Benchmark Suite

Track 1

• 15 Stable Marriage
• 20 Visit-all
• 22 Knight Tour with Holes
• 24 Labyrinth
• 26 Hanoi Tower
• 27 Graph Colouring

Track 2

• 01 Permutation Pattern Matching
• 05 Graceful Graphs
• 06 Bottle Filling Problem
• 07 Nomystery
• 08 Sokoban
• 09 Ricochet Robots
• 11 Reachability
• 13 Solitaire
• 14 Weighted-Sequence Problem
• 16 Incremental Scheduling
• 17 Qualitative Spatial Reasoning
• 20 Visit-all
• 22 Knight Tour with Holes
• 26 Hanoi Tower
• 27 Graph Colouring
• 28 Partner Units (Polynomial)

Track 3

• 02 Valves Location Problem
• 04 Connected Maximum-density Still Life
• 10 Crossing Minimization
• 23 Maximal Clique Problem

Track 4

• 12 Strategic Companies
• 19 Abstract Dialectical Frameworks Well-founded Model
• 21 Complex Optimization of Answer Sets
• 25 Minimal Diagnosis