welcome: please sign in
location: Diff for "Participants/Potassco"
Differences between revisions 5 and 6
⇤ ← Revision 5 as of 2011-05-17 11:18:03 →
Size: 4253
Editor: CarmenSantoro
Comment:
← Revision 6 as of 2011-05-17 11:20:07 → ⇥
Size: 4243
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 35: Line 35:
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:
Line 36: Line 37:

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:
Line 40: Line 38:
||01||CrossingMinimization||Optimization||clasp||--restart-on-m --sat-p=20,25,120 --opt-heu=2|| ||01||Crossing Minimization||Optimization||clasp||--restart-on-m --sat-p=20,25,120 --opt-heu=2||
Line 42: Line 40:
||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||		 ||03||Strategic Companies||Beyond NP||claspD||--approx-usc=no --del=3,1.1,100 --forward-check=1.0||
||04||Company Controls||P||clasp|| ||
||05||Company Controls Optimize||Optimization||clasp||--restart-on-m --opt-heu=2||
||06||Grammar Based Information Extraction||P||clasp|| ||
||07||Generalized Slitherlink||NP||clasp||--backprop --dinit=800,10000||
||08||Fastfood Optimality Check||NP||clasp|| ||
||09||Fastfood Optimization||Optimization||clasp||--restart-on-m --opt-heu=1 --sat-p=20,25,120||
||10||Sokoban Decision||NP||clasp||--sat-p=20,25,120 --tr=dynamic --heu=VSIDS --dinit=800,10000||
||11||Sokoban Optimization||Optimization||clasp||--solu --reset-restart --heu=VSIDS||
||12||Knight Tour||NP||clasp||--restarts=256 --save-p --heu=VSIDS --dinit=800,10000||
||13||Disjunctive Scheduling||NP||clingcon||--csp-num-as=1 --restarts=no||
Line 55: Line 53:
||16||MaximalClique||Optimization||clasp||--restart-on-model --reset-r|| ||16||Maximal Clique||Optimization||clasp||--restart-on-model --reset-r||
Line 57: Line 55:
||18||MinimalDiagnosis||Beyond NP||claspD|| || ||18||Minimal Diagnosis||Beyond NP||claspD|| ||
Line 59: Line 57:
||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||		 ||21||Reverse Folding||NP||clasp||--restarts=512 --sat-p=20,5,120,-1,0 --dinit=1500,5000 --dglue=2 --update-lbd --dsched=2048 --otfs=1||
||22||Hanoi Tower||NP||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||23||Magic Square Sets||NP||clasp|| ||
||25||Graph Colouring||NP||clasp||--sat-p=20,25,120 --tr=dynamic --initial-look=10 --restarts=no --dinit=800,10000||
Line 64: Line 62:
||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||		 ||27||Partner Units||NP||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||28||Weight-Assignment Tree||NP||clingcon||--csp-num-as=1||
||30||Hydraulic Leaking||P||clasp|| ||
||31||Hydraulic Planning||P||clasp|| ||
||32||Stable Marriage||P||clasp||--restarts=256 --save-p --heu=VSIDS --dinit=800,10000||
||33||Maze Generation||NP||clasp||--heu=VSIDS --del=3,1.1,1000 --restarts=100,1.5,20000 --local-r --dinit=800,10000||
||34||Partner Units Polynomial||P||clasp||--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000||
||35||Incremental Scheduling||NP||clingcon||--csp-num-as=1 --restarts=no||

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

Crossing Minimization

Optimization

clasp

--restart-on-m --sat-p=20,25,120 --opt-heu=2

02

Reachability

P

clasp

03

Strategic Companies

Beyond NP

claspD

--approx-usc=no --del=3,1.1,100 --forward-check=1.0

04

Company Controls

P

clasp

05

Company Controls Optimize

Optimization

clasp

--restart-on-m --opt-heu=2

06

Grammar Based Information Extraction

P

clasp

07

Generalized Slitherlink

NP

clasp

--backprop --dinit=800,10000

08

Fastfood Optimality Check

NP

clasp

09

Fastfood Optimization

Optimization

clasp

--restart-on-m --opt-heu=1 --sat-p=20,25,120

10

Sokoban Decision

NP

clasp

--sat-p=20,25,120 --tr=dynamic --heu=VSIDS --dinit=800,10000

11

Sokoban Optimization

Optimization

clasp

--solu --reset-restart --heu=VSIDS

12

Knight Tour

NP

clasp

--restarts=256 --save-p --heu=VSIDS --dinit=800,10000

13

Disjunctive Scheduling

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

Maximal Clique

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

Minimal Diagnosis

Beyond NP

claspD

20

Numberlink

NP

clasp

--backprop --dinit=1000,10000 --dsched=20000,1.1 --sat-p=20,25,120

21

Reverse Folding

NP

clasp

--restarts=512 --sat-p=20,5,120,-1,0 --dinit=1500,5000 --dglue=2 --update-lbd --dsched=2048 --otfs=1

22

Hanoi Tower

NP

clasp

--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000

23

Magic Square Sets

NP

clasp

25

Graph Colouring

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

Partner Units

NP

clasp

--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000

28

Weight-Assignment Tree

NP

clingcon

--csp-num-as=1

30

Hydraulic Leaking

P

clasp

31

Hydraulic Planning

P

clasp

32

Stable Marriage

P

clasp

--restarts=256 --save-p --heu=VSIDS --dinit=800,10000

33

Maze Generation

NP

clasp

--heu=VSIDS --del=3,1.1,1000 --restarts=100,1.5,20000 --local-r --dinit=800,10000

34

Partner Units Polynomial

P

clasp

--sat-p=20,25,120 --heu=VSIDS --dinit=800,10000

35

Incremental Scheduling

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)