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