PB'11 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 benchmark304
Best CPU time to get the best result obtained on this benchmark0.018996
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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
SCIP spx 2 2011-06-10 (fixed) (complete)3486051OPT304 0.018996 0.019275
SCIP spx SCIP with SoPlex [DEPRECATED] (complete)3453233OPT304 0.019996 0.0204391
SCIP spx E SCIP with SoPlex [DEPRECATED] (complete)3451573OPT304 0.020995 0.021377
SCIP spx E_2 2011-06-10 (fixed) (complete)3489493OPT304 0.021996 0.022009
bsolo 3.2 (complete)3463681OPT304 0.18997 0.193865
borg pb-opt-11.04.03 (complete)3482079OPT304 0.481926 0.553741
Sat4j CuttingPlanes 2.3.0 (complete)3457363OPT304 0.547916 0.343249
Sat4j Res//CP 2.3.0 (complete)3455171OPT304 1.13683 1.69302
wbo 1.6 (complete)3461469OPT304 8.37972 8.38001
pwbo 1.1 (complete)3500311OPT304 16.6645 8.33392
clasp 2.0-R4191 (complete)3468788SAT (TO)304 1800.05 1800.02
Sat4j Resolution 2.3.0 (complete)3459555SAT (TO)304 1800.15 1797.45
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3467279? (TO)304 1800.03 1802.02
MinisatID 2.5.2-gmp (fixed) (complete)3497592? (TO)304 1800.05 1800.01
MinisatID 2.4.8 [DEPRECATED] (complete)3465341? (TO)304 1800.06 1800.02
MinisatID 2.5.2 (fixed) (complete)3491214? (TO)304 1800.07 1800.01

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