Claspfolio

Association:

University of Potsdam

Description:

Claspfolio is a portfolio solver based on clasp and the Potassco Toolbox.

Participant:

• Stefan Ziller

System settings:

For grounding we use gringo with the encodings from Potassco. Claspfolio is a python-script which predict (by using R) the best options for clasp an run this to solve the problem. For all instances the same Claspfolio will be used. First we use claspre to analyse the instance to predict the configuration of clasp used to solve. Sources of the systems are publicly available at the Potassco project page or claspre In most cases we use Gringo + Claspre + Clasp. Only for Grammar-Based Information Extraction we use Bingo + Claspre + Clasp. This did not help since no competition instances of this benchmark could be solved.