|
Size: 4460
Comment:
|
Size: 344
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| 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 === ##||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' || ||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Run Package''' || || [[Participants\clasp|clasp]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_41.zip]] || || [[Participants\claspD-2|claspD-2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_43.zip]] || || [[Participants\claspD-2-asp-core2|claspD-2-asp-core2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_58.zip]] || || [[Participants\claspD-2-mt|claspD-2-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_44.zip]] || || [[Participants\claspfolio(-mt)|claspfolio]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_39.zip]] || || [[Participants\claspfolio(-mt)|claspfolio-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_40.zip]] || || [[Participants\clasp-mt|clasp-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_42.zip]] || || [[Participants\IDP3|IDP3]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_36.zip]] || || [[Participants\LP2BV-1|LP2BV-1]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_51.zip]] || || [[Participants\LP2BV-2|LP2BV-2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_61.zip]] || || [[Participants\LP2MIP|LP2MIP]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_52.zip]] || || [[Participants\LP2MIP-mt|LP2MIP-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_62.zip]] || || [[Participants\LP2SAT|LP2SAT]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_49.zip]] || || [[Participants\LP2SAT-mt|LP2SAT-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_63.zip]] || || [[Participants\LP2SOLRED-mt|LP2SOLRED-mt]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_60.zip]] || || [[Participants\WASP|DLV+WASP]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_57.zip]] || === Model and Solve Track === ||<tablewidth="480px" tableheight="32px">'''Team Name''' ||'''Run Package''' || || [[Participants\B-Prolog|B-Prolog]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_38.zip]] || || [[Participants\Enfragmo|Enfragmo]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_53.zip]] || || [[Participants\ezcsp|ezcsp]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_47.zip]] || || [[Participants\IDP2|IDP2]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_37.zip]] || || [[Participants\IDP3|IDP3]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_54.zip]] || || [[Participants\INCA|INCA]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_45.zip]] || || [[Participants\Potassco|Potassco]] || [[https://www.mat.unical.it/aspcomp2013/files/links/submissions/aspcomp2013_submission_46.zip]] || |
This will be the complete list of the official participants to the 5th ASP Competition. For the sake of reproducibility, package with binaries, scripts and settings submitted by each participants during the Competition will be made available after the Competition. |
Participants
This will be the complete list of the official participants to the 5th ASP Competition. For the sake of reproducibility, package with binaries, scripts and settings submitted by each participants during the Competition will be made available after the Competition.