welcome: please sign in
location: Diff for "Participants"
Differences between revisions 32 and 34 (spanning 2 versions)
Revision 32 as of 2011-05-22 08:15:45
Size: 1984
Comment:
Revision 34 as of 2011-05-22 09:56:33
Size: 2016
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspd ||[[Participants/clasp(folio)(d)-Potassco|Potassco - 1]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">claspfolio ||[[Participants/clasp(folio)(d)-Potassco|Potassco - 2]] ||[[http://potassco.sourceforge.net/|URL]] ||
||<style="font-weight: bold; text-align: center;">clasp ||[[Participants/clasp(folio)(d)-Potassco|Potassco - 3]] ||[[http://potassco.sourceforge.net/|URL]] ||
Line 11: Line 11:
||<style="font-weight: bold; text-align: center;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto]] || ||
Line 13: Line 12:
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat ||[[Participants/Aalto_lp2sat2gminisat |Aalto]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat ||[[Participants/Aalto_lp2sat2minisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat ||[[Participants/Aalto_lp2sat2lminisat |Aalto]]|| ||
||<style="font-weight: bold; text-align: center;">smodels ||[[Participants/Aalto_smodels |Aalto]]||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||
||<style="font-weight: bold; text-align: center;">lp2diffz3 ||[[Participants/Aalto_lp2diffz3 |Aalto - 1]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2gminisat ||[[Participants/Aalto_lp2sat2gminisat |Aalto - 2]] || ||
||<style="font-weight: bold; text-align: center;">lp2sat2minisat ||[[Participants/Aalto_lp2sat2minisat |Aalto - 3]]|| ||
||<style="font-weight: bold; text-align: center;">lp2sat2lminisat ||[[Participants/Aalto_lp2sat2lminisat |Aalto - 4]]|| ||
||<style="font-weight: bold; text-align: center;">smodels ||[[Participants/Aalto_smodels |Aalto - 5
]]||[[http://www.tcs.hut.fi/Software/smodels/|URL]] ||

Participants

System Track


System Name

Team

Web Site

claspd

Potassco - 1

URL

claspfolio

Potassco - 2

URL

clasp

Potassco - 3

URL

idp

IDP

cmodels

Cmodels

sup

SUP

lp2diffz3

Aalto - 1

lp2sat2gminisat

Aalto - 2

lp2sat2minisat

Aalto - 3

lp2sat2lminisat

Aalto - 4

smodels

Aalto - 5

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)