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

Result page for benchmark
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
MD5SUMd99cfd7c624f6e153a873fe4512e21db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5148
Best CPU time to get the best result obtained on this benchmark0.002999
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5148
Optimality of the best value was proved YES
Number of variables105
Total number of constraints112
Number of constraints which are clauses98
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint7
Number of terms in the objective function 105
Biggest coefficient in the objective function 2032
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 49347
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2032
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 49347
Number of bits of the biggest sum of numbers16
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
bsolo 3.2 (complete)3462873OPT5148 0.002999 0.0160199
wbo 1.6 (complete)3460661OPT5148 0.008998 0.0186829
SCIP spx 2 2011-06-10 (fixed) (complete)3485243OPT5148 0.015997 0.018555
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450765OPT5148 0.016997 0.0201429
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452425OPT5148 0.016997 0.019391
pwbo 1.1 (complete)3500498OPT5148 0.017997 0.010737
SCIP spx E_2 2011-06-10 (fixed) (complete)3488685OPT5148 0.017997 0.0179831
Sat4j CuttingPlanes 2.3.0 (complete)3456277OPT5148 0.429934 0.278114
borg pb-opt-11.04.03 (complete)3481622OPT5148 0.482925 0.552325
clasp 2.0-R4191 (complete)3467980OPT5148 0.78188 0.781829
Sat4j Res//CP 2.3.0 (complete)3454085OPT5148 0.997847 1.16407
Sat4j Resolution 2.3.0 (complete)3458469OPT5148 3.09653 2.00692
MinisatID 2.5.2 (fixed) (complete)3490406OPT5148 6.02808 6.02921
MinisatID 2.4.8 [DEPRECATED] (complete)3464533OPT5148 10.5614 10.5609
MinisatID 2.5.2-gmp (fixed) (complete)3496506OPT5148 28.4917 28.4918
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466193OPT5148 70.3263 70.3261

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