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 benchmark8908
Best CPU time to get the best result obtained on this benchmark0.025995
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 8908
Optimality of the best value was proved YES
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
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
PB07: bsolo 3.0.17 (complete)3735501OPT8908 0.020996 0.025314
bsolo 3.2 (complete)3708179OPT8908 0.025995 0.0273039
PB09: bsolo 3.1 (complete)3735503OPT8908 0.026995 0.026613
PB10: pb_cplex 2010-06-29 (complete)3735507OPT8908 0.026995 0.026913
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693509OPT8908 0.047992 0.050065
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735504OPT8908 0.05799 0.0604809
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735510OPT8908 0.071988 0.0861151
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735508OPT8908 0.083987 0.0869821
SCIP spx SCIP with SoPlex fixed (complete)3691177OPT8908 0.084986 0.0862389
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692343OPT8908 0.115981 0.118245
wbo 1.7 (complete)3705387OPT8908 0.151976 0.144376
wbo 1.72 (complete)3727688OPT8908 0.152976 0.144958
pwbo 2.0 (complete)3703866OPT8908 0.291954 0.145201
pwbo 2.02 (complete)3726167OPT8908 0.301953 0.150823
PB11: Sat4j Res//CP 2.3.0 (complete)3735509OPT8908 2.18567 4.20184
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688372OPT8908 3.11352 4.70424
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735506OPT8908 3.12452 7.21161
npSolver inc (complete)3699893OPT8908 79.3619 79.4098
npSolver 1.0 (complete)3701489OPT8908 80.6617 80.6856
pb2sat 2012-05-19 (complete)3696701OPT8908 81.4266 81.4508
npSolver inc-topDown (complete)3698297OPT8908 81.5296 81.7039
npSolver inc-topdown-quickBound (complete)3703085OPT8908 83.4013 83.4372
pb2satCp2 2012-05-19 (complete)3695105OPT8908 83.4863 84.3487
npSolver inc (fixed) (complete)3749050OPT8908 88.5415 88.583
npSolver 1.0 (fixed) (complete)3750646OPT8908 90.1703 90.1907
npSolver inc-topdown-quickBound (fixed) (complete)3752242OPT8908 95.0256 95.1476
npSolver inc-topDown (fixed) (complete)3747454OPT8908 96.8843 97.2265
clasp 2.0.6-R5325 (opt) (complete)3709345OPT8908 329.352 329.409
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688373OPT8908 580.71 574.748
PB07: Pueblo 1.4 (incomplete)3720308OPT8908 674.119 674.225
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735502SAT (TO)9029 1800.07 1788.03
PB12: minisatp 1.0-2-g022594c (complete)3723790SAT (TO)9184 1800.1 1800.41
PB07: minisat+ 1.14 (complete)3721549SAT (TO)9699 1800.11 1800.41
SAT4J PB specific settings 2.3.2 snapshot (complete)3710941SAT (TO)10217 1800 1771.85
PB07: PB-clasp 2007-04-10 (complete)3735500SAT (TO)10468 1800.1 1800.52
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735505? (exit code) 1166.01 1160.27
toysat 2012-06-01 (complete)3725386? (TO) 1800.03 1800.31
toysat 2012-05-17 (complete)3707013? (TO) 1800.03 1800.31

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: 8908
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 -x226 x227 -x228
-x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252