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.069988
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 747
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)3708580SAT 0.069988 0.0717949
wbo 1.7 (complete)3704652SAT 0.236963 0.237355
pwbo 2.02 (complete)3726444SAT 0.236963 0.239035
wbo 1.72 (complete)3726953SAT 0.237963 0.237074
pwbo 2.0 (complete)3704143SAT 0.297954 0.296763
PB11: borg pb-dec-11.04.03 (complete)3729662SAT 0.710891 0.8418
PB10: borg-pb 10.05.30 (complete)3729658SAT 1.11783 2.32856
SAT4J PB specific settings 2.3.2 snapshot (complete)3709760SAT 1.50377 0.924986
PB10: pb_cplex 2010-06-29 (complete)3729660SAT 1.65075 0.830301
PB07: PB-clasp 2007-04-10 (complete)3729652SAT 1.81572 1.80487
npSolver inc (fixed) (complete)3747869SAT 2.11168 2.11275
npSolver 1.0 (fixed) (complete)3749465SAT 2.11668 2.11723
npSolver inc-topDown (fixed) (complete)3746273SAT 2.16267 2.16753
npSolver inc-topdown-quickBound (fixed) (complete)3751061SAT 2.20566 2.20872
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729654SAT 2.85356 2.14341
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729657SAT 3.19451 2.56185
PB07: Pueblo 1.4 (incomplete)3719840SAT 3.32049 3.43416
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729659SAT 4.70228 2.32366
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687286SAT 5.56515 1.84108
PB09: bsolo 3.1 (complete)3729655SAT 5.77312 5.77384
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687287SAT 7.30189 5.92642
PB11: Sat4j Res//CP 2.3.0 (complete)3729663SAT 9.64153 4.34488
PB12: minisatp 1.0-2-g022594c (complete)3722609SAT 11.6942 11.699
PB07: bsolo 3.0.17 (complete)3729653SAT 12.6371 12.645
bsolo 3.2 (complete)3707414SAT 13.9689 13.9724
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691578SAT 14.6938 14.706
SCIP spx SCIP with SoPlex fixed (complete)3690412SAT 14.7208 14.7292
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692744SAT 15.3957 15.4044
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729661SAT 16.2595 16.2721
PB07: minisat+ 1.14 (complete)3721006SAT 16.5755 16.5797
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729664SAT 17.2644 17.274
toysat 2012-06-01 (complete)3724205SAT 19.422 19.4324
toysat 2012-05-17 (complete)3705832SAT 19.531 19.5381
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729656SAT 21.9207 21.9307
PBPASSolver-CARD.SN 2012-05-28 (complete)3718905SAT 1628.06 1628.55
npSolver inc (complete)3698712? (problem) 0.012997 0.0811011
npSolver inc-topdown-quickBound (complete)3701904? (problem) 0.012997 0.0985719
pb2sat 2012-05-19 (complete)3695520? (problem) 0.013997 0.522864
npSolver 1.0 (complete)3700308? (problem) 0.013997 0.169467
pb2satCp2 2012-05-19 (complete)3693924? (problem) 0.013997 0.090409
npSolver inc-topDown (complete)3697116? (problem) 0.015997 0.085528
PBPASSolver-CARD.DP 2012-05-28 (complete)3718536? (TO) 1800.12 1800.51

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