|
Size: 1973
Comment:
|
Size: 1962
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| This is the complete list of the participants to the Official Tracks of 3rd ASP Competition. Follow related links for more details. |
|
| Line 4: | Line 6: |
| <<BR>> ||<tablewidth="307px" tableheight="228px" tablestyle="">'''System Name''' ||'''Team''' || ||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|claspD]] || Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] || Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight: bold; text-align: center;">[[Participants/clasp(folio)(d)-Potassco|clasp]] || Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight: bold; text-align: center;">[[Participants/IDP|idp]] || IDP || ||<style="font-weight: bold; text-align: center;">[[Participants/Cmodels|Cmodels]] || Cmodels || ||<style="font-weight: bold; text-align: center;">[[Participants/SUP|sup]] || SUP || ||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2diffz3 |lp2diffz3 ]] || Aalto || ||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]]|| Aalto || ||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2minisat |lp2sat2minisat]] || Aalto || ||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]]|| Aalto || ||<style="font-weight: bold; text-align: center;">[[Participants/Aalto_smodels |smodels ]] || Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) || |
||<tablewidth="307px" tableheight="228px">'''System Name''' ||'''Team''' || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspD]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|claspfolio]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight:bold;text-align:left;">[[Participants/clasp(folio)(d)-Potassco|clasp]] ||Potassco ([[http://potassco.sourceforge.net/|URL]]) || ||<style="font-weight:bold;text-align:left;">[[Participants/IDP|idp]] ||IDP || ||<style="font-weight:bold;text-align:left;">[[Participants/Cmodels|Cmodels]] ||Cmodels || ||<style="font-weight:bold;text-align:left;">[[Participants/SUP|sup]] ||SUP || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2diffz3|lp2diffz3]] ||Aalto || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2gminisat|lp2sat2gminisat]] ||Aalto || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2minisat|lp2sat2minisat]] ||Aalto || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_lp2sat2lminisat|lp2sat2lminisat]] ||Aalto || ||<style="font-weight:bold;text-align:left;">[[Participants/Aalto_smodels|smodels]] ||Aalto ([[http://www.tcs.hut.fi/Software/smodels/|URL]]) || |
| Line 19: | Line 20: |
| <<BR>> ||<tablewidth="20%">'''Team''' ||'''Web Site''' || ||[[Participants/aclasp|Aclasp]] || || ||[[Participants/BPSolver|BPSolver]] || || ||[[Participants/EZCSP|EZCSP]] || || ||[[Participants/FastDownward|Fast Downward]] || || ||[[Participants/Model&Solve-IDP|IDP]] || || ||[[Participants/Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] || |
||<tablewidth="20%">'''Team''' || ||[[Participants/aclasp|Aclasp]] || ||[[Participants/BPSolver|BPSolver]] || ||[[Participants/EZCSP|EZCSP]] || ||[[Participants/FastDownward|Fast Downward]] || ||[[Participants/Model&Solve-IDP|IDP]] || ||[[Participants/Potassco|Potassco]] ([[http://potassco.sourceforge.net/|URL]]) || |