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 CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark77.6872
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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 NameTraceIDAnswerobjective functionCPU timeWall clock time
PB10: pb_cplex 2010-06-29 (complete)3732775OPT53 77.6872 22.3805
SCIP spx SCIP with SoPlex fixed (complete)3690876OPT53 297.424 297.478
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693208OPT53 303.765 303.82
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692042OPT53 304.784 304.841
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732778OPT53 375.437 375.505
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732772OPT53 379.305 379.372
PB07: bsolo 3.0.17 (complete)3732769SAT (TO)53 1800.02 1800.31
bsolo 3.2 (complete)3707878SAT54 1798.02 1798.3
PB09: bsolo 3.1 (complete)3732771SAT54 1798.02 1798.31
PB07: minisat+ 1.14 (complete)3721272SAT (TO)54 1800.01 1800.31
PB12: minisatp 1.0-2-g022594c (complete)3723489SAT (TO)55 1800.02 1800.31
clasp 2.0.6-R5325 (opt) (complete)3709044SAT (TO)58 1800.11 1800.41
pwbo 2.0 (complete)3703565SAT (TO)58 1800.41 900.237
pwbo 2.02 (complete)3725866SAT (TO)58 1800.49 900.322
PB07: Pueblo 1.4 (incomplete)3720102SAT59 1783.01 1783.28
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732774SAT (TO)59 1800.46 1011.78
PB11: Sat4j Res//CP 2.3.0 (complete)3732777SAT (TO)60 1800.08 1139.56
PB07: PB-clasp 2007-04-10 (complete)3732768SAT (TO)60 1800.13 1800.42
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687818SAT (TO)61 1800.59 944.029
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732776SAT70 1789.74 1790.01
SAT4J PB specific settings 2.3.2 snapshot (complete)3710640SAT (TO)72 1800.76 1790.86
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732773SAT (TO)73 1800.73 1797.08
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732770SAT (TO)74 1800.01 1795.72
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687819SAT (TO)74 1800.58 1793.85
wbo 1.7 (complete)3705086? 1799.5 1800.01
wbo 1.72 (complete)3727387? 1799.5 1800.02
toysat 2012-06-01 (complete)3725085? (TO) 1800.03 1800.31
npSolver inc-topdown-quickBound (complete)3702784? (TO) 1800.05 1800.41
npSolver inc-topDown (fixed) (complete)3747153? (TO) 1800.05 1800.41
npSolver inc-topDown (complete)3697996? (TO) 1800.06 1800.41
npSolver inc-topdown-quickBound (fixed) (complete)3751941? (TO) 1800.06 1800.41
pb2satCp2 2012-05-19 (complete)3694804? (TO) 1800.07 1800.51
npSolver inc (complete)3699592? (TO) 1800.08 1800.41
pb2sat 2012-05-19 (complete)3696400? (TO) 1800.08 1800.51
toysat 2012-05-17 (complete)3706712? (TO) 1800.1 1800.41
npSolver inc (fixed) (complete)3748749? (TO) 1800.11 1800.41
npSolver 1.0 (fixed) (complete)3750345? (TO) 1800.12 1800.41
npSolver 1.0 (complete)3701188? (TO) 1800.12 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: 53
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