#acl EditorsGroup:read,write,delete,revert,admin All: == Participants == === System Track === <
> ||'''System Name''' ||'''Team''' ||'''Web Site''' || ||claspd || || || ||claspfolio || || || ||clasp || || || ||idp || || || ||cmodels || || || ||lp2diffz3 || || || ||sup || || || ||lp2sat2gminisat || || || ||lp2sat2minisat || || || ||lp2sat2lminisat || || || ||smodels || || || ||[[Participants/Cmodels|Cmodels]] || || || ||[[Participants/IDP|IDP]] || || || ||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] || ||[[http://potassco.sourceforge.net/|URL]] || ||[[Participants/SUP|SUP]] || || || ||Smodels || ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || === Model and Solve Track === <
> ||'''Team''' ||'''Web Site''' || ||[[Participants/aclasp|Aclasp]] || || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/Model&Solve-IDP|IDP]] || || ||[[Participants/Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||