#acl EditorsGroup:read,write,delete,revert,admin All:read
== Participants ==
=== System Track ===
<<BR>>
||<tablewidth="307px" tableheight="228px" tablestyle="">'''System Name''' ||'''Team''' ||
||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|claspD]]	|| Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]]	|| Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|clasp]]	|| Potassco ([[http://potassco.sourceforge.net/|URL]]) ||
||<style="font-weight: bold; text-align: center;">[[Participants/IDP|idp]]				|| IDP	 ||
||<style="font-weight: bold; text-align: center;">[[Participants/Cmodels|Cmodels]]			|| Cmodels ||
||<style="font-weight: bold; text-align: center;">[[Participants/SUP|sup]]				|| SUP	||
||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2diffz3      |lp2diffz3 ]]	|| Aalto ||
||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]]|| Aalto ||
||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2minisat |lp2sat2minisat]]	|| Aalto ||
||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]]|| Aalto ||
||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_smodels |smodels	]]		|| Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) ||

=== Model and Solve Track ===
<<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]] ||