| 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 | 914 |
| Best CPU time to get the best result obtained on this benchmark | 19852.1 |
| 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: 914<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 7 12 20 30 45 61 93 107 129 164 217 260 311 332 387 443 469 581 618 670 736 816 850 890 914 1 3 7 12 20 30 45 61 93 107 129 164 217 260 311 332 387 443 469 581 618 670 736 816 850 890 914 2 6 11 19 29 44 60 92 106 128 163 216 259 310 331 386 442 468 580 617 669 735 815 849 889 913 4 9 17 27 42 58 90 104 126 161 214 257 308 329 384 440 466 578 615 667 733 813 847 887 911 5 13 23 38 54 86 100 122 157 210 253 304 325 380 436 462 574 611 663 729 809 843 883 907 8 18 33 49 81 95 117 152 205 248 299 320 375 431 457 569 606 658 724 804 838 878 902 10 25 41 73 87 109 144 197 240 291 312 367 423 449 561 598 650 716 796 830 870 894 15 31 63 77 99 134 187 230 281 302 357 413 439 551 588 640 706 786 820 860 884 16 48 62 84 119 172 215 266 287 342 398 424 536 573 625 691 771 805 845 869 32 46 68 103 156 199 250 271 326 382 408 520 557 609 675 755 789 829 853 14 36 71 124 167 218 239 294 350 376 488 525 577 643 723 757 797 821 22 57 110 153 204 225 280 336 362 474 511 563 629 709 743 783 807 35 88 131 182 203 258 314 340 452 489 541 607 687 721 761 785 53 96 147 168 223 279 305 417 454 506 572 652 686 726 750 43 94 115 170 226 252 364 401 453 519 599 633 673 697 51 72 127 183 209 321 358 410 476 556 590 630 654 21 76 132 158 270 307 359 425 505 539 579 603 55 111 137 249 286 338 404 484 518 558 582 56 82 194 231 283 349 429 463 503 527 26 138 175 227 293 373 407 447 471 112 149 201 267 347 381 421 445 37 89 155 235 269 309 333 52 118 198 232 272 296 66 146 180 220 244 80 114 154 178 34 74 98 40 64 24 </values> </instantiation>