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

Result page for benchmark
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
MD5SUM518a034b80f08d868ecb31feb5231fce
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.301953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables363
Total number of constraints78
Number of constraints which are clauses78
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 constraint228
Number of terms in the objective function 363
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 363
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 363
Number of bits of the biggest sum of numbers9
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
PB07: bsolo 3.0.17 (complete)3734507OPT5 0.270958 0.275366
PB10: pb_cplex 2010-06-29 (complete)3734513OPT5 0.301953 0.31045
bsolo 3.2 (complete)3708044OPT5 0.373942 0.376588
PB09: bsolo 3.1 (complete)3734509OPT5 0.374942 0.375711
PB07: Pueblo 1.4 (incomplete)3720234OPT5 0.381941 0.386429
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734516OPT5 0.44893 0.449379
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734514OPT5 0.764883 0.766566
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3692208OPT5 0.934856 0.935672
npSolver inc-topDown (complete)3698162OPT5 0.939856 0.944032
npSolver inc-topdown-quickBound (complete)3702950OPT5 0.950854 0.95191
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3693374OPT5 0.965852 0.968199
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3691042OPT5 1.00985 1.01517
npSolver inc (complete)3699758OPT5 1.02684 1.02961
pb2satCp2 2012-05-19 (complete)3694970OPT5 1.04484 1.04962
npSolver 1.0 (complete)3701354OPT5 1.05084 1.06091
pb2sat 2012-05-19 (complete)3696566OPT5 1.10183 1.10649
npSolver 1.0 (fixed) (complete)3750511OPT5 1.23581 1.23916
npSolver inc (fixed) (complete)3748915OPT5 1.3408 1.34543
npSolver inc-topDown (fixed) (complete)3747319OPT5 1.84272 1.85191
npSolver inc-topdown-quickBound (fixed) (complete)3752107OPT5 1.87571 1.87542
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688164OPT5 1.88471 2.31218
PB11: Sat4j Res//CP 2.3.0 (complete)3734515OPT5 2.29565 2.32224
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3734510OPT5 2.6386 2.63937
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734512OPT5 5.2036 4.30245
pwbo 2.0 (complete)3703731OPT5 6.52901 3.27586
pwbo 2.02 (complete)3726032OPT5 6.589 3.29645
PB12: minisatp 1.0-2-g022594c (complete)3723655OPT5 8.39772 8.40159
PB07: minisat+ 1.14 (complete)3721445OPT5 12.4711 12.4749
SAT4J PB specific settings 2.3.2 snapshot (complete)3710806OPT5 15.2727 13.5483
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734508OPT5 18.9601 18.366
clasp 2.0.6-R5325 (opt) (complete)3709210OPT5 28.3907 28.3989
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688165OPT5 40.8978 38.2353
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734511OPT5 57.87 57.2705
wbo 1.7 (complete)3705252OPT5 98.24 98.3245
wbo 1.72 (complete)3727553OPT5 98.409 98.4375
toysat 2012-06-01 (complete)3725251OPT5 327.497 327.553
toysat 2012-05-17 (complete)3706878OPT5 329.433 329.504
PB07: PB-clasp 2007-04-10 (complete)3734506OPT5 403.263 403.358

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: 5
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 -x55 -x56 x57 -x58
-x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86
-x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -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 -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
-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 -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 -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 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363