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.347946
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 691
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)3704662SAT 0.347946 0.34862
wbo 1.72 (complete)3726963SAT 0.347946 0.346569
pwbo 2.02 (complete)3726454SAT 0.349946 0.34802
clasp 2.0.6-R5325 (dec) (complete)3708590SAT 0.688894 0.689076
PB11: borg pb-dec-11.04.03 (complete)3729792SAT 0.694893 0.810043
PB07: PB-clasp 2007-04-10 (complete)3729782SAT 0.733887 0.722129
PB10: borg-pb 10.05.30 (complete)3729788SAT 1.19682 2.26635
npSolver inc (fixed) (complete)3747879SAT 1.20881 1.21201
npSolver inc-topdown-quickBound (fixed) (complete)3751071SAT 1.20882 1.21079
npSolver inc-topDown (fixed) (complete)3746283SAT 1.21081 1.21256
npSolver 1.0 (fixed) (complete)3749475SAT 1.22081 1.22072
SAT4J PB specific settings 2.3.2 snapshot (complete)3709770SAT 1.22481 0.695277
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729787SAT 1.42378 0.833315
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729784SAT 1.46378 0.769155
toysat 2012-06-01 (complete)3724215SAT 1.51777 1.51995
toysat 2012-05-17 (complete)3705842SAT 1.54377 1.54547
pwbo 2.0 (complete)3704153SAT 2.00769 2.01328
bsolo 3.2 (complete)3707424SAT 2.6096 2.61117
PB12: minisatp 1.0-2-g022594c (complete)3722619SAT 3.13852 3.14291
PB11: Sat4j Res//CP 2.3.0 (complete)3729793SAT 4.18336 1.83606
PB07: minisat+ 1.14 (complete)3721016SAT 4.25935 4.25989
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729789SAT 4.85426 2.32161
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687307SAT 5.51416 4.39804
PB09: bsolo 3.1 (complete)3729785SAT 5.87411 5.8756
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729794SAT 7.2499 7.25315
PB07: Pueblo 1.4 (incomplete)3719850SAT 8.16176 8.16629
SCIP spx SCIP with SoPlex fixed (complete)3690422SAT 15.5436 15.5525
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692754SAT 16.0426 16.0458
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691588SAT 16.1635 16.1793
PB07: bsolo 3.0.17 (complete)3729783SAT 18.2042 18.2142
PB10: pb_cplex 2010-06-29 (complete)3729790SAT 21.0978 7.57105
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687306SAT 31.5392 15.4272
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729786SAT 52.0081 52.024
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729791SAT 52.0211 52.0433
PBPASSolver-CARD.SN 2012-05-28 (complete)3718915SAT 169.656 169.993
PBPASSolver-CARD.DP 2012-05-28 (complete)3718546SAT 179.137 179.538
pb2satCp2 2012-05-19 (complete)3693934? (problem) 0.012997 0.0976241
npSolver inc-topdown-quickBound (complete)3701914? (problem) 0.012997 0.167451
npSolver inc-topDown (complete)3697126? (problem) 0.012997 0.102044
npSolver 1.0 (complete)3700318? (problem) 0.013997 0.0894211
npSolver inc (complete)3698722? (problem) 0.014997 0.149015
pb2sat 2012-05-19 (complete)3695530? (problem) 0.017996 0.11662

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