| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff61.xml |
| MD5SUM | 275e9239012ab7a817236ff89c8de286 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 152 |
| Best CPU time to get the best result obtained on this benchmark | 16.4149 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 428 |
| Number of constraints | 417 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":416},{"degree":33,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 13 |
| Distribution of constraint arities | [{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}] |
| Number of extensional constraints | 384 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":384},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
| 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: 152<instantiation id='sol75' type='solution' cost='152'> <list> x[] drd[][] dr[] </list> <values> 23 62 95 122 187 238 467 512 546 606 661 711 114 75 42 15 50 101 330 375 409 469 524 574 27 12 45 72 137 188 417 462 496 556 611 661 99 60 27 0 65 116 345 390 424 484 539 589 99 60 27 0 65 116 345 390 424 484 539 589 64 25 8 35 100 151 380 425 459 519 574 624 58 19 14 41 106 157 386 431 465 525 580 630 164 125 92 65 0 51 280 325 359 419 474 524 35 4 37 64 129 180 409 454 488 548 603 653 137 98 65 38 27 78 307 352 386 446 501 551 75 36 3 24 89 140 369 414 448 508 563 613 72 33 0 27 92 143 372 417 451 511 566 616 2 37 70 97 162 213 442 487 521 581 636 686 0 39 72 99 164 215 444 489 523 583 638 688 688 649 616 589 524 473 244 199 165 105 50 0 18 21 54 81 146 197 426 471 505 565 620 670 489 450 417 390 325 274 45 0 34 94 149 199 489 450 417 390 325 274 45 0 34 94 149 199 81 42 9 18 83 134 363 408 442 502 557 607 44 5 28 55 120 171 400 445 479 539 594 644 638 599 566 539 474 423 194 149 115 55 0 50 638 599 566 539 474 423 194 149 115 55 0 50 444 405 372 345 280 229 0 45 79 139 194 244 444 405 372 345 280 229 0 45 79 139 194 244 215 176 143 116 51 0 229 274 308 368 423 473 39 0 33 60 125 176 405 450 484 544 599 649 39 0 33 60 125 176 405 450 484 544 599 649 583 544 511 484 419 368 139 94 60 0 55 105 583 544 511 484 419 368 139 94 60 0 55 105 186 147 114 87 22 29 258 303 337 397 452 502 11 50 83 110 175 226 455 500 534 594 649 699 525 486 453 426 361 310 81 36 2 58 113 163 523 484 451 424 359 308 79 34 0 60 115 165 15 12 0 0 8 14 0 4 27 3 0 2 0 0 18 0 0 9 5 0 0 0 0 0 0 0 0 0 22 11 2 0 </values> </instantiation>