Results of the 2008 CSP and Max-CSP Solver Competitions
CSP Solver Comeptition
Two solvers "Sugar v1.13+minisat" and "Sugar v1.13+picosat"
participated to this competition.
Ranking of the Sugar Solvers
| Categories | Sugar v1.13+minisat | Sugar v1.13+picosat |
| 2-ARY-EXT | 14 | 15 |
| 2-ARY-INT | 11 | 10 |
| N-ARY-EXT | 15 | 16 |
| N-ARY-INT | 12 | 13 |
| GLOBAL | 4 | 1 |
- Please note that GLOBAL category problems may include constraints
in other categories, that is,
binary extensional, n-ary extensional,
binary intensional, and n-ary intensional constraints
in addition to global constraints, such as
alldifferent, cumulative, element, and weightedsum.
- See
CSP Solver Competition: Ranking of Solvers for more details.
Max-CSP Solver Comeptition
Two solvers "Sugar v1.13+minisat" and "Sugar++ v1.13+minisat-inc"
participated to this competition.
Ranking of the Sugar Solvers
| Categories | Sugar v1.13+minisat | Sugar++ v1.13+minisat-inc |
| 2-ARY-EXT | 2 | 3 |
| 2-ARY-INT | 1 | 2 |
| N-ARY-EXT | 2 | 3 |
| N-ARY-INT | 1 | 2 |
| GLOBAL | 1 | 2 |
Links
Naoyuki Tamura
(
Last modified: Sat Sep 27 19:27:22 2008 JST