Benchmarks

The definition of requirements and application cases is an important stage of the project. The main goal of this work package is the identification of appropriate problems and their instances based on selected real-world problems. As a result we selected sets of abstract problems including the Partner Units configuration problem and the House (re)configuration problem, which were proposed by the industrial partner. For each problem a set of test cases was generated containing easy, moderate and hard problem instances. Some of these instances can be downloaded below.

The Partner Units problem was present as a benchmark instance at the Third International Answer Set Programming Competition 2011. Its set of instances as well as a problem specification can be downloaded here:

https://www.mat.unical.it/aspcomp2011/OfficialProblemSuite 

partnerunits-problem.pdf (97 KB)

The instances of the House (re)configuration problem can be downloaded here:InstancesHouseReconfiguration.zip (65 KB)

The instances and programs for the Reviewer Assignment Problem (RAP) are published on a dedicated website. The technical report describing the approach and evaluation results can be downloaded here: RAPtechreport.pdf (508 KB)