Name | csp/magicSquare/ normalized-magicSquare-16_glb.xml |
MD5SUM | 906ffa75db05749face78c09510fe98d |
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 | 60.3238 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 256 |
Number of constraints | 35 |
Maximum constraint arity | 256 |
Maximum domain size | 256 |
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(34) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Choco2.1.1b 2009-07-16 (complete) | 2114700 | SAT | 60.3238 | 60.9429 |
Mistral 1.545 (complete) | 2060106 | SAT | 87.5907 | 88.2259 |
Choco2.1.1 2009-06-10 (complete) | 2060102 | SAT | 281.865 | 283.423 |
Sugar v1.14.6+picosat (complete) | 2060103 | ? | 237.243 | 1047.15 |
Sugar v1.14.6+minisat (complete) | 2060104 | ? | 248.247 | 259.376 |
bpsolver 09 (complete) | 2060107 | ? (TO) | 1800.05 | 1804.71 |
Abscon 112v4 AC (complete) | 2093577 | ? (TO) | 1800.14 | 1803.62 |
Abscon 112v4 ESAC (complete) | 2093578 | ? (TO) | 1800.18 | 1813.76 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:39 184 124 230 98 207 220 99 43 117 214 36 93 198 127 27 92 48 67 182 144 157 75 221 189 222 55 100 130 129 168 77 113 40 132 163 84 119 131 213 125 205 139 14 250 176 82 70 9 225 236 45 237 135 89 62 159 138 180 192 174 105 29 41 5 197 203 20 195 38 216 134 80 17 233 231 3 88 154 242 23 208 175 241 104 112 217 190 21 22 25 166 212 11 164 165 188 69 61 65 118 255 26 68 238 81 51 256 249 215 64 52 206 158 12 210 42 181 37 140 194 173 111 8 245 83 10 246 200 142 66 97 193 95 123 79 201 223 31 178 24 78 211 115 234 141 49 18 63 156 91 96 228 232 15 229 148 109 191 56 76 186 170 46 86 128 209 133 13 53 219 177 16 150 155 239 199 58 235 172 73 30 243 19 33 110 254 136 116 54 253 71 6 149 153 87 121 103 187 120 227 35 240 7 50 183 137 251 171 32 218 252 224 90 74 169 94 122 85 28 101 151 1 244 248 57 47 226 202 107 4 152 167 146 59 196 60 147 204 34 247 162 108 2 72 143 114 161 44 160 145 102 185 179 106 126