#acl EditorsGroup:read,write,delete,revert,admin All:read == Participants == === System Track === <
> ||'''System Name''' ||'''Team''' || ||[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||[[Participants/IDP|idp]] ||IDP || ||[[Participants/Cmodels|Cmodels]] ||Cmodels || ||[[Participants/SUP|sup]] ||SUP || ||[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto || ||[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto || ||[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto || ||[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto || ||[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) || === Model and Solve Track === <
> ||'''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]] ||