|
Size: 3827
Comment:
|
← Revision 51 as of 2011-06-25 10:11:35 ⇥
Size: 3839
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| == Participants == | = Participants = |
| Line 5: | Line 5: |
| For the sake of reproducibility, a package with binaries, scripts and settings used for testing is also available for all participants. | For the sake of reproducibility, a package with binaries, scripts and settings submitted by participants during the Competition is available. |
| Line 8: | Line 8: |
| ||<tablewidth="480px" tableheight="32px" tablestyle="">'''System Name''' ||'''Team''' ||'''Run Package''' || | ||<tablewidth="480px" tableheight="32px">'''System Name''' ||'''Team''' ||'''Run Package''' || |
| Line 23: | Line 23: |
| ||<tablewidth="480px" tableheight="32px" tablestyle="">'''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]] || |
||<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 submitted by participants during the Competition is available.
System Track
System Name |
Team |
Run Package |
Potassco (URL) |
||
Potassco (URL) |
||
Potassco (URL) |
||
IDP |
||
Cmodels |
||
SUP |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto |
||
Aalto (URL) |