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 benchmark8034
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 8034
Optimality of the best value was proved YES
Number of variables210
Total number of constraints220
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 210
Biggest coefficient in the objective function 2937
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 109101
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2937
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 109101
Number of bits of the biggest sum of numbers17
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
PB09: bsolo 3.1 (complete)3735514OPT8034 0.005999 0.00756791
PB07: bsolo 3.0.17 (complete)3735512OPT8034 0.006998 0.010282
bsolo 3.2 (complete)3708178OPT8034 0.006998 0.00705603
PB10: pb_cplex 2010-06-29 (complete)3735518OPT8034 0.012997 0.0127861
SCIP spx SCIP with SoPlex fixed (complete)3691176OPT8034 0.017996 0.0202349
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693508OPT8034 0.021996 0.022827
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735521OPT8034 0.022996 0.024315
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692342OPT8034 0.022996 0.02453
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735519OPT8034 0.022996 0.0241999
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735515OPT8034 0.024996 0.0247349
wbo 1.72 (complete)3727687OPT8034 0.071988 0.0647049
wbo 1.7 (complete)3705386OPT8034 0.071988 0.0640321
pwbo 2.02 (complete)3726166OPT8034 0.141977 0.0656571
pwbo 2.0 (complete)3703865OPT8034 0.141977 0.0715509
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688374OPT8034 1.71274 3.19878
PB11: Sat4j Res//CP 2.3.0 (complete)3735520OPT8034 2.15467 2.23316
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735517OPT8034 2.54161 4.20429
clasp 2.0.6-R5325 (opt) (complete)3709344OPT8034 3.67044 3.6723
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688375OPT8034 6.62299 5.37245
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735513OPT8034 8.68 8.30976
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735516OPT8034 11.7312 11.2136
npSolver inc-topDown (complete)3698296OPT8034 20.4889 20.5098
npSolver inc-topdown-quickBound (complete)3703084OPT8034 20.7168 20.747
pb2satCp2 2012-05-19 (complete)3695104OPT8034 21.1078 21.6061
npSolver inc-topDown (fixed) (complete)3747453OPT8034 25.1682 25.2831
npSolver inc-topdown-quickBound (fixed) (complete)3752241OPT8034 25.3671 25.4285
npSolver inc (complete)3699892OPT8034 25.8651 25.8907
npSolver 1.0 (complete)3701488OPT8034 25.9671 26.0483
pb2sat 2012-05-19 (complete)3696700OPT8034 27.1199 27.59
npSolver 1.0 (fixed) (complete)3750645OPT8034 28.3367 28.3619
npSolver inc (fixed) (complete)3749049OPT8034 28.8386 28.9098
PB07: Pueblo 1.4 (incomplete)3720309OPT8034 30.0534 30.0586
SAT4J PB specific settings 2.3.2 snapshot (complete)3710940OPT8034 58.964 56.1731
PB07: PB-clasp 2007-04-10 (complete)3735511OPT8034 187.419 187.973
PB12: minisatp 1.0-2-g022594c (complete)3723789OPT8034 312.308 312.387
PB07: minisat+ 1.14 (complete)3721550OPT8034 376.615 376.69
toysat 2012-06-01 (complete)3725385OPT8034 1348.91 1349.12
toysat 2012-05-17 (complete)3707012OPT8034 1372.36 1372.58

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: 8034
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