welcome: please sign in
location: Diff for "Participants"
Differences between revisions 1 and 34 (spanning 33 versions)
Revision 1 as of 2011-05-10 15:30:19
Size: 328
Comment:
Revision 34 as of 2011-05-22 09:56:33
Size: 2016
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All:

== Partecipants ==
#acl EditorsGroup:read,write,delete,revert,admin All:read
== Participants ==
=== System Track ===
<<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 - 1]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco - 2]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco - 3]] ||[[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 - 1]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat ||[[Participants/Aalto_lp2sat2gminisat |Aalto - 2]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat ||[[Participants/Aalto_lp2sat2minisat |Aalto - 3]]|| ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat ||[[Participants/Aalto_lp2sat2lminisat |Aalto - 4]]|| ||
||<style="font-weight: bold; text-align: center;">smodels ||[[Participants/Aalto_smodels |Aalto - 5]]||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
Line 7: Line 19:



=== System Track ===
Line 13: Line 20:
||'''System Name'''||'''URL'''||
||Potassco||[[http://potassco.sourceforge.net/|URL]]||
||Cmodels||||
||IDP||||
||Smodels||[[http://www.tcs.hut.fi/Software/smodels/|URL]]||
||<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]] ||

Participants

System Track


System Name

Team

Web Site

claspd

Potassco - 1

URL

claspfolio

Potassco - 2

URL

clasp

Potassco - 3

URL

idp

IDP

cmodels

Cmodels

sup

SUP

lp2diffz3

Aalto - 1

lp2sat2gminisat

Aalto - 2

lp2sat2minisat

Aalto - 3

lp2sat2lminisat

Aalto - 4

smodels

Aalto - 5

URL

Model and Solve Track


Team

Web Site

Aclasp

BPSolver

EZCSP

Fast Downward

IDP

Potassco

URL

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