clasp-mt

Team

Benjamin Kaufmann (University of Potsdam)
Torsten Schaub (University of Potsdam)
Marius Schneider (University of Potsdam)
Martin Gebser (University of Potsdam)
Roland Kaminski (University of Potsdam)

Description

clasp-mt is the multi-threaded version of the ASP solver clasp.

System Settings

Version: clasp-2.1.2
Grounder: gringo-3.0.5
Encodings: gringo-3
Num Threads: 6
Mode: Portfolio (given in portfolio.txt)
Options: --restart-on-model --backprop --sat-prepro=20,50,80,50,1,2000000 --trans-ext=dynamic

References

Participant URL.
Reference URL
M. Gebser and B. Kaufmann and T. Schaub, Multi-threaded ASP Solving with clasp, Theory and Practice of Logic Programming, 2012, vol. 12, num 4-5, pp. 525-545.