PB'11 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUMaa73e48897f9c10e5003e2188d9e7ab9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24890
Best CPU time to get the best result obtained on this benchmark0.040993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24890
Optimality of the best value was proved YES
Number of variables644
Total number of constraints1034
Number of constraints which are clauses1034
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 353
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 561307
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 561307
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452476OPT24890 0.040993 0.0421151
SCIP spx 2 2011-06-10 (fixed) (complete)3485294OPT24890 0.041993 0.042795
SCIP spx E_2 2011-06-10 (fixed) (complete)3488736OPT24890 0.043993 0.0437571
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450816OPT24890 0.044992 0.0452471
wbo 1.6 (complete)3460712OPT24890 0.379942 0.380188
borg pb-opt-11.04.03 (complete)3481673OPT24890 0.489924 0.643623
pwbo 1.1 (complete)3500549OPT24890 0.894863 0.450359
clasp 2.0-R4191 (complete)3468031SAT (TO)24890 1800.06 1800.02
Sat4j Resolution 2.3.0 (complete)3458520SAT (TO)24890 1800.07 1796.15
Sat4j CuttingPlanes 2.3.0 (complete)3456328SAT (TO)24890 1800.26 1797.1
Sat4j Res//CP 2.3.0 (complete)3454136SAT (TO)24890 1800.32 1000.02
bsolo 3.2 (complete)3462924SAT26324 1798 1797.95
MinisatID 2.5.2-gmp (fixed) (complete)3496557? (TO)25459 1800.05 1802.01
MinisatID 2.5.2 (fixed) (complete)3490457? (TO)25459 1800.08 1800.01
MinisatID 2.4.8 [DEPRECATED] (complete)3464584? (TO)26687 1800.07 1800.02
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466244? (TO)26687 1800.07 1802.01

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 24890
Solution found:
-x54 -x53 -x625 -x52 -x620 -x614 -x608 -x603 -x51 -x601 x50 -x597 -x49 -x48 -x592 -x590 -x588 -x584 -x47 -x579 -x577 -x46 -x572 x568 -x566
-x564 -x562 -x560 -x557 -x554 -x552 -x549 -x545 -x542 -x540 -x538 -x45 -x535 -x533 -x44 -x529 -x527 -x524 -x522 -x520 -x518 -x516 -x514
-x512 -x509 -x507 -x504 -x501 -x499 -x497 -x495 -x43 -x491 -x488 -x42 -x484 -x41 -x480 -x478 -x476 -x40 -x39 -x38 -x471 -x468 -x466 -x464
-x462 -x460 -x37 -x456 -x36 -x453 -x450 -x448 x446 -x444 -x442 -x440 -x438 -x436 -x433 -x431 -x429 -x427 -x35 -x424 -x421 -x419 -x34 -x417
-x415 -x413 -x411 -x408 -x406 -x404 -x402 -x400 -x398 -x33 -x396 -x394 -x392 -x390 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x32
-x369 -x366 -x31 -x364 -x361 -x30 -x29 -x356 -x353 -x28 -x351 -x27 -x26 -x347 -x25 -x344 -x341 -x24 -x339 -x337 -x335 -x332 -x330 -x328 -x23
-x325 -x22 -x322 -x320 -x21 -x317 -x315 -x20 -x312 -x19 -x308 -x18 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x17 -x291 -x289 -x16 -x286
-x284 -x281 -x279 -x277 -x275 -x272 -x270 -x268 -x266 -x264 -x15 -x261 -x259 -x257 -x254 -x252 -x250 -x248 -x246 -x244 -x14 -x242 -x240
-x238 -x236 -x13 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 x199 -x197 -x195
-x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149
-x147 -x145 -x143 -x12 -x141 -x138 -x136 -x134 -x132 -x130 -x11 -x128 -x125 -x10 -x123 -x121 -x118 -x116 -x114 -x112 -x9 -x110 -x108 -x106
-x8 -x103 -x101 -x7 -x98 -x96 -x94 -x92 -x90 -x87 -x85 -x83 -x6 -x5 -x4 -x78 -x3 -x75 -x73 -x71 -x69 -x67 -x65 -x63 -x2 -x61 -x59 -x57 -x1
-x55 -x644 x643 x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x624 -x623 -x622 -x621
-x619 -x618 x617 x616 -x615 -x613 x612 -x611 -x610 -x609 -x607 -x606 -x605 -x604 -x602 x600 -x599 -x598 -x596 -x595 x594 -x593 -x591 -x589
-x587 -x586 -x585 -x583 x582 -x581 -x580 -x578 -x576 -x575 -x574 -x573 -x571 -x570 x569 -x567 -x565 -x563 -x561 -x559 -x558 -x556 -x555
-x553 -x551 -x550 -x548 -x547 -x546 -x544 -x543 -x541 -x539 -x537 -x536 -x534 -x532 -x531 -x530 -x528 -x526 -x525 -x523 -x521 -x519 -x517
-x515 -x513 x511 -x510 -x508 -x506 -x505 -x503 -x502 -x500 -x498 -x496 -x494 -x493 -x492 -x490 -x489 -x487 -x486 -x485 -x483 -x482 -x481
-x479 -x477 -x475 -x474 -x473 -x472 x470 -x469 -x467 -x465 -x463 -x461 -x459 -x458 -x457 -x455 -x454 -x452 -x451 -x449 x447 -x445 -x443
-x441 -x439 -x437 -x435 -x434 -x432 -x430 -x428 -x426 -x425 -x423 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x409 -x407 -x405 -x403 -x401
-x399 -x397 -x395 -x393 -x391 -x389 -x388 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x370 -x368 -x367 -x365 -x363 -x362 -x360
-x359 -x358 -x357 -x355 -x354 -x352 -x350 -x349 -x348 -x346 -x345 -x343 -x342 -x340 -x338 -x336 -x334 -x333 -x331 -x329 -x327 -x326 -x324
-x323 -x321 -x319 -x318 -x316 -x314 -x313 -x311 -x310 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x292 -x290 -x288 -x287 -x285
-x283 -x282 -x280 -x278 -x276 x274 -x273 -x271 -x269 -x267 -x265 -x263 -x262 -x260 -x258 -x256 -x255 -x253 -x251 -x249 -x247 -x245 -x243
-x241 -x239 -x237 -x235 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 x200 -x198
-x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152
-x150 -x148 -x146 -x144 -x142 -x140 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x126 -x124 -x122 -x120 -x119 -x117 -x115 -x113 -x111 -x109
-x107 -x105 -x104 -x102 -x100 -x99 -x97 -x95 -x93 -x91 x89 -x88 -x86 -x84 -x82 -x81 -x80 -x79 -x77 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62
-x60 -x58 -x56