Results of the 2009 CSP Solver Competition
CSP Solver Comeptition
Two solvers "Sugar v1.14.6+minisat" and "Sugar v1.14.6+picosat"
participated to this competition.
Ranking of the Sugar Solvers
| Categories | Sugar v1.14.6+minisat | Sugar v1.14.6+picosat |
| 2-ARY-EXT | 8 / 13 | 9 / 13 |
| 2-ARY-INT | 7 / 13 | 6 / 13 |
| N-ARY-EXT | 12 / 14 | 13 / 14 |
| N-ARY-INT | 9 / 13 | 10 / 13 |
| Alldiff | 3 / 11 | 1 / 11 |
| Alldiff+Elt+Wsum | 2 / 8 | 1 / 8 |
| Alldiff+Cumul+Elt+Wsum | 1 / 6 | 2 / 6 |
Max-CSP Solver Comeptition
Since the Sugar is the only entry of the Max-CSP Solver Competition,
the competition was not held this year.
According to the 2008 Max-CSP Solver Competition,
Sugar became the winner in 3 categories (2-ARY-INT, N-ARY-INT, and
GLOBAL) out of 5 categories.
Links
Naoyuki Tamura
(
Last modified: Tue Mar 1 07:15:39 2011 JST