welcome: please sign in
location: Diff for "Participants/Potassco"
Differences between revisions 3 and 5 (spanning 2 versions)
⇤ ← Revision 3 as of 2011-05-17 10:54:29 →
Size: 1426
Editor: CarmenSantoro
Comment:
← Revision 5 as of 2011-05-17 11:18:03 → ⇥
Size: 4253
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 9: Line 9:
[[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: [[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:
Line 11: Line 11:
 * solver ''clasp''
 * solver ''claspD''
 * solver ''claspfolio''
 * grounder ''Gringo''		  * 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)
Line 16: Line 16:
Sources (and binaries) as well as detailed descriptions of the systems are available at the

[[http://potassco.sourceforge.net/|Potassco]] project page.		 Sources (and binaries) as well as detailed descriptions of the systems are available at the [[http://potassco.sourceforge.net/|Potassco]] project page.
Line 21: Line 19:
 * Benjamin Andres
Line 27: Line 26:
 * Yuliya Lierler
 * Oliver Matheis
Line 28: Line 29:
 * Orkunt Sabuncu
Line 32: Line 34:
== 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|| ||
Line 34: Line 75:
== System Settings ==
<<BR>>
||<(>System||<(>Version||<(>Command line||
||''clasp''||2.0.0-RC2||{{{shifter -q -ss -nS | gringo --shift | clasp --outf=1 --heuristic=Berkmin --berk-max=512}}}||
||''claspD''||1.1.1||{{{shifter -q -ss -nS | gringo | claspD}}}||
||''claspfolio''||1.0.0||{{{shifter -q -ss -nS | gringo --shift | clasp --outf=1 --auto}}}||		 Note that option names are automatically expanded if unambiguos, e.g., "--heu" stands for option "--heuristic".
Line 41: Line 77:

In all cases, the [[ToolsUtilities|shifter tool]] provided by the competition organizers was used to do basic syntactic language transformations of ASP-Core programs, and ''Gringo'' version 3.0.3 was used for grounding.		 Note also that we did not participate in problem 24 - AirportPickup.

Potassco

Contents

  1. Potassco
    1. Association
    2. Description
    3. Participants
    4. System Settings

Association

University of Potsdam, Germany

Description

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 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


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:

#

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.

ASP Competition 2011: Participants/Potassco (last edited 2011-05-23 07:30:36 by CarmenSantoro)