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

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

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
MD5SUMf22ee27ae396dfbceb6d2e4359af424f
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.045992
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables220
Total number of constraints332
Number of constraints which are clauses202
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints128
Minimum length of a constraint2
Maximum length of a constraint64
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 73
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)3729036SAT 0.045992 0.0816899
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729040SAT 0.085986 0.086936
PB07: PB-clasp 2007-04-10 (complete)3729028SAT 0.089985 0.0830289
PB12: minisatp 1.0-2-g022594c (complete)3722676SAT 0.090986 0.0938511
PB09: bsolo 3.1 (complete)3729031SAT 0.11998 0.120386
bsolo 3.2 (complete)3707481SAT 0.145976 0.150292
PB07: minisat+ 1.14 (complete)3720958SAT 0.160975 0.162905
pwbo 2.0 (complete)3704210SAT 0.362944 0.362405
SAT4J PB specific settings 2.3.2 snapshot (complete)3709827SAT 0.537917 0.534603
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729030SAT 0.571912 0.6569
PB07: Pueblo 1.4 (incomplete)3719792SAT 0.612906 0.614751
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687191SAT 0.672896 0.533914
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729033SAT 0.682895 0.348927
clasp 2.0.6-R5325 (dec) (complete)3708647SAT 0.723889 0.729089
PB10: borg-pb 10.05.30 (complete)3729034SAT 0.829873 2.92582
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3691645SAT 1.52577 1.52679
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3690479SAT 1.71474 1.71641
npSolver 1.0 (fixed) (complete)3749532SAT 1.76073 1.76204
PB11: Sat4j Res//CP 2.3.0 (complete)3729039SAT 2.06169 0.717529
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687190SAT 2.09968 1.6853
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729035SAT 2.46263 1.20071
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3692811SAT 2.92155 2.92345
wbo 1.72 (complete)3727020SAT 3.16352 3.16943
wbo 1.7 (complete)3704719SAT 3.23251 3.23522
pwbo 2.02 (complete)3726511SAT 3.32249 3.32842
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729037SAT 3.76643 3.76761
PB11: borg pb-dec-11.04.03 (complete)3729038SAT 4.01639 9.81851
PBPASSolver-CARD.SN 2012-05-28 (complete)3718972SAT 6.06408 6.77834
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3729032SAT 7.8738 7.88147
PB07: bsolo 3.0.17 (complete)3729029SAT 21.1888 21.2462
toysat 2012-06-01 (complete)3724272SAT 27.2958 27.3062
toysat 2012-05-17 (complete)3705899SAT 27.3128 27.3211
PBPASSolver-CARD.DP 2012-05-28 (complete)3718603SAT 60.8587 61.1412
pb2satCp2 2012-05-19 (complete)3693991? (problem) 0.004999 0.0706549
npSolver inc (complete)3698779? (problem) 0.006998 0.124701
npSolver inc-topDown (complete)3697183? (problem) 0.007997 0.0759129
npSolver inc-topdown-quickBound (complete)3701971? (problem) 0.007998 0.0893821
npSolver 1.0 (complete)3700375? (problem) 0.009998 0.0861241
pb2sat 2012-05-19 (complete)3695587? (problem) 0.010998 0.170247
npSolver inc-topdown-quickBound (fixed) (complete)3751128? (problem) 1.71 1.8294
npSolver inc (fixed) (complete)3747936? (problem) 1.71 1.82942
npSolver inc-topDown (fixed) (complete)3746340? (problem) 1.74 1.90098

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 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 x129 -x132 x131 -x134 x133 -x136 x135 x138 -x137
x140 -x139 x142 -x141 x144 -x143 -x146 x145 -x148 x147 x150 -x149 x152 -x151 -x154 x153 -x156 x155 x158 -x157 x160 -x159 -x162 x161 -x164
x163 -x166 x165 x168 -x167 x170 -x169 x172 -x171 -x174 -x173 -x176 -x175 -x178 x177 -x180 x179 -x182 x181 -x184 x183 -x186 x185 -x188 x187
-x190 x189 x192 -x191 x194 -x193 x196 -x195 x198 -x197 x200 -x199 x202 -x201 x204 -x203 -x206 -x205 -x208 -x207 -x210 -x209 -x212 x211 -x214
x213 x216 -x215 x218 -x217 x220 -x219