Name | csp/magicSquare/ normalized-magicSquare-18_glb.xml |
MD5SUM | 8c9a9485571326f274e2bac46160c372 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 382.126 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 324 |
Number of constraints | 39 |
Maximum constraint arity | 324 |
Maximum domain size | 324 |
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(38) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043123 | SAT | 382.126 | 385.218 |
casper zito | 1043752 | SAT | 467.941 | 468.649 |
SAT4J CSP 2008-06-13 | 1039868 | ? | 1.14682 | 0.883796 |
Sugar v1.13+picosat | 1039869 | ? | 166.378 | 172.839 |
Sugar v1.13+minisat | 1039870 | ? | 167.519 | 174.992 |
Minion/Tailor 2008-07-04 | 1104451 | ? (problem) | 0.548916 | 0.570478 |
bpsolver 2008-06-27 | 1039871 | ? (TO) | 1800.02 | 1800.61 |
MDG-probe 2008-06-27 | 1039866 | ? (TO) | 1800.03 | 1806.61 |
Mistral-option 1.314 | 1039874 | ? (TO) | 1800.05 | 1807.41 |
Abscon 112v4 ESAC | 1045010 | ? (TO) | 1800.05 | 1814.94 |
MDG-noprobe 2008-06-27 | 1039867 | ? (TO) | 1800.06 | 1806.51 |
cpHydra k_40 | 1046268 | ? (TO) | 1800.07 | 1805.84 |
cpHydra k_10 | 1045639 | ? (TO) | 1800.07 | 1829.13 |
Mistral-prime 1.313 | 1039875 | ? (TO) | 1800.1 | 1807.21 |
choco2_dwdeg 2008-06-26 | 1039873 | ? (TO) | 1800.1 | 1814.85 |
Abscon 112v4 AC | 1044381 | ? (TO) | 1800.15 | 1807.54 |
choco2_impwdeg 2008-06-26 | 1039872 | ? (TO) | 1800.16 | 1807.47 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:222 149 175 179 297 316 321 322 323 324 7 16 3 5 6 2 1 257 275 307 226 152 82 298 115 266 187 289 244 19 126 238 4 11 72 14 214 287 182 144 203 265 20 274 37 107 22 195 104 251 319 125 131 45 271 242 75 190 43 221 177 296 96 151 223 108 268 174 262 51 13 64 101 99 170 294 112 49 181 252 73 279 261 253 67 69 199 248 59 159 122 208 10 184 236 30 228 48 216 320 189 130 123 109 140 12 312 308 162 105 314 23 84 46 88 192 24 111 154 102 273 50 291 292 311 303 277 256 173 281 133 100 198 229 163 317 302 197 38 93 81 36 9 42 220 201 33 295 230 206 309 26 87 225 54 255 65 234 113 32 71 269 194 169 166 286 70 29 282 241 188 283 66 114 219 211 213 85 53 56 217 158 68 263 106 143 280 249 278 172 62 207 80 25 129 310 157 21 155 63 276 156 52 136 153 165 171 160 124 306 161 119 118 258 231 121 128 247 232 83 176 167 137 58 150 91 259 139 120 135 142 210 313 138 57 86 164 89 74 205 103 90 180 18 117 168 224 284 212 300 304 250 97 127 132 183 254 193 61 78 147 28 191 204 235 200 60 299 290 146 76 92 301 47 260 202 116 55 227 8 196 178 270 243 185 31 293 145 98 34 134 41 267 209 79 44 237 15 239 186 285 245 218 305 17 272 39 95 94 35 246 110 77 40 141 27 215 148 264 240 233 318 288 315