PB'11 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450741SAT (TO)-29 1800.08 1800.03
SCIP spx E_2 2011-06-10 (fixed) (complete)3488661SAT-28 1797.55 1797.51
SCIP spx 2 2011-06-10 (fixed) (complete)3485219SAT-27 1797.1 1797.05
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452401SAT (TO)-27 1800.05 1800.03
clasp 2.0-R4191-patched (fixed) (complete)3491974SAT (TO)-25 1800.02 1800.01
clasp 2.0-R4191 [DEPRECATED] (complete)3469483SAT (TO)-25 1800.05 1800.02
Sat4j CuttingPlanes 2.3.0 (complete)3456253SAT (TO)-25 1800.28 1794.32
Sat4j Res//CP 2.3.0 (complete)3454061SAT (TO)-24 1800.56 990.886
bsolo 3.2 (complete)3462849SAT-22 1798.01 1797.97
Sat4j Resolution 2.3.0 (complete)3458445SAT (TO)-20 1800.12 1797.26
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466169? (TO)-20 1800.07 1802.02
MinisatID 2.4.8 [DEPRECATED] (complete)3464509? (TO)-20 1800.07 1800.02
MinisatID 2.5.2 (fixed) (complete)3490382? (exit code) 0.000999 0.0058051
MinisatID 2.5.2-gmp (fixed) (complete)3496482? (exit code) 0.001999 0.005919
borg pb-opt-11.04.03 (complete)3481598? (MO) 145.09 142.979

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: -29
Solution found:
x148 -x139 x160 -x157 -x183 -x131 -x156 -x196 -x165 -x122 -x198 -x197 -x170 -x113 -x163 x158 -x130 -x126 -x125 -x119 -x159 x192 x195 -x144
-x142 -x120 -x164 -x175 -x107 -x181 -x118 x188 -x145 -x191 -x151 x169 -x134 -x117 -x143 -x190 -x186 -x116 -x124 -x136 -x104 x193 -x179 -x140
-x108 -x138 x154 x172 -x162 x200 -x109 -x103 -x194 -x178 x146 -x141 -x137 -x185 -x128 -x147 x168 -x153 -x184 x180 -x102 x171 -x135 x114 x110
-x105 -x106 -x115 x187 -x129 -x199 -x161 -x127 x101 -x189 x167 x155 x152 x149 -x132 -x123 -x112 -x182 -x174 x150 x121 -x133 x177 x173 -x111
x166 x176 -x100 x99 x98 x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 x86 x85 x84 x83 -x82 x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73
-x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
-x43 -x42 x41 -x40 -x39 -x38 -x37 x36 x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14
-x13 x12 -x11 -x10 -x9 x8 -x7 x6 x5 -x4 -x3 -x2 -x1