Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff56.xml |
MD5SUM | bde8bf62cee6a52be775f8ad73fb794c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1664 |
Best CPU time to get the best result obtained on this benchmark | 11.5332 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 299 |
Number of constraints | 295 |
Number of domains | 36 |
Minimum domain size | 34 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":34,"count":6},{"size":35,"count":114},{"size":36,"count":179}] |
Minimum variable degree | 2 |
Maximum variable degree | 50 |
Distribution of variable degrees | [{"degree":2,"count":294},{"degree":50,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":245},{"arity":5,"count":1},{"arity":6,"count":49}] |
Number of extensional constraints | 245 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":245},{"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: 1664<instantiation id='sol85' type='solution' cost='1664'> <list> x[] drd[][] dr[] </list> <values> 51 157 312 579 818 42 64 219 486 725 55 51 206 473 712 55 51 206 473 712 859 753 598 331 92 859 753 598 331 92 51 55 210 477 716 0 106 261 528 767 0 106 261 528 767 51 157 312 579 818 718 612 457 190 49 718 612 457 190 49 220 114 41 308 547 221 115 40 307 546 492 386 231 36 275 491 385 230 37 276 109 3 152 419 658 104 2 157 424 663 123 17 138 405 644 122 16 139 406 645 289 183 28 239 478 289 183 28 239 478 29 135 290 557 796 106 0 155 422 661 106 0 155 422 661 85 21 176 443 682 85 21 176 443 682 4 102 257 524 763 4 102 257 524 763 823 717 562 295 56 823 717 562 295 56 263 157 2 265 504 261 155 0 267 506 473 367 212 55 294 767 661 506 239 0 767 661 506 239 0 654 548 393 126 113 654 548 393 126 113 552 446 291 24 215 552 446 291 24 215 597 491 336 69 170 596 490 335 68 171 172 66 89 356 595 181 75 80 347 586 30 136 291 558 797 528 422 267 0 239 528 422 267 0 239 17 123 278 545 784 23 129 284 551 790 18 88 243 510 749 42 51 51 92 92 51 0 0 51 49 49 41 40 36 37 3 2 17 16 28 28 29 0 0 21 21 4 4 56 56 2 0 55 0 0 113 113 24 24 69 68 66 75 30 0 0 17 23 18 </values> </instantiation>