Name | csp/largeQueens/ normalized-queens-300.xml |
MD5SUM | c7d57b0262fde2b45e9a562f45f9d3ca |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 47.1408 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 44850 |
Maximum constraint arity | 2 |
Maximum domain size | 300 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 44850 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097467 | SAT | 47.1408 | 47.6123 |
Abscon 112v4 ESAC (complete) | 2097468 | SAT | 47.7547 | 48.2222 |
bpsolver 09 (complete) | 2081502 | SAT | 197.829 | 199.365 |
Concrete 2009-07-14 (complete) | 2081495 | SAT | 369.711 | 373.202 |
Choco2.1.1b 2009-07-16 (complete) | 2116645 | SAT | 416.631 | 416.949 |
Choco2.1.1 2009-06-10 (complete) | 2081497 | SAT | 582.25 | 582.508 |
SAT4J CSP 2.1.1 (complete) | 2081492 | ? | 476.673 | 477.318 |
Sugar v1.14.6+minisat (complete) | 2081499 | ? (MO) | 150.435 | 157.019 |
pcs 0.3.2 (complete) | 2081493 | ? (MO) | 260.902 | 263.155 |
pcs-restart 0.3.2 (complete) | 2081494 | ? (MO) | 268.261 | 270.763 |
Sugar v1.14.6+picosat (complete) | 2081498 | ? (MO) | 336.939 | 342.823 |
Mistral 1.545 (complete) | 2081501 | ? (TO) | 1800.07 | 1809.01 |
Concrete DC 2009-07-14 (complete) | 2081496 | ? (TO) | 1800.07 | 1807.32 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:180 9 169 134 116 148 13 294 7 19 165 293 118 8 112 204 292 10 107 291 201 290 11 289 185 12 139 288 14 287 198 286 104 141 15 285 16 284 189 124 17 283 125 18 114 282 20 109 281 21 280 22 279 23 278 24 277 25 276 26 275 27 274 28 273 29 272 30 271 31 270 32 269 33 268 157 154 267 34 266 166 35 265 36 184 264 37 182 263 38 192 262 39 207 88 86 151 202 209 258 256 261 179 200 40 102 96 90 260 41 203 259 43 46 110 42 257 188 44 98 254 251 50 99 45 48 253 195 191 196 255 249 177 193 221 57 178 186 63 47 51 53 115 252 248 54 49 246 55 250 95 136 52 244 152 245 94 214 2 247 56 167 108 155 59 84 242 91 243 66 173 60 82 75 227 219 211 83 64 225 230 71 216 76 212 89 229 68 226 228 74 70 224 85 231 78 69 237 73 222 72 65 220 81 92 234 77 238 67 233 223 232 79 218 80 197 174 172 170 162 235 161 164 296 153 159 240 58 5 295 241 144 297 62 236 239 130 61 123 121 127 117 122 120 158 146 137 105 111 101 168 181 113 93 100 175 213 205 217 194 176 87 199 106 208 215 171 206 183 210 187 298 4 103 3 128 150 132 129 1 299 97 131 145 140 142 119 6 135 149 160 156 190 147 126 163 133 138 143 300