Problem instances

The collection of all problem instances can be downloaded now, as a tar.gzip file:

Problem instances(45 Mb)

Encodings of Benchmarks

A number of participants made their encodings of benchmarks available.
They can be downloaded from the following table.

Team	Language
IDP	FO(.)
Potassco (corrected versions of Labyrinth and EdgeMatching)	ASP
DLV	ASP
ASpeRiX	ASP