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

Result page for benchmark
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb
MD5SUM703541714091bf2de3415b24b852b4fc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark4.06038
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables144
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)288
Sum of products size (including duplicates)576
Number of different products288
Sum of products size576

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
bsolo 3.2 Cl (complete)2670674OPT2 4.06038 4.06173
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)2658439OPT2 4.75428 4.13105
wbo 1.4b (complete)2702236OPT2 5.67114 5.67433
wbo 1.4b (fixed) (complete)2702237OPT2 5.69113 5.6917
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)2666540OPT2 7.76482 7.76712
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)2703109OPT2 7.78582 7.78922
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)2661798OPT2 13.8259 8.83538
bsolo 3.2 Card (complete)2670673OPT2 14.5598 14.5622
PB/CT 0.1 fixed (complete)2681564OPT2 82.1255 82.1663
PB/CT 0.1 (complete)2667970OPT2 110.033 110.066
SCIPnone SCIP 1.2.1.2 without any LP solver (complete)2663680OPT2 177.299 177.356
PBPASSolver 2010-06-13 (complete)2673386OPT2 521.109 521.341
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)2665110OPT2 567.56 567.736
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)2670094SAT (TO)3 1800.24 1770.74
pb_cplex 2010-06-29 (complete)2697019? (TO) 1800.09 1022.72

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: 2
Solution found:
-x1 x2 -x3 -x4 -x5 -x6 x7 x8 x9 -x10 x11 -x12 x13 x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 x30 x31 -x32
-x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 x54 -x145 x146 -x147 -x148 -x149 -x150
-x151 x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174
-x175 -x176 -x177 -x178 -x179 -x180 -x55 x56 x57 x58 -x59 x60 -x97 -x98 -x99 -x100 -x101 -x102 -x181 x182 x183 x184 -x185 x186 -x187 x188
x189 x190 -x191 x192 -x193 x194 x195 x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
-x213 -x214 -x215 -x216 -x61 x62 -x63 -x64 -x65 -x66 x103 -x104 x105 -x106 -x107 -x108 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
-x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248
-x249 -x250 -x251 -x252 -x67 x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
-x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284
-x285 -x286 -x287 -x288 -x73 x74 -x75 -x76 -x77 -x78 x115 -x116 -x117 -x118 -x119 -x120 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
-x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320
-x321 -x322 -x323 -x324 -x79 x80 -x81 -x82 -x83 -x84 x121 -x122 -x123 -x124 -x125 -x126 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
-x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356
-x357 -x358 -x359 -x360 -x85 x86 -x87 -x88 -x89 -x90 x127 -x128 -x129 -x130 -x131 -x132 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
-x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392
-x393 -x394 -x395 -x396 -x91 x92 -x93 -x94 -x95 -x96 x133 -x134 -x135 -x136 -x137 -x138 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
-x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428
-x429 -x430 -x431 -x432 x139 -x140 -x141 -x142 -x143 -x144