Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml |
MD5SUM | 9601f9fdcfec45ff7e2268abb15a55d6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1334 |
Best CPU time to get the best result obtained on this benchmark | 19.1138 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 349 |
Number of constraints | 344 |
Number of domains | 36 |
Minimum domain size | 34 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":34,"count":7},{"size":35,"count":133},{"size":36,"count":209}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":343},{"degree":50,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":2,"count":294},{"arity":6,"count":1},{"arity":7,"count":49}] |
Number of extensional constraints | 294 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":294},{"type":"ordered","count":1},{"type":"minimum","count":49}] |
Optimization problem | YES |
Type of objective | min SUM |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 1334<instantiation> <list> x[0] x[1] x[2] x[3] x[4] x[5] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[43][5] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[44][5] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[45][5] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[46][5] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[47][5] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[48][5] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] </list> <values> 51 157 314 579 705 874 42 64 221 486 612 781 55 51 208 473 599 768 55 51 208 473 599 768 859 753 596 331 205 36 859 753 596 331 205 36 51 55 212 477 603 772 0 106 263 528 654 823 0 106 263 528 654 823 51 157 314 579 705 874 718 612 455 190 64 105 718 612 455 190 64 105 220 114 43 308 434 603 221 115 42 307 433 602 492 386 229 36 162 331 491 385 228 37 163 332 109 3 154 419 545 714 104 2 159 424 550 719 123 17 140 405 531 700 122 16 141 406 532 701 289 183 26 239 365 534 289 183 26 239 365 534 29 135 292 557 683 852 106 0 157 422 548 717 106 0 157 422 548 717 85 21 178 443 569 738 85 21 178 443 569 738 4 102 259 524 650 819 4 102 259 524 650 819 823 717 560 295 169 0 823 717 560 295 169 0 263 157 0 265 391 560 261 155 2 267 393 562 473 367 210 55 181 350 767 661 504 239 113 56 767 661 504 239 113 56 654 548 391 126 0 169 654 548 391 126 0 169 552 446 289 24 102 271 552 446 289 24 102 271 597 491 334 69 57 226 596 490 333 68 58 227 172 66 91 356 482 651 181 75 82 347 473 642 30 136 293 558 684 853 528 422 265 0 126 295 528 422 265 0 126 295 17 123 280 545 671 840 23 129 286 551 677 846 18 88 245 510 636 805 42 51 51 36 36 51 0 0 51 64 64 43 42 36 37 3 2 17 16 26 26 29 0 0 21 21 4 4 0 0 0 2 55 56 56 0 0 24 24 57 58 66 75 30 0 0 17 23 18 </values> </instantiation>