welcome: please sign in
location: Diff for "Participants"
Differences between revisions 33 and 51 (spanning 18 versions)
Revision 33 as of 2011-05-22 09:48:41
Size: 1984
Comment:
Revision 51 as of 2011-06-25 10:11:35
Size: 3839
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
== Participants == = 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 package with binaries, scripts and settings submitted by participants during the Competition is available.
Line 4: Line 8:
<<BR>>
||<
tablewidth="307px" tableheight="228px" tablestyle="">'''System Name''' ||'''Team''' ||'''Web Site''' ||
||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">idp ||[[Participants/IDP|IDP]] || ||
||<style="font-weight: bold; text-align: center;">cmodels ||[[Participants/Cmodels|Cmodels]] || ||
||<style="font-weight: bold; text-align: center;">sup ||[[Participants/SUP|SUP]] || ||
||<style="font-weight: bold; text-align: center;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat ||[[Participants/Aalto_lp2sat2gminisat |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat ||[[Participants/Aalto_lp2sat2minisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat ||[[Participants/Aalto_lp2sat2lminisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">smodels ||[[Participants/Aalto_smodels |Aalto]]||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-idp.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-cmodels.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-sup.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2diffz3.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2gminisat.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2minisat.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2lminisat.zip|download]] ||
||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-smodels.zip|download]] ||
Line 19: Line 23:
<<BR>>
||<tablewidth="20%">'''Team''' ||'''Web Site''' ||
||[[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]] ||
||<tablewidth="480px" tableheight="32px">'''Team''' ||'''Run Package''' ||
||'''[[Participants/aclasp|Aclasp]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Aclasp.zip|download]] ||
||'''[[Participants/BPSolver|BPSolver]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-BPSolver.zip|download]] ||
||'''[[Participants/EZCSP|EZCSP]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-EZCSP.zip|download]] ||
||'''[[Participants/FastDownward|Fast Downward]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Fast_Downward.zip|download]] ||
||'''[[Participants/Model&Solve-IDP|IDP]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-IDP.zip|download]] ||
||'''[[Participants/Potassco|Potassco]]''' ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Potassco.zip|download]] ||

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 package with binaries, scripts and settings submitted by participants during the Competition is available.

System Track

System Name

Team

Run Package

claspD

Potassco (URL)

download

claspfolio

Potassco (URL)

download

clasp

Potassco (URL)

download

idp

IDP

download

Cmodels

Cmodels

download

sup

SUP

download

lp2diffz3

Aalto

download

lp2sat2gminisat

Aalto

download

lp2sat2minisat

Aalto

download

lp2sat2lminisat

Aalto

download

smodels

Aalto (URL)

download

Model and Solve Track

Team

Run Package

Aclasp

download

BPSolver

download

EZCSP

download

Fast Downward

download

IDP

download

Potassco (URL)

download

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