Name | csp/magicSquare/ normalized-magicSquare-13_glb.xml |
MD5SUM | c3269871e50aabd5e086ba0b887ebcbd |
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 | 9.92649 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 29 |
Maximum constraint arity | 169 |
Maximum domain size | 169 |
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(28) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2060216 | SAT | 9.92649 | 9.93761 |
Choco2.1.1b 2009-07-16 (complete) | 2114710 | SAT | 33.5269 | 33.9059 |
Choco2.1.1 2009-06-10 (complete) | 2060212 | SAT | 41.5057 | 41.9393 |
bpsolver 09 (complete) | 2060217 | SAT | 951.352 | 957.823 |
Sugar v1.14.6+picosat (complete) | 2060213 | ? | 172.318 | 176.618 |
Sugar v1.14.6+minisat (complete) | 2060214 | ? | 417.644 | 428.212 |
Abscon 112v4 AC (complete) | 2093597 | ? (TO) | 1800.06 | 1817.25 |
Abscon 112v4 ESAC (complete) | 2093598 | ? (TO) | 1800.18 | 1813.98 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:148 43 52 62 57 121 161 59 97 60 146 61 38 5 169 85 164 166 167 2 168 1 3 6 165 4 55 45 113 71 90 72 93 88 87 77 147 102 65 10 150 151 154 13 23 7 152 99 156 16 21 153 157 149 125 95 18 17 162 50 26 127 19 20 140 116 101 92 105 108 34 11 40 104 106 143 78 67 14 139 96 15 36 22 163 25 137 141 24 155 138 124 46 54 79 110 41 159 33 98 73 144 81 63 128 44 53 82 37 120 160 84 32 68 117 86 94 28 47 135 39 131 129 9 134 130 31 27 133 132 58 48 42 74 109 119 158 66 83 69 145 70 64 126 75 51 89 123 122 8 115 111 114 29 30 112 136 49 56 76 107 118 12 91 100 80 142 103 35