Name | csp/magicSquare/ normalized-magicSquare-15_glb.xml |
MD5SUM | 32962253496acabe94751db02f9dfcea |
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 | 38.6881 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 33 |
Maximum constraint arity | 225 |
Maximum domain size | 225 |
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(32) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2060073 | SAT | 38.6881 | 39.1074 |
Choco2.1.1 2009-06-10 (complete) | 2060069 | SAT | 309.869 | 312.793 |
Choco2.1.1b 2009-07-16 (complete) | 2114697 | SAT | 463.998 | 466.096 |
Sugar v1.14.6+minisat (complete) | 2060071 | ? | 239.316 | 716.49 |
Sugar v1.14.6+picosat (complete) | 2060070 | ? | 253.974 | 262.644 |
bpsolver 09 (complete) | 2060074 | ? (TO) | 1800.02 | 1812.31 |
Abscon 112v4 AC (complete) | 2093571 | ? (TO) | 1800.12 | 1801.04 |
Abscon 112v4 ESAC (complete) | 2093572 | ? (TO) | 1800.13 | 1807.66 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:204 99 45 145 67 160 55 151 173 185 3 152 148 70 38 218 210 217 98 9 13 216 17 11 8 225 209 16 213 15 28 109 43 91 154 159 56 111 194 182 220 135 40 72 101 207 128 26 103 187 161 188 129 175 30 2 37 143 69 110 33 106 190 96 51 147 64 108 66 178 224 132 123 75 102 206 121 202 90 58 50 24 125 59 18 222 68 144 162 146 31 124 63 93 153 157 48 122 36 183 219 133 142 73 118 184 83 189 134 78 80 150 170 126 176 7 79 82 76 81 32 114 191 95 115 156 201 117 52 179 6 127 131 74 105 35 137 199 116 149 39 65 138 169 49 113 140 130 77 139 34 100 44 89 197 155 177 88 61 104 221 85 141 112 87 25 163 57 41 168 167 62 164 172 181 4 53 107 166 165 29 120 205 92 84 158 174 119 171 180 5 136 54 71 97 214 21 14 212 198 47 12 94 19 22 223 23 208 192 196 215 60 10 200 27 46 203 42 211 20 1 186 86 193 195