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 benchmark25
Best CPU time to get the best result obtained on this benchmark0.359944
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables238
Total number of constraints398
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints398
Minimum length of a constraint12
Maximum length of a constraint25
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 64
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 349
Number of bits of the biggest sum of numbers9
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
clasp 2.0.6-R5325 (opt) (complete)3709172OPT25 0.359944 0.361655
PB09: bsolo 3.1 (complete)3733893OPT25 0.709891 0.710209
pwbo 2.02 (complete)3725994OPT25 0.766882 0.389037
PB07: PB-clasp 2007-04-10 (complete)3733890OPT25 0.78588 0.7955
PB07: bsolo 3.0.17 (complete)3733891OPT25 0.806876 0.814944
pwbo 2.0 (complete)3703693OPT25 0.807876 0.404858
PB07: Pueblo 1.4 (incomplete)3720178OPT25 0.811876 0.812852
bsolo 3.2 (complete)3708006OPT25 0.837872 0.839639
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688053OPT25 1.52277 0.850502
SAT4J PB specific settings 2.3.2 snapshot (complete)3710768OPT25 1.67474 0.908538
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3733892OPT25 2.24466 1.78586
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3733895OPT25 2.26266 1.36921
npSolver inc-topDown (fixed) (complete)3747281OPT25 2.46062 2.46912
npSolver inc (fixed) (complete)3748877OPT25 3.37149 3.37933
toysat 2012-06-01 (complete)3725213OPT25 3.52446 3.52488
PB11: Sat4j Res//CP 2.3.0 (complete)3733899OPT25 3.58346 2.83518
toysat 2012-05-17 (complete)3706840OPT25 4.00539 4.00843
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688052OPT25 4.15437 7.84871
PB12: minisatp 1.0-2-g022594c (complete)3723617OPT25 4.56831 4.56913
npSolver 1.0 (fixed) (complete)3750473OPT25 4.70328 4.70768
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3733896OPT25 5.21421 6.36373
PB07: minisat+ 1.14 (complete)3721389OPT25 6.06908 6.07028
pb2satCp2 2012-05-19 (complete)3694932OPT25 16.3705 16.5448
pb2sat 2012-05-19 (complete)3696528OPT25 17.4343 17.5733
npSolver inc-topDown (complete)3698124OPT25 18.6242 18.7707
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693336OPT25 19.2961 19.3038
PB10: pb_cplex 2010-06-29 (complete)3733897OPT25 25.0792 8.87908
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3733894OPT25 27.8458 27.8521
npSolver inc (complete)3699720OPT25 31.1103 31.399
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3733900OPT25 33.034 33.0405
SCIP spx SCIP with SoPlex fixed (complete)3691004OPT25 33.4769 33.4828
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692170OPT25 37.2103 37.2182
npSolver 1.0 (complete)3701316OPT25 38.4642 38.4881
npSolver inc-topdown-quickBound (complete)3702912OPT25 39.464 39.4953
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3733898OPT25 46.8129 46.8265
wbo 1.7 (complete)3705214OPT25 138.53 138.618
wbo 1.72 (complete)3727515OPT25 146.101 146.1
npSolver inc-topdown-quickBound (fixed) (complete)3752069? (TO) 1800.07 1805.21

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