Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml |
MD5SUM | f7819cc540e1493da1332403e09ec21d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 624 |
Best CPU time to get the best result obtained on this benchmark | 11.9411 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 319 |
Number of constraints | 313 |
Number of domains | 26 |
Minimum domain size | 24 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":24,"count":32},{"size":25,"count":287}] |
Minimum variable degree | 2 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":2,"count":312},{"degree":40,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}] |
Number of extensional constraints | 273 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
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: 624<instantiation id='sol86' type='solution' cost='624'> <list> x[] drd[][] dr[] </list> <values> 30 166 238 340 592 669 831 552 416 344 242 10 87 249 552 416 344 242 10 87 249 21 115 187 289 541 618 780 21 115 187 289 541 618 780 170 34 38 140 392 469 631 170 34 38 140 392 469 631 11 147 219 321 573 650 812 337 201 129 27 225 302 464 337 201 129 27 225 302 464 694 558 486 384 132 55 107 695 559 487 385 133 56 106 656 520 448 346 94 17 145 656 520 448 346 94 17 145 2 138 210 312 564 641 803 639 503 431 329 77 0 162 639 503 431 329 77 0 162 623 487 415 313 61 16 178 250 114 42 60 312 389 551 248 112 40 62 314 391 553 578 442 370 268 16 61 223 578 442 370 268 16 61 223 19 117 189 291 543 620 782 19 117 189 291 543 620 782 208 72 0 102 354 431 593 208 72 0 102 354 431 593 801 665 593 491 239 162 0 801 665 593 491 239 162 0 136 0 72 174 426 503 665 136 0 72 174 426 503 665 98 38 110 212 464 541 703 98 38 110 212 464 541 703 0 136 208 310 562 639 801 1 137 209 311 563 640 802 618 482 410 308 56 21 183 562 426 354 252 0 77 239 310 174 102 0 252 329 491 310 174 102 0 252 329 491 200 64 8 110 362 439 601 200 64 8 110 362 439 601 10 10 21 21 34 34 11 27 27 55 56 17 17 2 0 0 16 42 40 16 16 19 19 0 0 0 0 0 0 38 38 0 1 21 0 0 0 8 8 </values> </instantiation>