Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml |
MD5SUM | 77b850f9bb38d7d923034c01213ab5aa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 416 |
Best CPU time to get the best result obtained on this benchmark | 2001.25 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 462 |
Number of constraints | 213 |
Number of domains | 2 |
Minimum domain size | 1000 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1000,"count":210},{"size":1001,"count":21}] |
Minimum variable degree | 0 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":19},{"degree":22,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 210 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":210},{"arity":21,"count":1},{"arity":210,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 211 |
Distribution of constraint types | [{"type":"intension","count":211},{"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: 416<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] x[19] x[20] 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[0][19] y[0][20] 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[1][19] y[1][20] 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[2][19] y[2][20] 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[3][19] y[3][20] 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[4][19] y[4][20] 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[5][19] y[5][20] 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[6][19] y[6][20] 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[7][19] y[7][20] 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[8][19] y[8][20] 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[9][19] y[9][20] 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[10][19] y[10][20] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[16][17] y[16][18] y[16][19] y[16][20] y[17][18] y[17][19] y[17][20] y[18][19] y[18][20] y[19][20] </list> <values>0 1 3 8 12 18 32 48 69 82 104 142 167 194 213 256 300 339 367 393 416 1 3 8 12 18 32 48 69 82 104 142 167 194 213 256 300 339 367 393 416 2 7 11 17 31 47 68 81 103 141 166 193 212 255 299 338 366 392 415 5 9 15 29 45 66 79 101 139 164 191 210 253 297 336 364 390 413 4 10 24 40 61 74 96 134 159 186 205 248 292 331 359 385 408 6 20 36 57 70 92 130 155 182 201 244 288 327 355 381 404 14 30 51 64 86 124 149 176 195 238 282 321 349 375 398 16 37 50 72 110 135 162 181 224 268 307 335 361 384 21 34 56 94 119 146 165 208 252 291 319 345 368 13 35 73 98 125 144 187 231 270 298 324 347 22 60 85 112 131 174 218 257 285 311 334 38 63 90 109 152 196 235 263 289 312 25 52 71 114 158 197 225 251 274 27 46 89 133 172 200 226 249 19 62 106 145 173 199 222 43 87 126 154 180 203 44 83 111 137 160 39 67 93 116 28 54 77 26 49 23 </values> </instantiation>