Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml |
MD5SUM | 9ed96a9b02dc4e036934e9ef3088dc03 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 583 |
Best CPU time to get the best result obtained on this benchmark | 12.5948 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 323 |
Number of constraints | 319 |
Number of domains | 34 |
Minimum domain size | 31 |
Maximum domain size | 34 |
Distribution of domain sizes | [{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}] |
Minimum variable degree | 2 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":2,"count":318},{"degree":54,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}] |
Number of extensional constraints | 265 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}] |
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: 583<instantiation id='sol127' type='solution' cost='583'> <list> x[] drd[][] dr[] </list> <values> 15 52 113 204 277 1 38 99 190 263 1 38 99 190 263 91 54 7 98 171 91 54 7 98 171 36 1 62 153 226 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 1 1 7 7 1 1 20 20 15 15 11 12 29 0 0 0 1 0 0 2 2 6 5 4 39 5 28 28 8 40 19 19 15 15 7 7 30 2 9 15 15 0 0 10 10 0 0 42 42 6 6 3 3 </values> </instantiation>