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-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13949
Best CPU time to get the best result obtained on this benchmark0.001998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 13949
Optimality of the best value was proved YES
Number of variables256
Total number of constraints351
Number of constraints which are clauses351
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 constraint1
Maximum length of a constraint21
Number of terms in the objective function 152
Biggest coefficient in the objective function 1848
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 235098
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1848
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 235098
Number of bits of the biggest sum of numbers18
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
wbo 1.72 (complete)3727655OPT13949 0.001998 0.010314
wbo 1.7 (complete)3705354OPT13949 0.001998 0.0112629
pwbo 2.02 (complete)3726134OPT13949 0.001998 0.0120681
pwbo 2.0 (complete)3703833OPT13949 0.001999 0.0117009
bsolo 3.2 (complete)3708146OPT13949 0.007998 0.00943301
PB09: bsolo 3.1 (complete)3736097OPT13949 0.008997 0.00886192
PB07: bsolo 3.0.17 (complete)3736095OPT13949 0.009997 0.014036
PB10: pb_cplex 2010-06-29 (complete)3736101OPT13949 0.010997 0.0112849
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3736102OPT13949 0.020996 0.021814
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3736098OPT13949 0.022996 0.0240709
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3736104OPT13949 0.023995 0.025039
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692310OPT13949 0.023996 0.026797
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693476OPT13949 0.026995 0.028008
SCIP spx SCIP with SoPlex fixed (complete)3691144OPT13949 0.027995 0.027568
clasp 2.0.6-R5325 (opt) (complete)3709312OPT13949 0.643901 0.64414
npSolver inc (complete)3699860OPT13949 1.42778 1.43902
npSolver inc (fixed) (complete)3749017OPT13949 1.47577 1.48037
npSolver 1.0 (complete)3701456OPT13949 1.56776 1.56001
pb2sat 2012-05-19 (complete)3696668OPT13949 1.61975 1.61994
npSolver 1.0 (fixed) (complete)3750613OPT13949 1.63475 1.61692
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688481OPT13949 1.71374 1.2309
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3736096OPT13949 1.9737 1.65972
PB11: Sat4j Res//CP 2.3.0 (complete)3736103OPT13949 2.35364 2.23227
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3736099OPT13949 2.37464 1.89194
PB07: Pueblo 1.4 (incomplete)3720362OPT13949 2.42963 2.43306
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3736100OPT13949 2.83457 4.2256
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688480OPT13949 3.24351 3.72313
SAT4J PB specific settings 2.3.2 snapshot (complete)3710908OPT13949 3.39648 2.28385
PB07: PB-clasp 2007-04-10 (complete)3736094OPT13949 4.73328 4.76366
PB12: minisatp 1.0-2-g022594c (complete)3723757OPT13949 6.78397 6.78619
pb2satCp2 2012-05-19 (complete)3695072OPT13949 7.40087 7.58227
toysat 2012-06-01 (complete)3725353OPT13949 13.6999 13.7064
toysat 2012-05-17 (complete)3706980OPT13949 13.7769 13.7805
PB07: minisat+ 1.14 (complete)3721603OPT13949 15.6526 15.6555
npSolver inc-topDown (complete)3698264? (problem) 0.379941 0.604515
npSolver inc-topdown-quickBound (complete)3703052? (problem) 0.38794 0.688771
npSolver inc-topDown (fixed) (complete)3747421? (problem) 0.697893 1.19923
npSolver inc-topdown-quickBound (fixed) (complete)3752209? (problem) 0.9 1.3424

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: 13949
Solution found:
-x28 -x29 -x31 -x32 -x33 -x35 -x37 -x39 -x40 -x42 -x44 -x45 -x46 -x47 -x49 -x50 -x52 -x53 -x55 x56 -x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71
-x73 -x75 -x77 -x78 -x80 -x81 -x83 -x85 -x87 -x88 -x90 -x92 -x94 x95 -x97 -x99 -x101 -x103 -x105 -x107 -x108 -x110 -x111 -x113 -x115 -x117
-x119 -x121 -x122 -x124 -x125 -x127 -x129 -x131 -x132 -x134 -x135 -x136 -x137 -x139 -x140 -x141 -x143 -x144 -x146 -x147 -x148 -x150 -x152
-x153 -x155 -x157 -x159 x160 -x161 -x163 -x165 -x167 -x169 -x170 -x172 -x173 -x175 -x176 -x178 -x180 -x182 -x184 -x186 -x187 -x188 -x190
-x192 -x193 -x195 -x197 -x199 -x200 -x202 -x203 -x204 -x205 -x207 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x219 -x221 -x223 -x225
-x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 x236 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251
x252 x253 x254 x255 -x256 -x27 -x1 -x30 -x2 -x3 -x34 -x4 -x36 -x38 -x41 -x43 -x5 -x6 -x48 -x51 -x54 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72
-x74 -x76 -x7 -x79 -x82 -x8 -x84 -x86 -x89 -x91 -x93 -x96 -x98 -x100 -x102 -x104 -x106 -x109 -x112 -x114 -x116 -x118 -x9 -x120 -x123 -x10
-x126 -x11 -x128 -x130 -x133 -x12 -x13 -x14 -x138 -x15 -x142 -x145 -x16 -x149 -x151 -x154 -x156 -x158 -x162 -x164 -x166 -x168 -x171 -x174
-x177 -x179 -x181 -x183 -x185 -x17 -x189 -x191 -x18 -x194 -x196 -x198 -x201 -x19 -x20 -x206 -x208 -x210 -x21 -x22 -x23 -x218 -x220 -x222
-x24 -x224 -x25 -x232 -x26 -x237