welcome: please sign in

Revision 48 as of 2011-05-23 14:45:09

Clear message
location: Participants

Participants

This is the complete list of the official participants to the Two Tracks of 3rd ASP Competition: follow related links for more details.

For the sake of reproducibility, a package with binaries, scripts and settings used for testing is also available for all participants.

System Track

System Name

Team

Run Package

claspD

Potassco (URL)

download

claspfolio

Potassco (URL)

download

clasp

Potassco (URL)

download

idp

IDP

download

Cmodels

Cmodels

download

sup

SUP

download

lp2diffz3

Aalto

download

lp2sat2gminisat

Aalto

download

lp2sat2minisat

Aalto

download

lp2sat2lminisat

Aalto

download

smodels

Aalto (URL)

download

Model and Solve Track

Team

Run Package

Aclasp

download

BPSolver

download

EZCSP

download

Fast Downward

download

IDP

download

Potassco (URL)

download