Team	Institution	Language	User account	Server code
IDP	KU Leuven	IDP	asp01	20001
Potassco	University of Potsdam	ASP	asp02	20001
DLV	University of Calabria	ASP	asp03	20001
Claspfolio	University of Potsdam	ASP	asp04	20001
Smodels-IE	University of Bath	ASP	asp05	20001
ASPeRiX	University of Angers	ASP	asp07	20001
Cmodels	University of Texas at Austin	ASP	asp08	20001
Sup	University of Texas at Austin	ASP	asp09	20001
bpsolver-CLP(FD)	International	CLP(FD)	asp11	20001
Enfragmo	Simon Fraser University, Computational Logic Laboratory	FO	asp12	20001
LP2DIFF+BCLT	Helsinki University of Technology TKK	ASP	asp13	20001
LP2SAT+MINISAT	Helsinki University of Technology TKK	ASP	asp14	20001
LP2DIFF+YICES	Helsinki University of Technology TKK	ASP	asp15	20001
pbmodels	University of Kentucky University of Texas at Tyler Microsoft	ASP	asp16	20001
sabe	University of Kentucky University of Texas at Tyler Microsoft	ASP	asp17	20001
amsolver	University of Kentucky University of Texas at Tyler Microsoft	ASP	asp18	20001