xorro benchmarks

To measure xorro performance we used 126 instances from eight classes (5 tight, 3 non-tight) where clingo’s solving time surpasses one second. These benchmarks problems were taken from the second ASP competition, using encodings by the Potassco team.

No encoding or instance has been modified, just parity constraints are appended.

The collection of all problem encodings and instances can be downloaded here:

Extended benchmarks and experiment results