| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff59.xml |
| MD5SUM | 1df56f74b1b4f47dde22644efb181f33 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 242 |
| Best CPU time to get the best result obtained on this benchmark | 14.6025 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 362 |
| Number of constraints | 353 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":11},{"size":25,"count":33},{"size":26,"count":318}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":352},{"degree":33,"count":10}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 11 |
| Distribution of constraint arities | [{"arity":2,"count":320},{"arity":10,"count":1},{"arity":11,"count":32}] |
| Number of extensional constraints | 320 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":320},{"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: 242<instantiation id='sol70' type='solution' cost='242'> <list> x[] drd[][] dr[] </list> <values> 23 62 95 122 209 467 512 546 606 661 114 75 42 15 72 330 375 409 469 524 27 12 45 72 159 417 462 496 556 611 99 60 27 0 87 345 390 424 484 539 99 60 27 0 87 345 390 424 484 539 64 25 8 35 122 380 425 459 519 574 58 19 14 41 128 386 431 465 525 580 164 125 92 65 22 280 325 359 419 474 35 4 37 64 151 409 454 488 548 603 137 98 65 38 49 307 352 386 446 501 75 36 3 24 111 369 414 448 508 563 72 33 0 27 114 372 417 451 511 566 2 37 70 97 184 442 487 521 581 636 0 39 72 99 186 444 489 523 583 638 688 649 616 589 502 244 199 165 105 50 18 21 54 81 168 426 471 505 565 620 489 450 417 390 303 45 0 34 94 149 489 450 417 390 303 45 0 34 94 149 81 42 9 18 105 363 408 442 502 557 44 5 28 55 142 400 445 479 539 594 638 599 566 539 452 194 149 115 55 0 638 599 566 539 452 194 149 115 55 0 444 405 372 345 258 0 45 79 139 194 444 405 372 345 258 0 45 79 139 194 215 176 143 116 29 229 274 308 368 423 39 0 33 60 147 405 450 484 544 599 39 0 33 60 147 405 450 484 544 599 583 544 511 484 397 139 94 60 0 55 583 544 511 484 397 139 94 60 0 55 186 147 114 87 0 258 303 337 397 452 11 50 83 110 197 455 500 534 594 649 525 486 453 426 339 81 36 2 58 113 523 484 451 424 337 79 34 0 60 115 15 12 0 0 8 14 22 4 38 3 0 2 0 50 18 0 0 9 5 0 0 0 0 29 0 0 0 0 0 11 2 0 </values> </instantiation>