Name | csp/queens/ normalized-queens-180.xml |
MD5SUM | c14abf4d20a38dc3ddd30b1ce4c8122e |
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 | 10.4924 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 180 |
Number of constraints | 16110 |
Maximum constraint arity | 2 |
Maximum domain size | 180 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 16110 |
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:35 37 39 42 47 38 46 41 36 60 56 61 59 62 44 40 58 154 45 48 158 164 43 151 159 175 141 137 115 49 126 145 54 127 124 128 51 55 119 52 57 129 65 74 68 50 150 144 111 179 171 135 125 1 3 5 169 26 117 177 2 173 122 172 4 176 149 170 63 67 6 70 53 178 75 7 167 8 11 180 10 15 157 165 71 162 66 166 132 174 160 147 168 131 104 121 112 72 107 118 9 113 90 77 12 76 100 27 81 13 16 83 17 32 25 18 31 33 30 19 34 78 29 79 20 86 84 80 69 64 73 82 87 85 97 95 106 96 102 14 22 88 23 89 24 28 108 123 114 103 94 130 120 139 136 133 140 142 21 148 143 152 155 153 156 161 163 134 105 146 109 116 110 138 91 93 98 101 99 92