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.007998
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 709
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
wbo 1.7 (complete)3704665SAT 0.007998 0.015803
wbo 1.72 (complete)3726966SAT 0.007998 0.0162399
pwbo 2.02 (complete)3726457SAT 0.007998 0.0163441
clasp 2.0.6-R5325 (dec) (complete)3708593SAT 0.595909 0.597599
PB12: minisatp 1.0-2-g022594c (complete)3722622SAT 0.614906 0.619382
PB11: borg pb-dec-11.04.03 (complete)3729805SAT 0.71489 0.818076
PB07: minisat+ 1.14 (complete)3721017SAT 0.889864 0.893462
PB07: PB-clasp 2007-04-10 (complete)3729795SAT 0.905861 0.889297
pwbo 2.0 (complete)3704156SAT 0.938856 0.939953
PB10: borg-pb 10.05.30 (complete)3729801SAT 0.943856 1.08103
npSolver inc-topDown (fixed) (complete)3746286SAT 0.963852 0.967123
npSolver inc-topdown-quickBound (fixed) (complete)3751074SAT 0.964853 0.968523
npSolver inc (fixed) (complete)3747882SAT 0.974851 0.97591
npSolver 1.0 (fixed) (complete)3749478SAT 0.97585 0.97529
bsolo 3.2 (complete)3707427SAT 1.3298 1.33167
SAT4J PB specific settings 2.3.2 snapshot (complete)3709773SAT 1.43378 0.856223
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729800SAT 1.45378 0.850197
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729797SAT 1.45478 0.737315
PB07: Pueblo 1.4 (incomplete)3719851SAT 2.06069 2.0634
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687309SAT 5.07223 3.66636
PB07: bsolo 3.0.17 (complete)3729796SAT 5.9151 5.91883
PB11: Sat4j Res//CP 2.3.0 (complete)3729806SAT 6.33304 2.83711
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691591SAT 10.0905 10.0999
SCIP spx SCIP with SoPlex fixed (complete)3690425SAT 10.1185 10.1263
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729802SAT 10.4314 5.32268
PB09: bsolo 3.1 (complete)3729798SAT 10.6794 10.6811
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687308SAT 11.0723 4.83296
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692757SAT 12.4421 12.4455
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729799SAT 17.0604 17.0644
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729807SAT 19.6795 9.90122
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729804SAT 33.5349 33.5502
toysat 2012-06-01 (complete)3724218SAT 48.5726 48.5916
toysat 2012-05-17 (complete)3705845SAT 49.9434 49.9551
PBPASSolver-CARD.DP 2012-05-28 (complete)3718549SAT 91.3371 91.5432
PB10: pb_cplex 2010-06-29 (complete)3729803SAT 122.69 43.9493
PBPASSolver-CARD.SN 2012-05-28 (complete)3718918SAT 512.858 513.033
pb2sat 2012-05-19 (complete)3695533? (problem) 0.010997 0.172944
npSolver inc-topDown (complete)3697129? (problem) 0.011997 0.111492
npSolver 1.0 (complete)3700321? (problem) 0.012997 0.095885
pb2satCp2 2012-05-19 (complete)3693937? (problem) 0.013997 0.107776
npSolver inc-topdown-quickBound (complete)3701917? (problem) 0.014997 0.091571
npSolver inc (complete)3698725? (problem) 0.016996 0.117976

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