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 CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.040992
Has Objective FunctionNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
Number of bits of the biggest sum of numbers10
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 NameTraceIDAnswerCPU timeWall clock time
clasp 2.0.6-R5325 (dec) (complete)3708588SAT 0.040992 0.0425341
pwbo 2.0 (complete)3704151SAT 0.056991 0.0531031
PB07: Pueblo 1.4 (incomplete)3719833SAT 0.084986 0.200217
PB09: bsolo 3.1 (complete)3729564SAT 0.151976 0.151817
pwbo 2.02 (complete)3726452SAT 0.167974 0.16078
wbo 1.7 (complete)3704660SAT 0.167974 0.160096
PB07: PB-clasp 2007-04-10 (complete)3729561SAT 0.171972 0.158789
wbo 1.72 (complete)3726961SAT 0.176972 0.179765
SAT4J PB specific settings 2.3.2 snapshot (complete)3709768SAT 0.713891 0.380732
PB10: borg-pb 10.05.30 (complete)3729567SAT 0.78488 0.964642
PB11: borg pb-dec-11.04.03 (complete)3729571SAT 0.78588 0.899278
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729566SAT 0.813875 0.412131
PB10: pb_cplex 2010-06-29 (complete)3729569SAT 0.898863 0.691373
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729563SAT 1.3138 0.634509
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687273SAT 1.42578 0.930027
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687272SAT 1.66375 0.82598
bsolo 3.2 (complete)3707422SAT 1.77673 1.77766
PB07: bsolo 3.0.17 (complete)3729562SAT 2.19767 2.19939
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729568SAT 2.46263 1.3314
npSolver inc-topdown-quickBound (fixed) (complete)3751069SAT 3.50847 3.50933
npSolver inc (fixed) (complete)3747877SAT 3.53646 3.54108
npSolver inc-topDown (fixed) (complete)3746281SAT 3.54146 3.55418
npSolver 1.0 (fixed) (complete)3749473SAT 3.55246 3.55769
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691586SAT 3.67444 3.67608
SCIP spx SCIP with SoPlex fixed (complete)3690420SAT 3.9534 3.9554
PB11: Sat4j Res//CP 2.3.0 (complete)3729572SAT 4.32334 1.82262
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692752SAT 5.43417 5.43802
toysat 2012-05-17 (complete)3705840SAT 6.12607 6.12857
toysat 2012-06-01 (complete)3724213SAT 6.15806 6.16088
PB07: minisat+ 1.14 (complete)3720999SAT 7.2639 7.26962
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729565SAT 7.8608 7.86319
PBPASSolver-CARD.SN 2012-05-28 (complete)3718913SAT 9.43157 9.49946
PB12: minisatp 1.0-2-g022594c (complete)3722617SAT 10.6922 5.40298
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729570SAT 12.3861 12.3894
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729573SAT 17.7233 17.7329
PBPASSolver-CARD.DP 2012-05-28 (complete)3718544SAT 55.7705 55.9712
npSolver inc-topdown-quickBound (complete)3701912? (problem) 0.012997 0.125717
pb2sat 2012-05-19 (complete)3695528? (problem) 0.013997 0.102039
pb2satCp2 2012-05-19 (complete)3693932? (problem) 0.014997 0.0832959
npSolver 1.0 (complete)3700316? (problem) 0.014997 0.115388
npSolver inc-topDown (complete)3697124? (problem) 0.014997 0.116184
npSolver inc (complete)3698720? (problem) 0.014997 0.0959379

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