Name | csp/magicSquare/ normalized-magicSquare-15_glb.xml |
MD5SUM | 32962253496acabe94751db02f9dfcea |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 8.08877 |
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 |
---|---|---|---|---|
casper zito | 1043747 | SAT | 8.08877 | 8.13521 |
casper zao | 1043118 | SAT | 8.63868 | 8.72099 |
SAT4J CSP 2008-06-13 | 1039818 | ? | 1.04184 | 1.09211 |
Sugar v1.13+picosat | 1039819 | ? | 171.081 | 192.763 |
Sugar v1.13+minisat | 1039820 | ? | 172.858 | 196.864 |
Minion/Tailor 2008-07-04 | 1104446 | ? (problem) | 0.443932 | 0.513371 |
MDG-noprobe 2008-06-27 | 1039817 | ? (TO) | 1800 | 1814.61 |
bpsolver 2008-06-27 | 1039821 | ? (TO) | 1800.01 | 1800.81 |
Mistral-option 1.314 | 1039824 | ? (TO) | 1800.04 | 1800.81 |
cpHydra k_40 | 1046263 | ? (TO) | 1800.05 | 1828.93 |
choco2_dwdeg 2008-06-26 | 1039823 | ? (TO) | 1800.05 | 1815.44 |
choco2_impwdeg 2008-06-26 | 1039822 | ? (TO) | 1800.07 | 1815.86 |
Abscon 112v4 ESAC | 1045005 | ? (TO) | 1800.07 | 1807.53 |
cpHydra k_10 | 1045634 | ? (TO) | 1800.09 | 1810.23 |
Mistral-prime 1.313 | 1039825 | ? (TO) | 1800.1 | 1807.21 |
MDG-probe 2008-06-27 | 1039816 | ? (TO) | 1800.1 | 1807.21 |
Abscon 112v4 AC | 1044376 | ? (TO) | 1800.11 | 1812.87 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:219 100 161 191 212 216 220 31 223 32 2 8 4 5 71 151 222 115 45 39 74 16 104 214 127 140 36 107 116 189 80 164 186 145 58 35 57 46 118 174 68 82 56 202 224 69 88 129 81 213 108 77 215 194 181 40 93 12 30 165 51 110 26 167 76 20 62 210 101 207 192 141 148 21 163 183 178 134 138 24 7 160 162 89 188 23 67 86 133 123 137 83 98 102 117 105 149 131 90 158 199 154 66 91 15 95 87 196 9 13 208 190 217 185 128 111 204 17 29 6 22 225 73 114 120 171 177 18 147 50 153 166 144 63 52 75 170 59 113 37 135 152 175 103 122 60 11 172 155 156 159 139 150 124 125 72 25 94 48 43 44 195 218 205 54 55 78 130 10 143 157 92 97 85 109 182 33 179 203 142 42 34 1 132 206 180 173 84 41 79 112 197 99 209 106 136 3 184 126 119 146 96 64 19 70 169 121 176 65 201 221 14 53 198 193 61 49 47 38 27 200 187 211 168 28