CSP 2009 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 benchmark1171.75
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
Choco2.1.1b 2009-07-16 (complete)2116644SAT 1171.75 1182.12
pcs 0.3.2 (complete)2081482? 141.266 142.511
pcs-restart 0.3.2 (complete)2081483? 205.25 207.212
Sugar v1.14.6+minisat (complete)2081488? 253.651 710.658
Sugar v1.14.6+picosat (complete)2081487? 262.785 1693.87
SAT4J CSP 2.1.1 (complete)2081481? 278.367 280.255
Concrete DC 2009-07-14 (complete)2081485? 694.497 701.079
Concrete 2009-07-14 (complete)2081484? (exit code) 773.336 779.502
bpsolver 09 (complete)2081491? (MO) 501.872 506.567
Mistral 1.545 (complete)2081490? (TO) 1800.06 1802.42
Abscon 112v4 AC (complete)2097465? (TO) 1800.14 1812.31
Abscon 112v4 ESAC (complete)2097466? (TO) 1800.16 1815.7
Choco2.1.1 2009-06-10 (complete)2081486? (TO) 1800.19 1802.16

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