Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b258fc1dc8cb1827e842a0b9558712c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.039993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 435 |
Total number of constraints | 501 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 98 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 0-x359 x235 x63 x6 x341 x236 -x400 x363 x340 x240 -x7 -x399 x361 x239 -x8 -x401 x342 x237 -x144 -x11 -x434 x362 x344 x238 -x143 -x9 -x417 -x366 x145 -x10 -x421 x345 x435 -x358 x234 -x183 x62 x3 -x337 x233 -x187 x5 x364 -x336 -x321 -x244 x4 -x12 x367 x343 x402 -x365 x346 x416 -x410 -x420 x406 x146 x405 -x387 x154 -x27 x150 -x31 -x356 -x317 -x252 x247 -x182 x64 -x360 -x256 x248 -x186 x2 x357 -x320 -x243 x20 x368 x338 -x16 -x407 x339 -x241 -x161 -x68 -x15 -x409 -x165 x418 -x383 x350 x151 -x129 -x422 x153 x403 -x386 -x302 -x26 x149 -x30 -x316 -x274 x251 x245 -x184 x65 -x17 x355 -x278 -x255 -x188 -x19 x376 -x322 x84 x69 -x412 -x408 x372 -x88 x67 x411 -x371 x353 -x242 -x190 x160 -x125 -x48 -x13 x354 -x191 x164 -x152 x419 -x382 x349 -x325 -x298 -x128 -x14 -x423 x424 -x404 -x388 x347 -x301 -x28 x425 x147 -x32 -x373 -x318 -x273 x253 -x246 -x185 x66 -x18 -x375 -x277 -x257 -x189 x70 -x352 -x323 -x193 x83 -x44 x351 -x192 -x87 -x378 -x369 -x326 -x259 x162 -x124 -x47 x413 -x324 -x260 x166 -x22 x414 -x384 -x370 -x297 -x130 -x21 x415 x429 -x389 -x348 x303 x168 -x29 x169 x148 -x33 -x374 -x314 -x275 x254 -x181 x78 -x319 -x279 x258 -x180 -x156 x74 -x315 x262 -x197 -x155 -x120 x85 x73 -x43 -x327 x261 -x89 -x293 -x281 -x221 x163 -x126 -x112 x49 -x377 -x282 -x225 x167 x432 -x379 x299 x171 -x131 -x91 x433 -x385 x170 -x92 -x23 x428 -x381 x304 -x211 -x132 -x52 -x24 -x390 -x133 -x25 -x276 x250 -x200 x80 x77 -x39 -x313 -x280 x249 -x201 -x335 -x284 x266 -x196 x108 x86 -x71 -x45 -x331 -x283 x157 -x119 -x90 x431 -x330 -x220 -x194 x158 -x121 -x111 -x94 -x72 x50 x430 -x292 -x224 x159 -x127 -x93 -x294 -x207 x175 -x123 x53 -x380 x300 -x134 -x51 x426 -x398 x296 -x210 -x36 -x394 x305 -x37 -x332 -x272 x269 -x198 -x75 -x334 -x271 x270 x79 -x38 -x288 -x265 x107 x81 x40 x82 -x46 -x328 -x263 -x222 -x195 -x178 x113 x98 x42 -x226 x179 -x122 x54 -x395 -x329 -x206 x174 -x142 -x35 -x397 x295 -x138 -x34 -x427 -x312 x228 x212 -x172 -x137 x116 -x393 x308 x229 -x333 -x289 x267 -x199 x105 -x76 -x291 -x216 -x287 -x215 -x177 x109 x101 -x176 x102 x41 -x285 -x264 -x223 -x204 -x139 x114 x97 x61 -x396 -x227 -x141 x58 -x309 x231 -x208 x117 x95 -x57 -x311 x230 x115 x213 -x173 -x135 -x391 x306 -x290 x268 x100 x104 x99 x103 x60 -x217 -x140 x110 x59 -x286 -x218 x106 -x310 x219 -x203 x118 x232 x202 -x96 -x55 x209 x205 -x136 -x56 -x392 x307 x214 x1