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.269958
Has Objective FunctionNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 645
Number of bits of the biggest sum of numbers10
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
pwbo 2.0 (complete)3704168SAT 0.269958 0.270594
wbo 1.7 (complete)3704677SAT 0.447931 0.446541
pwbo 2.02 (complete)3726469SAT 0.447931 0.449189
wbo 1.72 (complete)3726978SAT 0.477927 0.4811
clasp 2.0.6-R5325 (dec) (complete)3708605SAT 0.555914 0.556837
PB10: borg-pb 10.05.30 (complete)3729541SAT 0.808876 0.933132
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729537SAT 1.65275 0.928445
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729540SAT 2.07468 1.42636
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687269SAT 2.28265 1.56879
SAT4J PB specific settings 2.3.2 snapshot (complete)3709785SAT 3.2625 2.66311
PB11: borg pb-dec-11.04.03 (complete)3729545SAT 3.88541 3.96534
PB11: Sat4j Res//CP 2.3.0 (complete)3729546SAT 4.27 1.85765
npSolver 1.0 (fixed) (complete)3749490SAT 5.2342 5.24153
npSolver inc (fixed) (complete)3747894SAT 5.2402 5.24228
npSolver inc-topdown-quickBound (fixed) (complete)3751086SAT 5.52916 5.52934
npSolver inc-topDown (fixed) (complete)3746298SAT 5.53116 5.55402
PB07: PB-clasp 2007-04-10 (complete)3729535SAT 6.67398 6.66453
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729544SAT 14.1918 14.197
PB12: minisatp 1.0-2-g022594c (complete)3722634SAT 14.2118 14.2168
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691603SAT 14.4208 14.424
SCIP spx SCIP with SoPlex fixed (complete)3690437SAT 14.4968 14.5072
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729542SAT 15.4327 7.34217
PB07: minisat+ 1.14 (complete)3720997SAT 19.652 19.6555
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692769SAT 24.6033 24.6079
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687268SAT 25.0682 11.8389
PB07: Pueblo 1.4 (incomplete)3719831SAT 26.061 26.0687
PB09: bsolo 3.1 (complete)3729538SAT 36.8474 36.8536
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729547SAT 38.4921 38.5106
toysat 2012-06-01 (complete)3724230SAT 42.5655 42.5751
toysat 2012-05-17 (complete)3705857SAT 42.7185 42.7402
PB07: bsolo 3.0.17 (complete)3729536SAT 61.5346 61.5486
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729539SAT 68.6616 68.6819
bsolo 3.2 (complete)3707439SAT 105.81 105.829
PBPASSolver-CARD.SN 2012-05-28 (complete)3718930SAT 136 136.092
PB10: pb_cplex 2010-06-29 (complete)3729543SAT 364.645 109.047
npSolver 1.0 (complete)3700333? (problem) 0.011998 0.11149
pb2satCp2 2012-05-19 (complete)3693949? (problem) 0.012997 0.122906
npSolver inc-topdown-quickBound (complete)3701929? (problem) 0.013997 0.107575
pb2sat 2012-05-19 (complete)3695545? (problem) 0.013997 0.13909
npSolver inc-topDown (complete)3697141? (problem) 0.013997 0.100276
npSolver inc (complete)3698737? (problem) 0.014997 0.088217
PBPASSolver-CARD.DP 2012-05-28 (complete)3718561? (TO) 1800.06 1800.51

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 -x12 -x2 -x13 -x3 -x14 x4 -x15 -x5 -x16 -x6 -x17 -x7 -x18 -x8 -x19 -x9 x20 -x10 -x21 -x11 -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 -x132 -x142 -x152 -x162 x172 -x182 -x192 -x202 -x212 -x222 -x122 -x143 -x153 -x163
-x173 -x183 -x193 -x203 -x213 x223 -x123 -x133 -x154 -x164 -x174 -x184 -x194 x204 -x214 -x224 x124 -x134 -x144 -x165 -x175 -x185 -x195 -x205
-x215 -x225 -x125 -x135 -x145 -x155 -x176 -x186 -x196 -x206 x216 -x226 -x126 -x136 -x146 -x156 -x166 -x187 x197 -x207 -x217 -x227 -x127
-x137 x147 -x157 -x167 -x177 -x198 -x208 -x218 -x228 -x128 -x138 -x148 -x158 x168 -x178 -x188 -x209 -x219 -x229 -x129 -x139 -x149 x159 -x169
-x179 -x189 -x199 -x220 -x230 -x130 x140 -x150 -x160 -x170 -x180 -x190 -x200 -x210 -x231 -x131 -x141 -x151 -x161 -x171 -x181 x191 -x201
-x211 -x221