Name | csp/magicSquare/ normalized-magicSquare-16_glb.xml |
MD5SUM | 906ffa75db05749face78c09510fe98d |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 48.2917 |
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 |
---|---|---|---|---|
casper zao | 1043121 | SAT | 48.2917 | 48.5347 |
casper zito | 1043750 | SAT | 791.607 | 791.921 |
Mistral-option 1.314 | 1039854 | SAT | 1422.89 | 1428.75 |
SAT4J CSP 2008-06-13 | 1039848 | ? | 1.02384 | 1.0375 |
Sugar v1.13+minisat | 1039850 | ? | 173.316 | 179.325 |
Sugar v1.13+picosat | 1039849 | ? | 174.792 | 181.773 |
Minion/Tailor 2008-07-04 | 1104449 | ? (problem) | 0.482926 | 0.515088 |
cpHydra k_40 | 1046266 | ? (TO) | 1800.01 | 1803.73 |
choco2_dwdeg 2008-06-26 | 1039853 | ? (TO) | 1800.03 | 1800.63 |
cpHydra k_10 | 1045637 | ? (TO) | 1800.04 | 1813.03 |
MDG-noprobe 2008-06-27 | 1039847 | ? (TO) | 1800.07 | 1807.51 |
bpsolver 2008-06-27 | 1039851 | ? (TO) | 1800.08 | 1807.01 |
MDG-probe 2008-06-27 | 1039846 | ? (TO) | 1800.08 | 1815.01 |
Mistral-prime 1.313 | 1039855 | ? (TO) | 1800.1 | 1808.81 |
choco2_impwdeg 2008-06-26 | 1039852 | ? (TO) | 1800.12 | 1814.13 |
Abscon 112v4 ESAC | 1045008 | ? (TO) | 1800.12 | 1810.76 |
Abscon 112v4 AC | 1044379 | ? (TO) | 1800.16 | 1814.36 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 93 101 147 176 217 230 242 254 168 84 80 11 1 2 247 43 234 237 159 181 103 100 18 7 89 135 167 202 90 42 249 210 206 38 96 56 219 171 125 120 36 226 83 196 75 78 121 72 6 73 53 47 85 117 33 235 66 250 243 16 256 251 253 107 13 185 134 24 241 214 10 79 29 146 148 232 197 133 164 144 186 170 172 233 106 198 116 165 105 238 77 41 37 9 59 81 151 200 156 239 208 21 92 126 71 201 60 130 35 58 227 39 194 129 177 142 49 99 17 86 137 4 209 76 229 225 244 191 95 34 110 88 246 187 149 119 199 193 12 91 223 45 74 112 22 127 62 152 51 162 190 183 204 150 87 184 111 141 118 157 224 30 218 216 115 122 104 245 82 139 97 182 40 57 28 188 19 54 175 132 67 70 215 155 145 65 231 160 123 189 68 163 154 207 52 124 64 61 173 31 205 153 174 255 14 221 5 102 161 23 169 69 131 140 180 98 212 15 203 166 236 143 8 192 248 228 128 114 108 26 179 44 113 25 158 20 178 240 55 252 50 220 48 63 46 138 213 109 195 32 27 94 211 222 136