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.021996
Has Objective FunctionNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
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 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1276
Number of bits of the biggest sum of numbers11
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
PB10: pb_cplex 2010-06-29 (complete)3729439SAT 0.021996 0.0736959
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692773SAT 0.040992 0.0406951
PB07: PB-clasp 2007-04-10 (complete)3729431SAT 0.102983 0.098387
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729443SAT 0.226964 0.229241
SCIP spx SCIP with SoPlex fixed (complete)3690441SAT 0.247962 0.249545
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691607SAT 0.250961 0.252156
clasp 2.0.6-R5325 (dec) (complete)3708609SAT 0.32395 0.327845
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729435SAT 0.369943 0.370738
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729440SAT 0.480926 0.481871
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687253SAT 0.794878 0.658091
SAT4J PB specific settings 2.3.2 snapshot (complete)3709789SAT 0.924858 0.510104
pwbo 2.0 (complete)3704172SAT 0.953854 0.94719
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729433SAT 0.964852 0.571867
wbo 1.7 (complete)3704681SAT 1.03284 1.02859
pwbo 2.02 (complete)3726473SAT 1.03384 1.03379
wbo 1.72 (complete)3726982SAT 1.09283 1.09129
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729436SAT 1.56376 1.05654
PB10: borg-pb 10.05.30 (complete)3729437SAT 1.61975 1.75879
PB11: borg pb-dec-11.04.03 (complete)3729441SAT 2.50862 2.62374
PB11: Sat4j Res//CP 2.3.0 (complete)3729442SAT 2.66359 1.20558
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687252SAT 2.71259 1.35805
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729438SAT 2.71359 1.16814
npSolver inc-topdown-quickBound (fixed) (complete)3751090SAT 2.92055 2.92197
npSolver inc (fixed) (complete)3747898SAT 2.94755 2.95072
npSolver inc-topDown (fixed) (complete)3746302SAT 2.95655 2.95844
npSolver 1.0 (fixed) (complete)3749494SAT 2.96355 2.96413
toysat 2012-06-01 (complete)3724234SAT 5.59415 5.59715
toysat 2012-05-17 (complete)3705861SAT 5.69813 5.69931
PB09: bsolo 3.1 (complete)3729434SAT 5.79712 5.79783
bsolo 3.2 (complete)3707443SAT 11.1943 11.1987
PB07: bsolo 3.0.17 (complete)3729432SAT 13.7719 13.777
PB07: Pueblo 1.4 (incomplete)3719823SAT 30.7463 30.8342
PB07: minisat+ 1.14 (complete)3720989SAT 38.4901 38.5024
PB12: minisatp 1.0-2-g022594c (complete)3722638SAT 45.7031 45.7142
PBPASSolver-CARD.SN 2012-05-28 (complete)3718934SAT 167.26 167.729
PBPASSolver-CARD.DP 2012-05-28 (complete)3718565SAT 216.752 217.053
npSolver inc-topDown (complete)3697145? (problem) 0.017996 0.123686
pb2sat 2012-05-19 (complete)3695549? (problem) 0.019996 0.182012
npSolver inc-topdown-quickBound (complete)3701933? (problem) 0.020995 0.149482
pb2satCp2 2012-05-19 (complete)3693953? (problem) 0.020996 0.108819
npSolver 1.0 (complete)3700337? (problem) 0.020996 0.116841
npSolver inc (complete)3698741? (problem) 0.022996 0.1217

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