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:
- instances with parity constraints
- instances with parity constraints with GJE preprocessed
- instances with parity constraints with split and GJE preprocessed
Extended benchmarks and experiment results