welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Revision 51 as of 2011-06-25 10:11:35

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 submitted by participants during the Competition is available.

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