#acl EditorsGroup:read,write,delete,revert,admin All: == Participants == === System Track === <
> ||'''System Name''' ||'''Team''' ||'''Web Site''' || ||claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || ||claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || ||clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || ||idp ||[[Participants/IDP|IDP]] || || ||cmodels ||[[Participants/Cmodels|Cmodels]] || || ||lp2diffz3 || || || ||sup ||[[Participants/SUP|SUP]] || || ||lp2sat2gminisat || || || ||lp2sat2minisat || || || ||lp2sat2lminisat || || || ||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]] ||