welcome: please sign in

Revision 12 as of 2013-09-06 13:27:04

Clear message
location: Participants

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

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_41.zip

claspD-2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_43.zip

claspD-2-asp-core2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_58.zip

claspD-2-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_44.zip

claspfolio

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_39.zip

claspfolio-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_40.zip

clasp-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_42.zip

IDP3

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_36.zip

LP2BV-1

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_51.zip

LP2BV-2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_61.zip

LP2MIP

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_52.zip

LP2MIP-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_62.zip

LP2SAT

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_49.zip

LP2SAT-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_63.zip

LP2SOLRED-mt

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_60.zip

DLV+WASP

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_57.zip

Model and Solve Track

Team Name

Run Package

B-Prolog

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_38.zip

Enfragmo

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_53.zip

ezcsp

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_47.zip

IDP2

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_37.zip

IDP3

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_54.zip

INCA

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_45.zip

Potassco

https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_46.zip