Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml |
MD5SUM | 5b8b55291fe9e5b80fbbe778e95d2a5c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1977.92 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 380 |
Number of constraints | 174 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":171},{"size":501,"count":19}] |
Minimum variable degree | 0 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":0,"count":190},{"degree":2,"count":171},{"degree":19,"count":17},{"degree":20,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 171 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":171},{"arity":19,"count":1},{"arity":171,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 172 |
Distribution of constraint types | [{"type":"intension","count":172},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 319<instantiation> <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[14][15] y[14][16] y[14][17] y[14][18] y[15][16] y[15][17] y[15][18] y[16][17] y[16][18] y[17][18] </list> <values>0 1 3 7 12 20 41 51 67 94 109 146 170 195 227 260 283 305 319 1 3 7 12 20 41 51 67 94 109 146 170 195 227 260 283 305 319 2 6 11 19 40 50 66 93 108 145 169 194 226 259 282 304 318 4 9 17 38 48 64 91 106 143 167 192 224 257 280 302 316 5 13 34 44 60 87 102 139 163 188 220 253 276 298 312 8 29 39 55 82 97 134 158 183 215 248 271 293 307 21 31 47 74 89 126 150 175 207 240 263 285 299 10 26 53 68 105 129 154 186 219 242 264 278 16 43 58 95 119 144 176 209 232 254 268 27 42 79 103 128 160 193 216 238 252 15 52 76 101 133 166 189 211 225 37 61 86 118 151 174 196 210 24 49 81 114 137 159 173 25 57 90 113 135 149 32 65 88 110 124 33 56 78 92 23 45 59 22 36 14 </values> </instantiation>