welcome: please sign in
location: Diff for "Participants"
Differences between revisions 1 and 4 (spanning 3 versions)
⇤ ← Revision 1 as of 2012-05-07 16:10:32 →
Size: 598
Editor: PatrikSchneider
Comment: Stub
← Revision 4 as of 2013-05-23 17:16:02 → ⇥
Size: 2246
Editor: FrancescoCalimeri
Comment: add m&s partcpts.
Deletions are marked like this. Additions are marked like this.
Line 8: Line 8:
||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' || ##||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' ||
||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Run Package''' ||
|| [[Participants\clasp|clasp]] || - ||
|| [[Participants\claspD|claspD]] || - ||
|| [[Participants\claspD-asp-core2|claspD-asp-core2]] || - ||
|| [[Participants\claspD-mt|claspD-mt]] || - ||
|| [[Participants\claspfolio|claspfolio]] || - ||
|| [[Participants\claspfolio-mt|claspfolio-mt]] || - ||
|| [[Participants\clasp-mt|clasp-mt]] || - ||
|| [[Participants\IDP3|IDP3]] || - ||
|| [[Participants\LP2BV-1|LP2BV-1]] || - ||
|| [[Participants\LP2BV-2|LP2BV-2]] || - ||
|| [[Participants\LP2MIP|LP2MIP]] || - ||
|| [[Participants\LP2MIP-mt|LP2MIP-mt]] || - ||
|| [[Participants\LP2SAT|LP2SAT]] || - ||
|| [[Participants\LP2SAT-mt|LP2SAT-mt]] || - ||
|| [[Participants\LP2SOLRED-mt|LP2SOLRED-mt]] || - ||
|| [[Participants\WASP|WASP]] || - ||
Line 12: Line 30:
|| [[Participants\B-Prolog|B-Prolog]] || - ||
|| [[Participants\Enfragmo|Enfragmo]] || - ||
|| [[Participants\ezcsp|ezcsp]] || - ||
|| [[Participants\IDP2|IDP2]] || - ||
|| [[Participants\IDP3|IDP3]] || - ||
|| [[Participants\INCA|INCA]] || - ||
|| [[Participants\Potassco|Potassco]] || - ||

Participants

This will be the complete list of the official participants to the Two Tracks of 4th 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 will be available.

System Track

System Name

Run Package

clasp

-

claspD

-

claspD-asp-core2

-

claspD-mt

-

claspfolio

-

claspfolio-mt

-

clasp-mt

-

IDP3

-

LP2BV-1

-

LP2BV-2

-

LP2MIP

-

LP2MIP-mt

-

LP2SAT

-

LP2SAT-mt

-

LP2SOLRED-mt

-

WASP

-

Model and Solve Track

Team

Run Package

B-Prolog

-

Enfragmo

-

ezcsp

-

IDP2

-

IDP3

-

INCA

-

Potassco

-

ASP Competition 2013: Participants (last edited 2013-09-06 13:44:57 by FrancescoCalimeri)