CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/largeQueens/
normalized-queens-400.xml

Jump to solvers results

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-400.xml
MD5SUM35ecf1acb3b6774e91a99570f293720f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.0939
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints79800
Maximum constraint arity2
Maximum domain size400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension79800
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
bpsolver 2008-06-271056176SAT 20.0939 20.2829
MDG-noprobe 2008-06-271056172SAT 1163.14 1262.05
Sugar v1.13+picosat1056174? 182.026 190.862
Sugar v1.13+minisat1056175? 198.9 204.956
SAT4J CSP 2008-06-131056173? 217.91 217.982
Concrete + CSP4J - WMC Engine 2008-05-301056169? (TO) 1800.01 1808.52
galac M1056179? (TO) 1800.01 1894.03
Concrete + CPS4J 2008-05-301056170? (TO) 1800.02 1801.72
Concrete + CSP4J - Tabu Engine 2008-05-301056168? (TO) 1800.04 1815.82
MDG-probe 2008-06-271056171? (TO) 1800.04 1804.72
Minion/Tailor 2008-07-041105198? (TO) 1800.05 1816.51
galac E1056180? (TO) 1800.05 1805.32
cpHydra k_101056187? (TO) 1800.05 1812.13
cpHydra k_401056188? (TO) 1800.07 1817.84
casper zao1056183? (TO) 1800.08 1811.27
Mistral-prime 1.3131056182? (TO) 1800.1 1801.32
Mistral-option 1.3141056181? (TO) 1800.11 1808.42
casper zito1056184? (TO) 1800.13 1806.34
Abscon 112v4 AC1056185? (TO) 1800.15 1814.5
Abscon 112v4 ESAC1056186? (TO) 1800.15 1816.32
choco2_dwdeg 2008-06-261056178? (TO) 1800.25 1802.35
choco2_impwdeg 2008-06-261056177? (TO) 1800.25 1807.76

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
104 102 191 188 182 170 167 190 159 22 162 91 144 100 151 146 90 95 160 134 169 86 155 137 147 85 88 78 21 153 189 84 176 83 200 399 149 180
92 208 87 77 80 386 378 383 20 141 174 395 166 82 143 73 129 157 192 202 148 135 65 68 158 19 70 66 93 372 171 168 362 57 98 136 69 370 373
185 178 18 165 359 194 63 363 79 76 142 177 344 62 139 365 349 17 206 201 130 128 398 183 199 67 209 132 366 368 125 16 389 393 348 72 382
353 375 74 369 367 116 352 15 334 347 340 354 187 114 335 337 361 312 341 14 324 326 333 101 339 314 322 313 112 385 13 331 394 321 94 390
103 391 97 397 12 96 99 89 376 379 328 371 381 11 377 210 380 388 316 325 311 10 105 384 156 374 106 330 9 304 342 396 214 205 8 387 303 212
323 7 319 172 184 6 400 329 5 122 4 1 3 119 193 123 118 392 195 186 315 327 320 120 307 265 306 301 175 296 179 287 284 2 299 295 140 161
145 283 309 163 297 126 121 282 138 203 28 115 25 181 197 26 24 262 150 256 229 113 23 164 258 251 29 152 30 127 131 31 207 255 275 32 108
110 280 217 33 154 109 292 133 281 34 117 111 173 216 252 276 35 253 219 107 204 196 211 213 36 124 274 289 254 220 260 223 198 37 259 249
277 302 267 305 279 308 45 38 291 317 222 71 345 351 356 360 350 357 39 358 343 332 338 336 300 224 346 355 364 81 40 318 75 233 218 225 27
64 221 286 293 290 310 41 226 230 215 234 237 272 266 294 298 231 288 285 55 42 264 250 269 228 235 46 48 240 270 227 49 232 50 241 43 51
246 271 268 278 273 47 261 257 236 244 263 52 56 245 44 58 238 243 247 242 59 248 60 54 239 53 61