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

= claspfolio(-mt) / Potassco =

== Team ==

 * Roland Kaminski
 * Martin Gebser
 * Benjamin Kaufmann
 * Torsten Schaub
 * Marius Schneider

== Description ==

claspfolio uses:

 * python2.7
 * language asp-core 2 <BR>
 # grounder: gringo (4.0) <BR>
 # feature extractor: claspre (2.0) <BR>
 # algorithm selector: k-means <BR>
 # solver: clasp 2.1.x configurations 

== System Settings ==

 * maximal time for feature computation: 60 seconds
 * feature normalization: z-score
 * feature selection 
 * presolver
 * portfolio size: 12

caspfolio-mt:
 * at most 3 clasp configuration ran in parallel (without communication)
 
== References ==

 * Participant [[http://www.cs.uni-potsdam.de/wv/claspfolio/|URL]].  
 * Reference [[http://www.cs.uni-potsdam.de/wv/bibtex/gekakascsczi11a.bib|URL]]
 * Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Schneider and Stefan Ziller. ''A Portfolio Solver for Answer Set Programming: Preliminary Report''. In J. Delgrande and W. Faber. Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), LNAI 6645, S. 352-357, Springer Verlag, 2011.