Name | csp/magicSquare/ normalized-magicSquare-17_glb.xml |
MD5SUM | 59c987f6631c613813e79e7f44cdd8bc |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 455.393 |
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 |
---|---|---|---|---|
casper zito | 1043749 | SAT | 455.393 | 459.337 |
casper zao | 1043120 | SAT | 586.94 | 592.066 |
SAT4J CSP 2008-06-13 | 1039838 | ? | 1.08583 | 1.27802 |
Sugar v1.13+picosat | 1039839 | ? | 170.526 | 177.93 |
Sugar v1.13+minisat | 1039840 | ? | 170.987 | 176.084 |
Minion/Tailor 2008-07-04 | 1104448 | ? (problem) | 0.511921 | 0.579616 |
cpHydra k_10 | 1045636 | ? (TO) | 1800.04 | 1817.13 |
MDG-noprobe 2008-06-27 | 1039837 | ? (TO) | 1800.05 | 1802.01 |
Mistral-prime 1.313 | 1039845 | ? (TO) | 1800.05 | 1813.91 |
Mistral-option 1.314 | 1039844 | ? (TO) | 1800.07 | 1800.51 |
cpHydra k_40 | 1046265 | ? (TO) | 1800.08 | 1804.13 |
bpsolver 2008-06-27 | 1039841 | ? (TO) | 1800.08 | 1808.01 |
MDG-probe 2008-06-27 | 1039836 | ? (TO) | 1800.08 | 1807.31 |
choco2_dwdeg 2008-06-26 | 1039843 | ? (TO) | 1800.09 | 1816.97 |
Abscon 112v4 AC | 1044378 | ? (TO) | 1800.13 | 1821.17 |
choco2_impwdeg 2008-06-26 | 1039842 | ? (TO) | 1800.13 | 1801.25 |
Abscon 112v4 ESAC | 1045007 | ? (TO) | 1800.18 | 1816.47 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 216 263 271 278 281 284 285 31 288 1 2 8 6 4 13 229 223 34 115 256 123 244 129 233 128 121 48 142 162 29 116 268 94 134 122 287 137 85 259 17 178 35 171 7 65 206 214 36 269 243 92 155 238 249 195 135 83 165 251 43 12 97 79 272 148 219 32 105 22 102 213 82 151 179 199 158 74 222 49 187 75 276 141 230 124 152 163 265 107 37 73 118 186 228 90 3 211 234 180 111 183 106 237 45 247 132 232 101 117 196 173 176 157 260 154 41 24 67 280 221 202 262 52 267 96 140 220 282 209 126 47 25 10 15 11 217 261 87 175 198 51 131 245 56 55 78 172 33 120 167 164 255 100 40 208 21 257 104 103 246 239 57 60 89 273 181 248 80 159 108 61 200 38 274 258 20 254 46 77 264 252 189 58 99 98 169 150 59 110 18 190 53 145 146 197 138 185 23 72 224 266 277 212 201 204 95 64 133 76 139 27 177 192 193 231 54 215 205 191 68 166 184 63 194 50 112 227 14 136 143 236 253 156 218 88 144 81 225 153 182 30 127 70 226 26 125 86 240 279 161 119 283 71 62 210 109 66 9 69 93 242 28 114 188 203 250 207 174 130 289 84 19 235 39 16 113 42 270 44 170 149 241 275 160 147 168 91 286