Clingcon Benchmarks
Clingcon is a hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode.

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«.

Paper Citation

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.

SourceForge.net Logo Valid XHTML 1.0 Strict Valid CSS!