| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff73.xml |
| MD5SUM | 801e7f15777543f741f290b294b0d689 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 582 |
| Best CPU time to get the best result obtained on this benchmark | 8.04598 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 230 |
| Number of constraints | 225 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":7},{"size":25,"count":21},{"size":26,"count":202}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":224},{"degree":33,"count":6}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 7 |
| Distribution of constraint arities | [{"arity":2,"count":192},{"arity":6,"count":1},{"arity":7,"count":32}] |
| Number of extensional constraints | 192 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":192},{"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: 582<instantiation id='sol117' type='solution' cost='582'> <list> x[] drd[][] dr[] </list> <values> 50 98 187 512 606 661 87 39 50 375 469 524 0 48 137 462 556 611 72 24 65 390 484 539 72 24 65 390 484 539 37 11 100 425 519 574 31 17 106 431 525 580 137 89 0 325 419 474 8 40 129 454 548 603 110 62 27 352 446 501 48 0 89 414 508 563 45 3 92 417 511 566 25 73 162 487 581 636 27 75 164 489 583 638 661 613 524 199 105 50 9 57 146 471 565 620 462 414 325 0 94 149 462 414 325 0 94 149 54 6 83 408 502 557 17 31 120 445 539 594 611 563 474 149 55 0 611 563 474 149 55 0 417 369 280 45 139 194 417 369 280 45 139 194 188 140 51 274 368 423 12 36 125 450 544 599 12 36 125 450 544 599 556 508 419 94 0 55 556 508 419 94 0 55 159 111 22 303 397 452 38 86 175 500 594 649 498 450 361 36 58 113 496 448 359 34 60 115 39 0 24 24 11 17 0 8 27 0 3 25 27 50 9 0 0 6 17 0 0 45 45 51 12 12 0 0 22 38 36 34 </values> </instantiation>