welcome: please sign in
location: Diff for "Participants\clasp-mt"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2013-05-23 22:02:00 →
Size: 1008
Editor: FrancescoCalimeri
Comment:
← Revision 2 as of 2013-05-26 15:03:29 → ⇥
Size: 1006
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
 * Benjamin Kaufmann (University of Potsdam)  * Benjamin Kaufmann (University of Potsdam)
Line 30: Line 30:
 * 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.  * 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.

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.

ASP Competition 2013: Participants\clasp-mt (last edited 2013-05-26 15:03:29 by FrancescoCalimeri)