|
Size: 911
Comment:
|
Size: 3835
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| #acl EditorsGroup:read,write,delete,revert,admin All: | #acl EditorsGroup:read,write,delete,revert,admin All:read |
| Line 3: | Line 3: |
| === Model and Solve Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''URL''' || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/aclasp|aclasp]] || || |
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 used for testing is also available for all participants. === System Track === ||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspd.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-claspfolio.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-clasp.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-idp.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-cmodels.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-sup.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2diffz3.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2gminisat.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2minisat.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2lminisat.zip|download]] || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-smodels.zip|download]] || |
| Line 10: | Line 22: |
=== System Track === <<BR>> ||<tablewidth="20%">'''System Name''' ||'''URL''' || ---- /!\ '''Edit conflict - other version:''' ---- ||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|Potassco|URL]] || ---- /!\ '''Edit conflict - your version:''' ---- ||[[Participants/Potassco|Potassco]]||[[http://potassco.sourceforge.net/|URL]] || ---- /!\ '''End of edit conflict''' ---- ||Cmodels || || ||IDP || || ||Smodels ||[[http://www.tcs.hut.fi/Software/smodels/|URL]] || ---- /!\ '''Edit conflict - other version:''' ---- ---- /!\ '''Edit conflict - your version:''' ---- ---- /!\ '''End of edit conflict''' ---- |
=== Model and Solve Track === ||<tablewidth="480px" tableheight="32px">'''Team''' ||'''Run Package''' || ||'''[[Participants/aclasp|Aclasp]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Aclasp.zip|download]] || ||'''[[Participants/BPSolver|BPSolver]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-BPSolver.zip|download]] || ||'''[[Participants/EZCSP|EZCSP]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-EZCSP.zip|download]] || ||'''[[Participants/FastDownward|Fast Downward]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Fast_Downward.zip|download]] || ||'''[[Participants/Model&Solve-IDP|IDP]]''' ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-IDP.zip|download]] || ||'''[[Participants/Potassco|Potassco]]''' ([[http://potassco.sourceforge.net/|URL]]) ||[[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Potassco.zip|download]] || |
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 used for testing is also available for all participants.
System Track
System Name |
Team |
Run Package |
Potassco (URL) |
||
Potassco (URL) |
||
Potassco (URL) |
||
IDP |
||
Cmodels |
||
SUP |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto (URL) |