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

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, package with binaries, scripts and settings submitted by each participants during the Competition is 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