welcome: please sign in
location: Diff for "Participants"
Differences between revisions 40 and 42 (spanning 2 versions)
⇤ ← Revision 40 as of 2011-05-22 10:15:12 →
Size: 1966
Editor: FrancescoCalimeri
Comment:
← Revision 42 as of 2011-05-23 14:31:45 → ⇥
Size: 2462
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. For the sake of reproducibility, a packages with binaries, scripts and settings used for testing is also available for all participants.
Line 6: Line 6:
||<tablewidth="307px" tableheight="228px">'''System Name''' ||'''Team''' ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP ||
||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels ||
||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) ||		 ||<tablestyle="width: 480px; height: 567px;">'''System Name''' ||'''Team''' ||'''Run Package''' ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto ||AVAILABLE SOON ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) ||AVAILABLE SOON ||
Line 20: Line 21:
||<tablewidth="20%">'''Team''' ||
||[[Participants/aclasp|Aclasp]] ||
||[[Participants/BPSolver|BPSolver]] ||
||[[Participants/EZCSP|EZCSP]] ||
||[[Participants/FastDownward|Fast Downward]] ||
||[[Participants/Model&Solve-IDP|IDP]] ||
||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) ||		 ||<tablestyle="width: 480px; height: 198px;">'''Team''' ||'''Run Package''' ||
||[[Participants/aclasp|Aclasp]] ||AVAILABLE SOON ||
||[[Participants/BPSolver|BPSolver]] ||AVAILABLE SOON ||
||[[Participants/EZCSP|EZCSP]] ||AVAILABLE SOON ||
||[[Participants/FastDownward|Fast Downward]] ||AVAILABLE SOON ||
||[[Participants/Model&Solve-IDP|IDP]] ||AVAILABLE SOON ||
||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) ||AVAILABLE SOON ||

Participants

This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition. Follow related links for more details. For the sake of reproducibility, a packages with binaries, scripts and settings used for testing is also available for all participants.

System Track

System Name

Team

Run Package

claspD

Potassco (URL)

AVAILABLE SOON

claspfolio

Potassco (URL)

AVAILABLE SOON

clasp

Potassco (URL)

AVAILABLE SOON

idp

IDP

AVAILABLE SOON

Cmodels

Cmodels

AVAILABLE SOON

sup

SUP

AVAILABLE SOON

lp2diffz3

Aalto

AVAILABLE SOON

lp2sat2gminisat

Aalto

AVAILABLE SOON

lp2sat2minisat

Aalto

AVAILABLE SOON

lp2sat2lminisat

Aalto

AVAILABLE SOON

smodels

Aalto (URL)

AVAILABLE SOON

Model and Solve Track

Team

Run Package

Aclasp

AVAILABLE SOON

BPSolver

AVAILABLE SOON

EZCSP

AVAILABLE SOON

Fast Downward

AVAILABLE SOON

IDP

AVAILABLE SOON

Potassco (URL)

AVAILABLE SOON

ASP Competition 2011: Participants (last edited 2011-06-25 10:11:35 by GiovambattistaIanni)