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

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.044992
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables105
Total number of constraints11
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 constraints11
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)245
Sum of products size (including duplicates)490
Number of different products245
Sum of products size490

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PB07: minisat+ 1.14 (complete)3721659OPT3 0.044992 0.0452121
SCIP spx SCIP with SoPlex fixed (complete)3691509OPT3 0.057991 0.0595619
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693841OPT3 0.059989 0.0690141
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692675OPT3 0.103983 0.105055
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3736680OPT3 0.111982 0.111435
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3736678OPT3 0.19497 0.195686
wbo 1.72 (complete)3728050OPT3 3.45347 3.46003
wbo 1.7 (complete)3705749OPT3 3.47447 3.47153
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3736674OPT3 3.84841 3.84977
PB09: bsolo 3.1 (complete)3736673OPT3 4.09368 2.10404
pwbo 2.0 (complete)3704553OPT3 4.72328 2.36261
pwbo 2.02 (complete)3726854OPT3 4.82327 2.41554
npSolver inc-topDown (fixed) (complete)3747786OPT3 4.99024 4.99683
clasp 2.0.6-R5325 (opt) (complete)3709677OPT3 5.53916 5.54012
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688593OPT3 6.575 5.31108
PB07: Pueblo 1.4 (incomplete)3720410OPT3 7.07592 7.0784
npSolver inc (fixed) (complete)3749382OPT3 7.31989 7.3237
npSolver 1.0 (fixed) (complete)3750978OPT3 7.40287 7.40718
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3736675OPT3 8.11277 7.56965
PB07: bsolo 3.0.17 (complete)3736671OPT3 8.86065 8.86466
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3736672OPT3 9.02263 8.57094
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688592OPT3 14.7648 6.75262
PB11: Sat4j Res//CP 2.3.0 (complete)3736679OPT3 18.0902 8.79004
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3736676OPT3 19.72 10.2897
bsolo 3.2 (complete)3708511OPT3 30.2884 30.2951
PB07: PB-clasp 2007-04-10 (complete)3736670OPT3 65.576 65.6029
toysat 2012-06-01 (complete)3725718OPT3 322.413 322.466
pb2satCp2 2012-05-19 (complete)3695437OPT3 693.014 695.467
toysat 2012-05-17 (complete)3707345OPT3 792.574 792.704
pb2sat 2012-05-19 (complete)3697033OPT3 954.479 954.821
SAT4J PB specific settings 2.3.2 snapshot (complete)3711273SAT3 6.59 5.32331
PB12: minisatp 1.0-2-g022594c (complete)3724122? 0.003998 0.00658797
npSolver inc (complete)3700225? (TO) 1800.04 1800.52
npSolver inc-topdown-quickBound (complete)3703417? (TO) 1800.05 1800.72
npSolver inc-topDown (complete)3698629? (TO) 1800.08 1802.12
npSolver 1.0 (complete)3701821? (TO) 1800.1 1801.32
PB10: pb_cplex 2010-06-29 (complete)3736677? (TO) 1800.2 600.917
npSolver inc-topdown-quickBound (fixed) (complete)3752574? (TO) 1800.21 1800.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: 3
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 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
-x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
-x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 x43 x44 -x45 x46 -x47 -x48 -x49 -x71 x72 -x73 -x74 -x75 -x76 -x77 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 -x181
-x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x50 -x51
-x52 -x53 -x54 x55 -x56 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -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 x57 x58 -x59 -x60 -x61 x62 x63 -x85 -x86 -x87 -x88 -x89 -x90 -x91
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 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
-x300 -x301 x64 -x65 -x66 x67 -x68 x69 -x70 -x92 x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 x305 -x306 x307 -x308 x309 -x310 -x311 x312
-x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -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 -x99 -x100 -x101 -x102 -x103 -x104 -x105