Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml |
MD5SUM | 76d2700a299711a8f7ac3a1d3d618278 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3420 |
Best CPU time to get the best result obtained on this benchmark | 0.41868401 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 199 |
Number of constraints | 197 |
Number of domains | 36 |
Minimum domain size | 34 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":34,"count":4},{"size":35,"count":76},{"size":36,"count":119}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":196},{"degree":50,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":1},{"arity":4,"count":49}] |
Number of extensional constraints | 147 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":147},{"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: 3420<instantiation type="optimum" cost="3420"> <list> x[0] x[1] x[2] drd[0][0] drd[0][1] drd[0][2] drd[1][0] drd[1][1] drd[1][2] drd[2][0] drd[2][1] drd[2][2] drd[3][0] drd[3][1] drd[3][2] drd[4][0] drd[4][1] drd[4][2] drd[5][0] drd[5][1] drd[5][2] drd[6][0] drd[6][1] drd[6][2] drd[7][0] drd[7][1] drd[7][2] drd[8][0] drd[8][1] drd[8][2] drd[9][0] drd[9][1] drd[9][2] drd[10][0] drd[10][1] drd[10][2] drd[11][0] drd[11][1] drd[11][2] drd[12][0] drd[12][1] drd[12][2] drd[13][0] drd[13][1] drd[13][2] drd[14][0] drd[14][1] drd[14][2] drd[15][0] drd[15][1] drd[15][2] drd[16][0] drd[16][1] drd[16][2] drd[17][0] drd[17][1] drd[17][2] drd[18][0] drd[18][1] drd[18][2] drd[19][0] drd[19][1] drd[19][2] drd[20][0] drd[20][1] drd[20][2] drd[21][0] drd[21][1] drd[21][2] drd[22][0] drd[22][1] drd[22][2] drd[23][0] drd[23][1] drd[23][2] drd[24][0] drd[24][1] drd[24][2] drd[25][0] drd[25][1] drd[25][2] drd[26][0] drd[26][1] drd[26][2] drd[27][0] drd[27][1] drd[27][2] drd[28][0] drd[28][1] drd[28][2] drd[29][0] drd[29][1] drd[29][2] drd[30][0] drd[30][1] drd[30][2] drd[31][0] drd[31][1] drd[31][2] drd[32][0] drd[32][1] drd[32][2] drd[33][0] drd[33][1] drd[33][2] drd[34][0] drd[34][1] drd[34][2] drd[35][0] drd[35][1] drd[35][2] drd[36][0] drd[36][1] drd[36][2] drd[37][0] drd[37][1] drd[37][2] drd[38][0] drd[38][1] drd[38][2] drd[39][0] drd[39][1] drd[39][2] drd[40][0] drd[40][1] drd[40][2] drd[41][0] drd[41][1] drd[41][2] drd[42][0] drd[42][1] drd[42][2] drd[43][0] drd[43][1] drd[43][2] drd[44][0] drd[44][1] drd[44][2] drd[45][0] drd[45][1] drd[45][2] drd[46][0] drd[46][1] drd[46][2] drd[47][0] drd[47][1] drd[47][2] drd[48][0] drd[48][1] drd[48][2] 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> 136 579 818 43 486 725 30 473 712 30 473 712 774 331 92 774 331 92 34 477 716 85 528 767 85 528 767 136 579 818 633 190 49 633 190 49 135 308 547 136 307 546 407 36 275 406 37 276 24 419 658 19 424 663 38 405 644 37 406 645 204 239 478 204 239 478 114 557 796 21 422 661 21 422 661 0 443 682 0 443 682 81 524 763 81 524 763 738 295 56 738 295 56 178 265 504 176 267 506 388 55 294 682 239 0 682 239 0 569 126 113 569 126 113 467 24 215 467 24 215 512 69 170 511 68 171 87 356 595 96 347 586 115 558 797 443 0 239 443 0 239 102 545 784 108 551 790 67 510 749 43 30 30 92 92 34 85 85 136 49 49 135 136 36 37 24 19 38 37 204 204 114 21 21 0 0 81 81 56 56 178 176 55 0 0 113 113 24 24 69 68 87 96 115 0 0 102 108 67 </values> </instantiation>