Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml |
MD5SUM | 005f7ae7871747b1063e6e013b23478b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1143 |
Best CPU time to get the best result obtained on this benchmark | 9.19946 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 275 |
Number of constraints | 271 |
Number of domains | 32 |
Minimum domain size | 30 |
Maximum domain size | 32 |
Distribution of domain sizes | [{"size":30,"count":6},{"size":31,"count":60},{"size":32,"count":209}] |
Minimum variable degree | 2 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":2,"count":270},{"degree":46,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":225},{"arity":5,"count":1},{"arity":6,"count":45}] |
Number of extensional constraints | 225 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":225},{"type":"ordered","count":1},{"type":"minimum","count":45}] |
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: 1143<instantiation id='sol77' type='solution' cost='1143'> <list> x[] drd[][] dr[] </list> <values> 19 107 289 375 540 356 268 86 0 165 356 268 86 0 165 104 16 166 252 417 104 16 166 252 417 521 433 251 165 0 521 433 251 165 0 15 103 285 371 536 586 498 316 230 65 586 498 316 230 65 19 107 289 375 540 35 53 235 321 486 31 57 239 325 490 79 9 191 277 442 79 9 191 277 442 293 205 23 63 228 293 205 23 63 228 70 18 200 286 451 282 194 12 74 239 33 55 237 323 488 33 55 237 323 488 421 333 151 65 100 420 332 150 64 101 12 100 282 368 533 12 100 282 368 533 53 35 217 303 468 88 0 182 268 433 88 0 182 268 433 124 36 146 232 397 124 36 146 232 397 67 21 203 289 454 76 12 194 280 445 501 413 231 145 20 93 5 177 263 428 51 37 219 305 470 0 88 270 356 521 0 88 270 356 521 218 130 52 138 303 219 131 51 137 302 334 246 64 22 187 331 243 61 25 190 44 44 226 312 477 174 86 96 182 347 174 86 96 182 347 270 182 0 86 251 270 182 0 86 251 0 0 16 16 0 0 15 65 65 19 35 31 9 9 23 23 18 12 33 33 65 64 12 12 35 0 0 36 36 21 12 20 5 37 0 0 52 51 22 25 44 86 86 0 0 </values> </instantiation>