welcome: please sign in
location: Diff for "Participants"
Differences between revisions 31 and 38 (spanning 7 versions)
⇤ ← Revision 31 as of 2011-05-18 20:16:40 →
Size: 1980
Editor: CarmenSantoro
Comment:
← Revision 38 as of 2011-05-22 10:13:59 → ⇥
Size: 1983
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read
Line 3: Line 3:
This is the complete list of the participants to the Official Tracks of 3rd ASP Competition. Follow related links for more details on systems and teams.
Line 4: Line 6:
<<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;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">sup ||[[Participants/SUP|SUP]] || ||
||<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="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]]) ||
Line 19: Line 20:
<<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="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]]) ||

Participants

This is the complete list of the participants to the Official Tracks of 3rd ASP Competition. Follow related links for more details on systems and teams.

System Track

System Name

Team

claspD

Potassco (URL)

claspfolio

Potassco (URL)

clasp

Potassco (URL)

idp

IDP

Cmodels

Cmodels

sup

SUP

lp2diffz3

Aalto

lp2sat2gminisat

Aalto

lp2sat2minisat

Aalto

lp2sat2lminisat

Aalto

smodels

Aalto (URL)

Model and Solve Track

Team

Aclasp

BPSolver

EZCSP

Fast Downward

IDP

Potassco (URL)

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