Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml |
MD5SUM | 6f45dc36d2c69d93d2d76d2d98e801df |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 672 |
Best CPU time to get the best result obtained on this benchmark | 1988.3199 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 650 |
Number of constraints | 303 |
Number of domains | 2 |
Minimum domain size | 1000 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1000,"count":300},{"size":1001,"count":25}] |
Minimum variable degree | 0 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":0,"count":325},{"degree":2,"count":300},{"degree":25,"count":23},{"degree":26,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 300 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":300},{"arity":25,"count":1},{"arity":300,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 301 |
Distribution of constraint types | [{"type":"intension","count":301},{"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: 672<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] x[21] x[22] x[23] x[24] 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[0][21] y[0][22] y[0][23] y[0][24] 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[1][21] y[1][22] y[1][23] y[1][24] 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[2][21] y[2][22] y[2][23] y[2][24] 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[3][21] y[3][22] y[3][23] y[3][24] 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[4][21] y[4][22] y[4][23] y[4][24] 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[5][21] y[5][22] y[5][23] y[5][24] 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[6][21] y[6][22] y[6][23] y[6][24] 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[7][21] y[7][22] y[7][23] y[7][24] 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[8][21] y[8][22] y[8][23] y[8][24] 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[9][21] y[9][22] y[9][23] y[9][24] 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[10][21] y[10][22] y[10][23] y[10][24] 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[11][21] y[11][22] y[11][23] y[11][24] 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[12][21] y[12][22] y[12][23] y[12][24] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[20][21] y[20][22] y[20][23] y[20][24] y[21][22] y[21][23] y[21][24] y[22][23] y[22][24] y[23][24] </list> <values>0 1 3 7 12 20 30 44 65 80 111 136 170 212 245 267 314 330 384 433 473 521 560 646 672 1 3 7 12 20 30 44 65 80 111 136 170 212 245 267 314 330 384 433 473 521 560 646 672 2 6 11 19 29 43 64 79 110 135 169 211 244 266 313 329 383 432 472 520 559 645 671 4 9 17 27 41 62 77 108 133 167 209 242 264 311 327 381 430 470 518 557 643 669 5 13 23 37 58 73 104 129 163 205 238 260 307 323 377 426 466 514 553 639 665 8 18 32 53 68 99 124 158 200 233 255 302 318 372 421 461 509 548 634 660 10 24 45 60 91 116 150 192 225 247 294 310 364 413 453 501 540 626 652 14 35 50 81 106 140 182 215 237 284 300 354 403 443 491 530 616 642 21 36 67 92 126 168 201 223 270 286 340 389 429 477 516 602 628 15 46 71 105 147 180 202 249 265 319 368 408 456 495 581 607 31 56 90 132 165 187 234 250 304 353 393 441 480 566 592 25 59 101 134 156 203 219 273 322 362 410 449 535 561 34 76 109 131 178 194 248 297 337 385 424 510 536 42 75 97 144 160 214 263 303 351 390 476 502 33 55 102 118 172 221 261 309 348 434 460 22 69 85 139 188 228 276 315 401 427 47 63 117 166 206 254 293 379 405 16 70 119 159 207 246 332 358 54 103 143 191 230 316 342 49 89 137 176 262 288 40 88 127 213 239 48 87 173 199 39 125 151 86 112 26 </values> </instantiation>