Name | csp/queens/ normalized-queens-200.xml |
MD5SUM | 054f76ffe13ea2991d6de6635966b938 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 4.37933 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 19900 |
Maximum constraint arity | 2 |
Maximum domain size | 200 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 19900 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:61 63 66 60 155 51 54 133 16 62 164 141 172 138 175 55 187 180 149 163 49 15 146 179 56 140 147 52 88 46 153 53 50 14 151 89 47 174 48 39 82 44 130 84 13 43 166 78 41 86 45 103 148 154 12 83 77 101 85 168 109 99 118 11 98 112 57 181 111 137 59 10 58 167 159 157 173 64 9 177 115 194 65 188 8 191 197 199 196 7 192 190 69 6 183 185 5 200 4 1 3 184 176 170 67 186 156 193 195 135 76 87 145 80 198 2 71 73 189 131 105 134 72 124 22 93 19 74 81 20 18 68 91 97 70 75 17 108 79 100 23 113 24 94 114 25 106 122 126 26 129 95 90 107 27 104 136 139 132 143 28 158 152 162 169 161 123 29 96 171 21 92 160 165 178 30 182 150 121 144 142 33 128 36 31 119 102 35 110 116 34 117 37 125 127 120 32 38 40 42