Name | csp/magicSquare/ normalized-magicSquare-14_glb.xml |
MD5SUM | 5e6d0a2edf9733af83cf17b2f2203221 |
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 | 0.341947 |
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 |
---|---|---|---|---|
Mistral 1.545 (complete) | 2060117 | SAT | 0.341947 | 0.389997 |
Choco2.1.1b 2009-07-16 (complete) | 2114701 | SAT | 111.082 | 111.967 |
Choco2.1.1 2009-06-10 (complete) | 2060113 | SAT | 126.059 | 127.267 |
Sugar v1.14.6+minisat (complete) | 2060115 | ? | 338.507 | 972.172 |
Sugar v1.14.6+picosat (complete) | 2060114 | ? | 515.842 | 538.017 |
bpsolver 09 (complete) | 2060118 | ? (TO) | 1800.02 | 1806.51 |
Abscon 112v4 AC (complete) | 2093579 | ? (TO) | 1800.11 | 1816.37 |
Abscon 112v4 ESAC (complete) | 2093580 | ? (TO) | 1800.16 | 1808.65 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:50 151 139 79 74 184 141 89 107 90 142 69 57 7 159 26 20 165 173 182 33 168 183 167 27 32 34 10 39 106 138 113 72 31 117 115 114 116 145 147 112 14 65 155 135 85 77 174 76 88 66 75 42 84 64 193 191 4 2 11 1 3 189 5 6 190 192 195 194 196 98 156 136 104 67 172 101 100 96 97 45 99 95 13 81 40 140 102 80 164 46 149 111 91 44 83 61 187 119 35 134 122 109 16 150 123 121 157 43 118 120 12 55 152 133 103 78 170 52 58 48 92 143 53 54 188 59 153 132 105 146 28 71 87 110 47 144 70 56 171 166 25 38 37 161 179 36 162 160 15 169 60 163 8 18 181 22 177 180 17 178 21 23 24 19 158 176 185 131 41 137 125 93 30 127 128 126 124 49 129 130 9 148 154 73 51 68 29 62 86 108 94 175 82 63 186