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.