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.173972
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 constraints399
Number of constraints which are clauses1
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 constraint1
Maximum length of a constraint25
Number of terms in the objective function 6
Biggest coefficient in the objective function 21
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 52
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 362
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)3709155OPT25 0.173972 0.17503
PB09: bsolo 3.1 (complete)3735048OPT25 0.416935 0.420251
pwbo 2.0 (complete)3703676OPT25 0.488925 0.242418
pwbo 2.02 (complete)3725977OPT25 0.506922 0.251678
PB07: bsolo 3.0.17 (complete)3735046OPT25 0.569913 0.573741
wbo 1.7 (complete)3705197OPT25 0.605907 0.603769
wbo 1.72 (complete)3727498OPT25 0.606907 0.603227
bsolo 3.2 (complete)3707989OPT25 0.631903 0.634369
PB07: Pueblo 1.4 (incomplete)3720283OPT25 0.660899 0.664098
PB07: PB-clasp 2007-04-10 (complete)3735045OPT25 0.665897 0.678389
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688263OPT25 1.09383 0.675003
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735047OPT25 1.61375 1.20083
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735050OPT25 1.83472 1.17545
npSolver inc-topDown (fixed) (complete)3747264OPT25 2.19667 2.20362
npSolver inc (fixed) (complete)3748860OPT25 2.47262 2.47645
PB11: Sat4j Res//CP 2.3.0 (complete)3735054OPT25 2.56561 1.8463
npSolver 1.0 (fixed) (complete)3750456OPT25 2.6216 2.62601
npSolver inc-topdown-quickBound (fixed) (complete)3752052OPT25 2.73258 2.73221
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688262OPT25 2.93555 1.85214
PB12: minisatp 1.0-2-g022594c (complete)3723600OPT25 3.19251 3.19375
toysat 2012-06-01 (complete)3725196OPT25 3.42848 3.43033
toysat 2012-05-17 (complete)3706823OPT25 3.47547 3.47706
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735051OPT25 3.89441 4.36635
PB07: minisat+ 1.14 (complete)3721494OPT25 4.10637 4.10728
pb2sat 2012-05-19 (complete)3696511OPT25 6.46502 6.47048
pb2satCp2 2012-05-19 (complete)3694915OPT25 12.2521 12.2834
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693319OPT25 14.1548 14.1578
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735055OPT25 17.1774 17.1849
npSolver inc-topdown-quickBound (complete)3702895OPT25 19.7 19.8988
npSolver inc-topDown (complete)3698107OPT25 21.7077 22.1219
npSolver 1.0 (complete)3701299OPT25 23.9914 24.0873
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735049OPT25 24.8692 24.8745
npSolver inc (complete)3699703OPT25 26.361 26.3702
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692153OPT25 34.2848 34.2918
SCIP spx SCIP with SoPlex fixed (complete)3690987OPT25 34.5307 34.5423
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735053OPT25 34.7617 34.7745
PB10: pb_cplex 2010-06-29 (complete)3735052OPT25 101.4 37.0181
SAT4J PB specific settings 2.3.2 snapshot (complete)3710751SAT25 1.3028 0.724084

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