Experiments for the paper »ASP modulo CSP: The clingcon system«
This section provides the selected benchmark instances and results for the paper »ASP modulo CSP: The clingcon system«.
All tests were made for clingcon-2.0.0-RC1 on a 24x8 core cluster, with 2.27GHz PC under Linux, each individual run restricted to 4GB RAM and 900 seconds. Most of the problems were taken from the ASP Competition 2011.
The instances can be found here.
The results can be found at here.
To access old benchmarks results, click here.