welcome: please sign in
location: Diff for "Participants"
Differences between revisions 21 and 36 (spanning 15 versions)
⇤ ← Revision 21 as of 2011-05-17 14:28:20 →
Size: 772
Editor: CarmenSantoro
Comment:
← Revision 36 as of 2011-05-22 10:10:34 → ⇥
Size: 1883
Editor: FrancescoCalimeri
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 5: Line 5:
||<tablewidth="20%">'''System Name''' ||'''Web Site''' ||
||[[Participants/Cmodels|Cmodels]] || ||
||[[Participants/IDP|IDP]] || ||
||[[Participants/clasp(folio)(d)-Potassco|Clasp(folio)(d)-Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||[[Participants/SUP|SUP]] || ||
||Smodels ||[[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 17: Line 23:
||<tablewidth="20%">'''System Name''' ||'''Web Site''' || ||<tablewidth="20%">'''Team''' ||'''Web Site''' ||
Line 19: Line 25:
||[[Participants/BPSolver|BPSolver]] || ||
Line 20: Line 27:
||[[Participants/FastDownward|Fast Downward]] || ||
Line 23: Line 31:

Participants

System Track


System Name

Team

claspD

Potassco (URL)

claspfolio

Potassco (URL)

clasp

Potassco (URL)

idp

IDP

Cmodels

Cmodels

sup

SUP

lp2diffz3

Aalto

lp2sat2gminisat

Aalto

lp2sat2minisat

Aalto

lp2sat2lminisat

Aalto

smodels

Aalto (URL)

Model and Solve Track


Team

Web Site

Aclasp

BPSolver

EZCSP

Fast Downward

IDP

Potassco

URL

ASP Competition 2011: Participants (last edited 2011-06-25 10:11:35 by GiovambattistaIanni)