System Name
Team
claspD
Potassco (URL)
claspfolio
clasp
idp
IDP
Cmodels
sup
SUP
lp2diffz3
Aalto
lp2sat2gminisat
lp2sat2minisat
lp2sat2lminisat
smodels
Aalto (URL)
Web Site
Aclasp
BPSolver
EZCSP
Fast Downward
Potassco
URL