#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://www.cs.uni-potsdam.de/clasp/|URL]].  
 * Reference [[http://www.cs.uni-potsdam.de/wv/bibtex/gekasc12b.bib|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.