Name | csp/magicSquare/ normalized-magicSquare-14_glb.xml |
MD5SUM | 5e6d0a2edf9733af83cf17b2f2203221 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 64.3832 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 196 |
Number of constraints | 31 |
Maximum constraint arity | 196 |
Maximum domain size | 196 |
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(30) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043122 | SAT | 64.3832 | 64.8902 |
casper zito | 1043751 | SAT | 71.7691 | 72.1344 |
SAT4J CSP 2008-06-13 | 1039858 | ? | 1.01284 | 0.895988 |
Sugar v1.13+picosat | 1039859 | ? | 180.054 | 185.389 |
Sugar v1.13+minisat | 1039860 | ? | 181.403 | 186.25 |
MDG-probe 2008-06-27 | 1039856 | ? (TO) | 1800.04 | 1801.61 |
cpHydra k_10 | 1045638 | ? (TO) | 1800.05 | 1807.43 |
cpHydra k_40 | 1046267 | ? (TO) | 1800.06 | 1812.83 |
Minion/Tailor 2008-07-04 | 1104450 | ? (TO) | 1800.07 | 1801.91 |
Abscon 112v4 ESAC | 1045009 | ? (TO) | 1800.07 | 1813.15 |
Abscon 112v4 AC | 1044380 | ? (TO) | 1800.07 | 1801.14 |
Mistral-prime 1.313 | 1039865 | ? (TO) | 1800.07 | 1813.91 |
choco2_impwdeg 2008-06-26 | 1039862 | ? (TO) | 1800.07 | 1805.05 |
MDG-noprobe 2008-06-27 | 1039857 | ? (TO) | 1800.08 | 1805.21 |
bpsolver 2008-06-27 | 1039861 | ? (TO) | 1800.08 | 1814.01 |
Mistral-option 1.314 | 1039864 | ? (TO) | 1800.11 | 1800.61 |
choco2_dwdeg 2008-06-26 | 1039863 | ? (TO) | 1800.18 | 1808.78 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:73 115 130 171 174 179 180 181 2 6 4 1 3 160 71 106 42 20 155 12 128 51 32 144 173 189 87 169 10 116 65 188 183 151 111 66 94 29 69 7 95 195 117 191 137 121 145 96 184 54 39 21 59 125 37 53 33 89 85 153 127 139 112 62 75 5 61 98 194 146 46 45 149 162 110 57 47 190 58 172 49 108 159 27 193 67 77 168 120 113 187 93 8 60 15 105 72 101 92 140 63 48 34 38 129 104 78 154 126 18 192 163 91 81 19 97 156 132 136 119 79 124 100 55 147 43 76 41 102 90 50 133 80 31 165 178 166 141 70 56 164 86 83 88 68 40 36 64 185 148 99 167 123 28 114 82 158 16 9 109 14 142 196 157 152 52 161 17 122 176 134 22 23 30 24 138 186 107 131 170 13 103 177 44 135 35 25 150 11 84 182 74 175 143 26 118