claspfolio(-mt) / Potassco

Team

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

Description

claspfolio uses:

• python2.7
• language asp-core 2 # grounder: gringo (4.0) # feature extractor: claspre (2.0) # algorithm selector: k-means # 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 URL.

• Reference 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.