Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
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.160975 |
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 | 776 |
Total number of constraints | 867 |
Number of constraints which are clauses | 701 |
Number of constraints which are cardinality constraints (but not clauses) | 166 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 776 |
Biggest coefficient in the objective function | 474 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 2127 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 474 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2127 |
Number of bits of the biggest sum of numbers | 12 |
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: 0x757 x694 -x589 -x263 -x242 x57 -x39 x693 -x591 -x487 -x264 -x247 x56 -x38 x758 -x701 -x590 x486 -x440 -x267 -x246 x55 -x40 -x759 x695 -x595 x488 -x445 -x265 -x53 x41 x762 -x696 -x613 -x594 x489 -x444 -x266 x249 -x54 -x48 x760 -x697 -x612 -x592 x490 -x402 x250 -x42 -x3 x761 -x614 -x593 -x497 x447 -x422 -x401 -x253 x199 -x172 -x43 -x2 -x735 -x617 x491 x448 -x421 -x407 -x386 -x251 -x177 -x44 -x4 -x734 x616 x492 -x451 -x423 -x406 -x385 -x274 -x252 x198 -x176 -x138 -x5 -x621 x493 -x449 -x426 -x408 -x387 -x367 x279 -x202 -x156 -x137 -x19 x6 -x736 -x620 -x560 -x511 -x450 -x425 x412 -x388 -x366 x278 -x179 -x155 -x139 -x88 -x18 x13 -x738 -x651 -x618 -x516 -x430 -x411 -x389 -x203 -x180 -x157 x142 -x87 x24 -x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 x281 -x183 -x158 x141 -x89 -x67 x23 -x8 -x739 -x563 -x427 -x410 -x390 -x370 x282 -x181 -x159 x146 -x92 -x72 x25 -x9 -x741 -x652 x518 -x470 -x428 -x391 -x319 -x285 -x224 -x182 -x166 x145 -x122 -x91 -x71 x29 -x742 -x654 -x636 -x564 x519 -x471 -x392 -x371 -x318 -x283 -x160 x143 -x96 x28 -x635 -x522 -x373 -x348 -x320 -x284 -x223 -x161 x144 -x121 -x95 x74 x26 -x655 -x520 -x374 -x352 -x323 x227 -x162 -x93 x75 x27 -x657 x637 -x521 x322 -x125 -x94 -x76 -x658 x640 x324 x228 -x126 -x77 x754 -x704 x65 x756 x705 -x588 -x268 -x241 x61 x755 -x700 -x603 -x243 x60 -x51 x763 -x599 -x439 -x248 x52 -x711 -x698 -x598 -x500 x441 x245 -x47 -x715 x501 -x446 -x254 -x496 x443 -x45 -x730 x615 x452 -x403 -x171 -x729 x629 -x494 x404 x200 -x173 -x16 -x625 -x424 x405 -x362 -x273 -x204 -x178 x17 -x737 -x624 -x438 x416 -x399 -x361 -x275 x175 x12 -x740 -x646 -x510 -x434 -x400 x280 -x184 x140 -x20 -x744 -x645 -x561 -x512 -x466 -x433 -x395 -x369 x277 -x206 -x169 x154 x21 -x10 -x743 -x565 x517 -x372 -x286 -x207 -x170 x150 -x90 -x66 x22 -x653 x514 -x472 -x393 x376 -x165 -x149 -x117 -x104 -x68 x33 -x656 -x631 -x523 -x375 -x100 x73 -x660 -x630 -x567 -x347 -x225 -x163 -x123 -x99 x70 -x659 -x568 -x351 -x321 x229 -x78 x638 -x475 x332 -x127 x639 x328 -x702 -x600 -x106 x64 -x50 x753 -x602 x272 -x49 x771 -x499 x271 x58 x767 -x498 x244 x766 -x710 -x699 -x596 -x262 x59 -x714 x442 x258 -x194 x626 -x597 -x460 -x303 x257 -x193 -x46 -x15 x628 x456 -x14 -x495 x455 -x435 -x419 -x398 x201 x731 -x555 -x437 x420 -x397 -x205 x174 x732 -x622 x554 -x462 -x415 x209 -x192 -x168 -x151 x733 -x363 x276 -x208 -x188 -x167 x153 -x748 -x623 -x562 -x468 -x431 -x413 x364 x294 -x187 -x101 -x36 -x11 -x647 -x566 -x513 x365 x290 -x219 -x103 x37 -x686 -x648 x570 x531 x473 -x432 -x394 -x380 -x289 -x218 -x147 -x32 x649 x569 -x527 -x116 x69 x664 -x526 -x476 -x349 -x329 x226 -x164 -x148 -x118 -x97 x86 -x30 -x632 -x474 -x353 -x331 x230 -x124 x82 -x633 x231 x120 -x98 x81 x634 -x327 x232 x128 x768 -x703 -x601 -x334 -x105 x62 x770 x269 -x259 -x261 x764 x712 -x457 -x300 x270 -x716 x627 -x459 x765 -x418 -x302 x255 -x436 -x417 -x195 -x718 x453 x256 -x196 -x189 -x719 x197 -x191 -x152 -x751 x454 x291 -x213 -x35 x752 x556 -x461 x293 -x102 -x34 -x747 -x682 x557 x528 -x463 -x414 -x383 -x185 x558 x530 x469 -x384 -x344 -x745 -x685 -x667 x574 x465 -x379 -x343 -x287 -x186 -x83 -x668 x477 -x330 x220 -x85 x663 -x535 -x524 -x377 x350 -x288 x221 -x31 -x539 -x354 x222 -x119 -x661 x643 x605 -x525 -x355 x236 -x136 -x79 x644 x609 -x356 -x325 -x132 -x769 x333 x107 -x63 -x707 -x260 x706 -x458 x713 -x299 x109 x717 x721 x304 -x720 -x190 -x750 x216 -x749 x292 x217 x678 -x382 -x307 -x212 x529 -x381 -x681 -x666 x577 -x210 -x665 x578 x464 -x84 -x746 x687 -x573 x485 x481 x345 -x642 -x571 -x534 -x480 -x378 x346 x239 -x133 -x641 -x538 x240 -x135 -x690 -x662 x604 x235 -x80 x608 -x326 -x131 -x503 -x296 x110 x708 x108 x709 x547 -x336 -x301 x772 x725 x305 -x215 x214 x674 x308 x306 x773 x677 x774 -x576 x575 -x683 -x482 -x211 x484 x688 -x238 -x237 -x134 x691 -x572 x536 -x478 -x359 x689 -x540 -x360 x606 -x479 x233 x610 -x129 x111 -x502 -x337 -x335 -x295 x728 x546 -x297 -x724 x309 -x722 x673 -x583 -x483 x684 -x533 x680 x532 -x358 x692 -x357 x537 x541 x607 -x234 x611 -x130 x338 -x115 x727 x504 -x114 x726 x548 x298 x670 -x507 x317 x313 -x723 x675 -x582 x550 x312 x551 x679 -x587 x543 x342 x542 x505 x341 -x112 x549 -x508 x314 -x113 -x506 x316 -x581 x553 x669 x552 x671 -x584 x310 x676 -x311 x586 x339 x544 -x509 x315 x545 x340 x775 -x580 x579 x672 x585 x776 x1