| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
| MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 877 |
| Best CPU time to get the best result obtained on this benchmark | 2003.88 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 812 |
| Number of constraints | 381 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 378 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 379 |
| Distribution of constraint types | [{"type":"intension","count":379},{"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: 877<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] x[25] x[26] x[27] 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[0][25] y[0][26] y[0][27] 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[1][25] y[1][26] y[1][27] 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[2][25] y[2][26] y[2][27] 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[3][25] y[3][26] y[3][27] 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[4][25] y[4][26] y[4][27] 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[5][25] y[5][26] y[5][27] 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[6][25] y[6][26] y[6][27] 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[7][25] y[7][26] y[7][27] 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[8][25] y[8][26] y[8][27] 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[9][25] y[9][26] y[9][27] 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[10][25] y[10][26] y[10][27] 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[11][25] y[11][26] y[11][27] 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[12][25] y[12][26] y[12][27] 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[13][25] y[13][26] y[13][27] 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[14][25] y[14][26] y[14][27] 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[15][25] y[15][26] y[15][27] 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[16][25] y[16][26] y[16][27] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][24] y[23][25] y[23][26] y[23][27] y[24][25] y[24][26] y[24][27] y[25][26] y[25][27] y[26][27] </list> <values>0 1 3 10 14 22 37 42 66 72 112 145 163 188 237 282 320 336 367 420 500 526 587 676 743 800 860 877 1 3 10 14 22 37 42 66 72 112 145 163 188 237 282 320 336 367 420 500 526 587 676 743 800 860 877 2 9 13 21 36 41 65 71 111 144 162 187 236 281 319 335 366 419 499 525 586 675 742 799 859 876 7 11 19 34 39 63 69 109 142 160 185 234 279 317 333 364 417 497 523 584 673 740 797 857 874 4 12 27 32 56 62 102 135 153 178 227 272 310 326 357 410 490 516 577 666 733 790 850 867 8 23 28 52 58 98 131 149 174 223 268 306 322 353 406 486 512 573 662 729 786 846 863 15 20 44 50 90 123 141 166 215 260 298 314 345 398 478 504 565 654 721 778 838 855 5 29 35 75 108 126 151 200 245 283 299 330 383 463 489 550 639 706 763 823 840 24 30 70 103 121 146 195 240 278 294 325 378 458 484 545 634 701 758 818 835 6 46 79 97 122 171 216 254 270 301 354 434 460 521 610 677 734 794 811 40 73 91 116 165 210 248 264 295 348 428 454 515 604 671 728 788 805 33 51 76 125 170 208 224 255 308 388 414 475 564 631 688 748 765 18 43 92 137 175 191 222 275 355 381 442 531 598 655 715 732 25 74 119 157 173 204 257 337 363 424 513 580 637 697 714 49 94 132 148 179 232 312 338 399 488 555 612 672 689 45 83 99 130 183 263 289 350 439 506 563 623 640 38 54 85 138 218 244 305 394 461 518 578 595 16 47 100 180 206 267 356 423 480 540 557 31 84 164 190 251 340 407 464 524 541 53 133 159 220 309 376 433 493 510 80 106 167 256 323 380 440 457 26 87 176 243 300 360 377 61 150 217 274 334 351 89 156 213 273 290 67 124 184 201 57 117 134 60 77 17 </values> </instantiation>