| Name | csp/magicSquare/ normalized-magicSquare-17_glb.xml |
| MD5SUM | 59c987f6631c613813e79e7f44cdd8bc |
| Bench Category | Alldiff+Elt+WSum (alldiff,element,weightedsum) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 287.568 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 289 |
| Number of constraints | 37 |
| Maximum constraint arity | 289 |
| Maximum domain size | 289 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) | alldifferent(1),weightedsum(36) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco2.1.1 2009-06-10 (complete) | 2060091 | SAT | 287.568 | 289.373 |
| Choco2.1.1b 2009-07-16 (complete) | 2114699 | SAT | 639.236 | 639.44 |
| Sugar v1.14.6+picosat (complete) | 2060092 | ? | 237.938 | 721.619 |
| Sugar v1.14.6+minisat (complete) | 2060093 | ? | 256.383 | 269.349 |
| bpsolver 09 (complete) | 2060096 | ? (TO) | 1800.08 | 1811.41 |
| Mistral 1.545 (complete) | 2060095 | ? (TO) | 1800.09 | 1811.91 |
| Abscon 112v4 AC (complete) | 2093575 | ? (TO) | 1800.1 | 1814.55 |
| Abscon 112v4 ESAC (complete) | 2093576 | ? (TO) | 1800.1 | 1814.55 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:91 59 233 215 60 285 179 129 151 156 101 99 163 47 85 279 133 216 36 63 49 225 220 202 256 196 134 100 31 18 198 228 56 237 116 247 174 266 95 250 69 80 192 50 276 20 189 103 53 283 2 123 125 110 52 183 67 217 140 207 238 92 184 120 186 130 24 267 142 113 66 105 57 241 131 112 43 227 70 242 223 259 278 10 146 224 251 270 261 64 9 104 74 159 23 11 164 257 147 17 262 168 167 232 6 154 41 54 226 160 245 188 175 268 13 118 78 208 132 264 25 258 88 248 94 214 173 201 87 126 204 211 141 96 5 30 152 212 221 157 72 230 210 86 61 106 206 27 48 246 197 62 172 93 119 124 269 236 29 121 182 77 272 58 234 8 161 190 12 280 46 122 265 26 289 15 84 107 82 273 45 284 102 240 200 136 149 231 166 40 219 148 249 83 127 178 79 274 263 114 19 165 109 1 143 260 137 153 239 229 32 39 187 37 277 44 254 71 73 287 3 144 90 42 135 68 89 98 180 191 158 281 34 203 243 199 282 28 55 111 170 138 108 275 213 171 117 4 271 22 218 7 128 169 288 65 75 235 33 155 14 185 194 162 252 21 195 38 244 139 205 253 193 222 51 145 177 115 97 255 16 181 81 150 286 35 209 76 176