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 (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark0.200968
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
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
PB10: pb_cplex 2010-06-29 (complete)3731180OPT1523 0.200968 0.140703
SCIP spx SCIP with SoPlex fixed (complete)3690774OPT1523 0.986849 0.991657
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691940OPT1523 1.12783 1.12961
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3731183OPT1523 1.42778 1.4312
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3731181OPT1523 1.57776 1.57916
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3731177OPT1523 1.68274 1.6846
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693106OPT1523 1.71174 1.71332
PB07: bsolo 3.0.17 (complete)3731174OPT1523 4.09638 4.09944
bsolo 3.2 (complete)3707776OPT1523 18.1902 18.1959
PB09: bsolo 3.1 (complete)3731176OPT1523 20.4569 20.4634
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687529OPT1523 593.28 589.707
PB12: minisatp 1.0-2-g022594c (complete)3723387OPT1523 764.23 764.379
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687528OPT1523 1424.17 733.525
PB07: PB-clasp 2007-04-10 (complete)3731173OPT1523 1470.08 1470.5
PB07: minisat+ 1.14 (complete)3721127OPT1523 1564.12 1564.38
clasp 2.0.6-R5325 (opt) (complete)3708942SAT (TO)1523 1800.03 1800.31
PB11: Sat4j Res//CP 2.3.0 (complete)3731182SAT (TO)1523 1800.03 1054.85
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3731175SAT (TO)1523 1800.06 1784.78
pwbo 2.0 (complete)3703463SAT (TO)1523 1800.53 900.324
SAT4J PB specific settings 2.3.2 snapshot (complete)3710538SAT (TO)1523 1800.55 1792.55
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3731178SAT (TO)1523 1800.78 1787.02
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3731179SAT (TO)1523 1801.15 1025.14
pwbo 2.02 (complete)3725764SAT (TO)1533 1800.07 900.227
PB07: Pueblo 1.4 (incomplete)3719957SAT1561 1783.01 1783.29
wbo 1.72 (complete)3727285? 1799.56 1800.01
wbo 1.7 (complete)3704984? 1799.6 1800
toysat 2012-06-01 (complete)3724983? (TO) 1800.02 1800.31
toysat 2012-05-17 (complete)3706610? (TO) 1800.02 1800.31
pb2satCp2 2012-05-19 (complete)3694702? (TO) 1800.06 1801.01
npSolver inc-topDown (fixed) (complete)3747051? (TO) 1800.09 1800.31
npSolver 1.0 (complete)3701086? (TO) 1800.1 1800.51
npSolver 1.0 (fixed) (complete)3750243? (TO) 1800.1 1800.41
pb2sat 2012-05-19 (complete)3696298? (TO) 1800.1 1800.41
npSolver inc-topDown (complete)3697894? (TO) 1800.11 1801.72
npSolver inc (complete)3699490? (TO) 1800.11 1800.41
npSolver inc-topdown-quickBound (complete)3702682? (TO) 1800.11 1800.62
npSolver inc-topdown-quickBound (fixed) (complete)3751839? (TO) 1800.11 1800.41
npSolver inc (fixed) (complete)3748647? (TO) 1800.12 1800.41

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