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 CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.158975
Has Objective FunctionNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables316
Total number of constraints686
Number of constraints which are clauses477
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints207
Minimum length of a constraint1
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 114
Number of bits of the biggest sum of numbers7
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 NameTraceIDAnswerCPU timeWall clock time
PB10: pb_cplex 2010-06-29 (complete)3728971SAT 0.158975 0.20331
PB07: PB-clasp 2007-04-10 (complete)3728963SAT 0.331948 0.323628
PB10: borg-pb 10.05.30 (complete)3728969SAT 0.939856 2.90663
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3728965SAT 3.01854 2.77629
clasp 2.0.6-R5325 (dec) (complete)3708638SAT 5.17021 5.17331
SAT4J PB specific settings 2.3.2 snapshot (complete)3709818SAT 8.78566 7.37717
npSolver 1.0 (fixed) (complete)3749523SAT 11.4003 11.4092
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3728972SAT 18.8821 18.8915
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3728970SAT 25.6791 12.2909
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691636SAT 25.993 25.9978
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687181SAT 26.486 26.2727
SCIP spx SCIP with SoPlex fixed (complete)3690470SAT 26.7429 26.7566
PB11: Sat4j Res//CP 2.3.0 (complete)3728974SAT 28.0907 13.2629
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687180SAT 33.123 16.7413
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3728968SAT 35.9005 35.1701
PB11: borg pb-dec-11.04.03 (complete)3728973SAT 36.7724 39.1705
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692802SAT 43.7503 43.7657
PB07: bsolo 3.0.17 (complete)3728964SAT 44.3253 44.3399
PB12: minisatp 1.0-2-g022594c (complete)3722667SAT 58.936 58.9472
PBPASSolver-CARD.SN 2012-05-28 (complete)3718963SAT 59.455 59.6929
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3728967SAT 65.0551 65.0767
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3728975SAT 148.964 149.01
PB07: Pueblo 1.4 (incomplete)3719787SAT 240.131 240.172
PBPASSolver-CARD.DP 2012-05-28 (complete)3718594SAT 255.278 255.817
pwbo 2.0 (complete)3704201SAT 255.767 255.811
bsolo 3.2 (complete)3707472SAT 256.909 256.957
wbo 1.72 (complete)3727011SAT 259.22 259.366
wbo 1.7 (complete)3704710SAT 262.83 262.968
pwbo 2.02 (complete)3726502SAT 263.227 263.254
toysat 2012-06-01 (complete)3724263SAT 395.835 395.949
toysat 2012-05-17 (complete)3705890SAT 403.936 404.007
PB07: minisat+ 1.14 (complete)3720953SAT 896.751 896.891
PB09: bsolo 3.1 (complete)3728966SAT 1318.97 1319.18
pb2sat 2012-05-19 (complete)3695578? (problem) 0.033994 0.180576
npSolver inc (complete)3698770? (problem) 0.034994 0.130963
npSolver 1.0 (complete)3700366? (problem) 0.035993 0.546469
npSolver inc-topdown-quickBound (complete)3701962? (problem) 0.036993 0.168135
npSolver inc-topDown (complete)3697174? (problem) 0.037993 0.130382
pb2satCp2 2012-05-19 (complete)3693982? (problem) 0.040993 0.160008
npSolver inc-topDown (fixed) (complete)3746331? (problem) 10.58 10.7499
npSolver inc-topdown-quickBound (fixed) (complete)3751119? (problem) 10.62 10.7927
npSolver inc (fixed) (complete)3747927? (problem) 11.009 10.908

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: 0
Solution found:
-x1 -x3 -x5 -x7 -x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 -x37 -x39 x41 x43 x45 -x47 -x49 -x51 -x53 -x55 -x57
-x59 x61 x63 x65 x67 -x69 -x71 -x73 -x75 -x77 -x79 x81 x83 x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113
-x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159
-x161 -x163 -x165 x167 x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 x185 x187 -x189 -x191 -x193 -x195 -x197 -x199 -x2 -x4 -x6 -x8 -x10
-x12 -x14 x16 x18 x20 -x22 -x24 -x26 -x28 -x30 -x32 x34 x36 x38 x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60 -x62 -x64 -x66 -x68
-x70 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 -x114 -x116 x118 x120
-x122 -x124 -x126 -x128 -x130 -x132 -x134 x136 x138 x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 x158 x160 -x162 -x164 -x166 -x168
-x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 x201 -x204 x203 x206 -x205 x208 -x207
x210 -x209 -x212 x211 -x214 x213 -x216 x215 x218 -x217 x220 -x219 x222 -x221 x224 -x223 x226 -x225 x228 -x227 x230 -x229 -x232 -x231 -x234
x233 -x236 x235 -x238 x237 -x240 x239 x242 -x241 x244 -x243 x246 -x245 x248 -x247 x250 -x249 x252 -x251 x254 -x253 x256 -x255 -x258 -x257
-x260 -x259 -x262 -x261 -x264 -x263 x266 -x265 x268 -x267 x270 -x269 x272 -x271 x274 -x273 -x276 x275 -x278 x277 -x280 x279 -x282 x281 x284
-x283 x286 -x285 -x288 x287 -x290 x289 -x292 x291 -x294 x293 -x296 -x295 -x298 -x297 -x300 x299 -x302 x301 -x304 x303 -x306 x305 -x308 x307
-x310 x309 -x312 x311 -x314 x313 -x316 x315