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

Result page for benchmark
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
MD5SUM8999d4ddd4825a5d620fe0a3c798bc24
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 benchmark1.3408
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables316
Total number of constraints476
Number of constraints which are clauses274
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint2
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 14
Number of bits of the biggest number in a constraint 4
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
SAT4J PB specific settings 2.3.2 snapshot (complete)3709819SAT 1.3408 1.05286
PB10: borg-pb 10.05.30 (complete)3729047SAT 1.42178 3.59591
clasp 2.0.6-R5325 (dec) (complete)3708639SAT 5.33619 5.33676
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3692803SAT 8.78866 8.79037
PB12: minisatp 1.0-2-g022594c (complete)3722668SAT 12.917 12.9196
PB10: pb_cplex 2010-06-29 (complete)3729049SAT 14.0409 4.94911
PBPASSolver-CARD.SN 2012-05-28 (complete)3718964SAT 37.6723 38.1932
PB07: PB-clasp 2007-04-10 (complete)3729041SAT 43.3284 43.3311
PB11: borg pb-dec-11.04.03 (complete)3729051SAT 50.1144 50.7581
npSolver 1.0 (fixed) (complete)3749524SAT 54.3227 54.3333
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3729045SAT 80.5308 80.5615
PB07: minisat+ 1.14 (complete)3720959SAT 81.7746 81.7896
PB11: Sat4j Res//CP 2.3.0 (complete)3729052SAT 97.6502 49.7751
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729046SAT 259.45 257.529
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3691637SAT 267.768 267.843
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729050SAT 280.937 280.989
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687193SAT 291.65 290.425
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3690471SAT 294.89 294.944
bsolo 3.2 (complete)3707473SAT 365.921 365.993
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729043SAT 590.23 587.663
PBPASSolver-CARD.DP 2012-05-28 (complete)3718595SAT 721.859 722.355
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729053SAT 733.683 733.806
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729048SAT 784.404 400.985
PB07: bsolo 3.0.17 (complete)3729042SAT 953.589 953.817
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687192SAT 1773.88 889.046
PB09: bsolo 3.1 (complete)3729044? 1798 1798.3
pwbo 2.02 (complete)3726503? 1799.58 1800.01
wbo 1.72 (complete)3727012? 1799.59 1800.01
wbo 1.7 (complete)3704711? 1799.6 1800.01
pwbo 2.0 (complete)3704202? 1799.84 1800.01
npSolver inc-topDown (complete)3697175? (problem) 0.009997 0.139632
pb2sat 2012-05-19 (complete)3695579? (problem) 0.010997 0.139131
npSolver 1.0 (complete)3700367? (problem) 0.012997 0.115003
npSolver inc (complete)3698771? (problem) 0.012997 0.125998
npSolver inc-topdown-quickBound (complete)3701963? (problem) 0.012997 0.125684
pb2satCp2 2012-05-19 (complete)3693983? (problem) 0.013997 0.107102
npSolver inc-topDown (fixed) (complete)3746332? (problem) 54.13 54.4805
npSolver inc (fixed) (complete)3747928? (problem) 54.59 54.7541
npSolver inc-topdown-quickBound (fixed) (complete)3751120? (problem) 55.03 55.1628
PB07: Pueblo 1.4 (incomplete)3719793? (TO) 1800.03 1800.31
toysat 2012-05-17 (complete)3705891? (TO) 1800.1 1800.41
toysat 2012-06-01 (complete)3724264? (TO) 1800.1 1800.41

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 -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