| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml |
| MD5SUM | 4a8acae89d0947337e32da9d5bedd9eb |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 730 |
| Best CPU time to get the best result obtained on this benchmark | 2003.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 702 |
| Number of constraints | 328 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":325},{"size":1001,"count":26}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":24},{"degree":27,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 325 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":325},{"arity":26,"count":1},{"arity":325,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 326 |
| Distribution of constraint types | [{"type":"intension","count":326},{"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: 730<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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[21][22] y[21][23] y[21][24] y[21][25] y[22][23] y[22][24] y[22][25] y[23][24] y[23][25] y[24][25] </list> <values>0 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 2 6 11 19 29 43 65 90 105 121 147 198 219 247 299 354 412 450 485 524 609 662 696 729 4 9 17 27 41 63 88 103 119 145 196 217 245 297 352 410 448 483 522 607 660 694 727 5 13 23 37 59 84 99 115 141 192 213 241 293 348 406 444 479 518 603 656 690 723 8 18 32 54 79 94 110 136 187 208 236 288 343 401 439 474 513 598 651 685 718 10 24 46 71 86 102 128 179 200 228 280 335 393 431 466 505 590 643 677 710 14 36 61 76 92 118 169 190 218 270 325 383 421 456 495 580 633 667 700 22 47 62 78 104 155 176 204 256 311 369 407 442 481 566 619 653 686 25 40 56 82 133 154 182 234 289 347 385 420 459 544 597 631 664 15 31 57 108 129 157 209 264 322 360 395 434 519 572 606 639 16 42 93 114 142 194 249 307 345 380 419 504 557 591 624 26 77 98 126 178 233 291 329 364 403 488 541 575 608 51 72 100 152 207 265 303 338 377 462 515 549 582 21 49 101 156 214 252 287 326 411 464 498 531 28 80 135 193 231 266 305 390 443 477 510 52 107 165 203 238 277 362 415 449 482 55 113 151 186 225 310 363 397 430 58 96 131 170 255 308 342 375 38 73 112 197 250 284 317 35 74 159 212 246 279 39 124 177 211 244 85 138 172 205 53 87 120 34 67 33 </values> </instantiation>