The Results of Sugar in CSP Solver Competitions

Table of Contents

2009 CSP Solver Competition

Two solvers "Sugar v1.14.6+minisat" and "Sugar v1.14.6+picosat" participated to this competition.

Ranking of Sugar Solvers
CategorySugar v1.14.6+minisatSugar v1.14.6+picosat
2-ARY-EXT8 / 139 / 13
2-ARY-INT7 / 136 / 13
N-ARY-EXT12 / 1413 / 14
N-ARY-INT9 / 1310 / 13
Alldiff3 / 111 / 11
Alldiff+Elt+Wsum2 / 81 / 8
Alldiff+Cumul+Elt+Wsum1 / 62 / 6

PUREINT Instances

The following table shows the number of solved instances of purely intensional (that is, no extensional constraints) and satisfiable instances by different solvers at CSC 2009.

SeriesSugar+minisatSugar+picosatChocoMistralbpsolver
All Interval Series ( 15)99111215
BIBD ( 79)7677587635
Chessboard Coloration ( 4)44342
Costas Array ( 9)88999
Domino ( 10)1010101010
Golomb Ruler ( 10)109101010
Langford ( 10)1010101010
Latin Square ( 3)32222
Magic Square ( 15)88151311
NengFa ( 8)88888
Perfect Square Packing ( 32)3231182118
Quasigroup Existence ( 12)1212121212
Queen Attacking ( 3)22220
Queens ( 12)1010111010
Ramsey ( 10)10910104
Schurr's Lemma ( 2)11112
Social Golfers ( 6)65560
Pseudo-Boolean ( 238)187208190201184
2D Strip Packing ( 9)77354
BQWH ( 20)2020202020
Cumulative Job-Shop ( 2)22110
Fischer ( 5)44444
Graph Coloring ( 35)3535353534
Job-Shop ( 63)6262584846
Multi Knapsack ( 6)44656
Open-Shop ( 47)4747474725
Primes ( 70)4344707064
RCPSP ( 40)4040404040
Rader Surveillance ( 42)4242424235
Super-solutions ( 37)3536242918
BMC ( 11)1111111111
Cabinet ( 20)2020202020
FAPP ( 57)152311230
RLFAP ( 23)2323232320
Timetabling ( 42)254214391
Total (1007)841885814879690

2008 CSP Solver Competition

Two solvers "Sugar v1.13+minisat" and "Sugar v1.13+picosat" participated to this competition.

Ranking of Sugar Solvers
CategorySugar v1.13+minisatSugar v1.13+picosat
2-ARY-EXT14 / 2215 / 22
2-ARY-INT11 / 1710 / 17
N-ARY-EXT15 / 2216 / 22
N-ARY-INT12 / 1813 / 18
GLOBAL4 / 171 / 17

2008 Max-CSP Solver Competition

Two solvers "Sugar v1.13+minisat" and "Sugar++ v1.13+minisat-inc" participated to this competition.

Ranking of Sugar Solvers
CategorySugar v1.13+minisatSugar v1.13+minisat-inc
2-ARY-EXT2 / 73 / 7
2-ARY-INT1 / 62 / 6
N-ARY-EXT2 / 73 / 7
N-ARY-INT1 / 62 / 6
GLOBAL1 / 22 / 2

Links

Date: 2013-12-24 23:56:13 JST

Author: Naoyuki Tamura

Org version 7.8.02 with Emacs version 23

Validate XHTML 1.0