#acl EditorsGroup:read,write,delete,revert,admin All:
= Potassco =
<<TableOfContents>>

== Association ==
University of Potsdam, Germany

== Description ==
[[http://potassco.sourceforge.net/|Potassco]],  the "Potsdam Answer Set Solving Collection", bundles tools for Answer Set Programming developed at the University of Potsdam. It includes:

 * solver clasp (version 2.0.0-RC2)
 * solver claspD (version 1.1.1)
 * grounder Gringo (version 3.0.3)
 * grounder + (constraint) solver Clingcon (version 0.1.2)

Sources (and binaries) as well as detailed descriptions of the systems are available at the [[http://potassco.sourceforge.net/|Potassco]] project page.

== Participants ==
 * Benjamin Andres
 * Christian Drescher
 * Martin Gebser
 * Torsten Grote
 * Roland Kaminski
 * Benjamin Kaufmann
 * Arne König
 * Yuliya Lierler
 * Oliver Matheis
 * Max Ostrowski
 * Orkunt Sabuncu
 * Torsten Schaub
 * Marius Schneider
 * Sven Thiele

== System Settings ==
<<BR>>

For problems solved with either ''clasp'' or ''claspD'', we ran ''Gringo''          (default settings) for grounding,         while ''Clingcon'' extends and embeds ''Gringo'' to perform grounding internally.                 The following table provides an overview of the systems (omitting ''Gringo'')         and solver parameters we used:

||<rowbgcolor="#cccccc">#||<(>Problem Name||<(>Problem Type||<(>System||<(>Parameters||
||01||CrossingMinimization||Optimization||clasp||--restart-on-m --sat-p=20,25,120 --opt-heu=2||
||02||Reachability||P||clasp|| ||
||03||StrategicCompanies||Beyond NP||claspD||--approx-usc=no --del=3,1.1,100 --forward-check=1.0||
||04||CompanyControls||P||clasp|| ||
||05||CompanyControlsOptimize||Optimization||clasp||--restart-on-m --opt-heu=2||
||06||GrammarBasedInformationExtraction||P||clasp|| ||
||07||GeneralizedSlitherlink||NP||clasp||--backprop --dinit=800,10000||
||08||FastfoodOptimalityCheck||NP||clasp|| ||
||09||FastfoodOptimization||Optimization||clasp||--restart-on-m --opt-heu=1 --sat-p=20,25,120||
||10||SokobanDecision||NP||clasp||--sat-p=20,25,120 --tr=dynamic --heu=VSIDS --dinit=800,10000||
||11||SokobanOptimization||Optimization||clasp||--solu --reset-restart --heu=VSIDS||
||12||KnightTour||NP||clasp||--restarts=256 --save-p --heu=VSIDS --dinit=800,10000||
||13||DisjunctiveScheduling||NP||clingcon||--csp-num-as=1 --restarts=no||
||14||PackingProblem||NP||clasp||--heu=VSIDS --sat-p=20,25,120 --dinit=800,10000 --restarts=256 --save-p||
||15||Tomography||Optimization||clasp||--restart-on-model --dinit=1000,10000  --berk-once --reset-r --del=0.05,1.1,100 --dsched=5000,1.1 --otfs=1||
||16||MaximalClique||Optimization||clasp||--restart-on-model --reset-r||
||17||Labyrinth||NP||clasp||--backprop --dinit=1000,10000 --dsched=20000,1.1 --sat-p=20,25,120||
||18||MinimalDiagnosis||Beyond NP||claspD|| ||
||20||Numberlink||NP||clasp||--backprop --dinit=1000,10000 --dsched=20000,1.1 --sat-p=20,25,120||
||21||ReverseFolding||NP||clasp||--restarts=512 --sat-p=20,5,120,-1,0 --dinit=1500,5000 --dglue=2 --update-lbd --dsched=2048 --otfs=1||
||22||HanoiTower||NP||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||23||MagicSquareSets||NP||clasp|| ||
||25||GraphColouring||NP||clasp||--sat-p=20,25,120 --tr=dynamic --initial-look=10 --restarts=no --dinit=800,10000||
||26||Solitaire||NP||clasp||--restarts=256 --save-p --heu=VSIDS --dinit=800,10000||
||27||PartnerUnits||NP||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||28||WeightAssignmentTree||NP||clingcon||--csp-num-as=1||
||30||HydraulicLeaking||P||clasp|| ||
||31||HydraulicPlanning||P||clasp|| ||
||32||StableMarriage||P||clasp||--restarts=256 --save-p --heu=VSIDS --dinit=800,10000||
||33||MazeGeneration||NP||clasp||--heu=VSIDS --del=3,1.1,1000 --restarts=100,1.5,20000 --local-r --dinit=800,10000||
||34||PartnerUnitsPolynomial||P||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||35||IncrementalScheduling||NP||clingcon||--csp-num-as=1 --restarts=no||
||36||Tangram||NP||clasp|| ||


Note that option names are automatically expanded if unambiguos, e.g., 	"--heu" stands for option "--heuristic".

Note also that we did not participate in problem 24 - AirportPickup.