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.028994
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 1168
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
clasp 2.0.6-R5325 (dec) (complete)3708615SAT 0.028994 0.030467
PB10: pb_cplex 2010-06-29 (complete)3729205SAT 0.164974 0.117312
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729209SAT 0.260959 0.261893
PB07: PB-clasp 2007-04-10 (complete)3729197SAT 0.530918 0.524546
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692779SAT 0.58191 0.583401
PB10: borg-pb 10.05.30 (complete)3729203SAT 0.908861 1.25805
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691613SAT 1.04784 1.04982
SCIP spx SCIP with SoPlex fixed (complete)3690447SAT 1.07084 1.07172
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687217SAT 1.16282 0.840228
wbo 1.7 (complete)3704687SAT 1.83272 1.83585
pwbo 2.02 (complete)3726479SAT 1.84272 1.83855
wbo 1.72 (complete)3726988SAT 1.88171 1.88731
SAT4J PB specific settings 2.3.2 snapshot (complete)3709795SAT 1.92371 1.44792
PB07: Pueblo 1.4 (incomplete)3719805SAT 2.00569 2.12112
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729206SAT 2.02269 2.02363
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729202SAT 2.15367 1.68683
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729201SAT 2.6036 2.60477
PB11: borg pb-dec-11.04.03 (complete)3729207SAT 2.71958 2.84871
npSolver 1.0 (fixed) (complete)3749500SAT 3.21851 3.2206
npSolver inc-topDown (fixed) (complete)3746308SAT 3.23951 3.24226
npSolver inc-topdown-quickBound (fixed) (complete)3751096SAT 3.24251 3.24363
npSolver inc (fixed) (complete)3747904SAT 3.42548 3.42755
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729204SAT 5.06223 2.17386
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729199SAT 5.97309 5.57343
pwbo 2.0 (complete)3704178SAT 6.77297 6.79281
PB09: bsolo 3.1 (complete)3729200SAT 7.8978 7.90026
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687216SAT 8.80066 3.72289
toysat 2012-05-17 (complete)3705867SAT 10.7124 10.7157
toysat 2012-06-01 (complete)3724240SAT 10.7534 10.7604
PB11: Sat4j Res//CP 2.3.0 (complete)3729208SAT 12.933 6.20294
PB07: bsolo 3.0.17 (complete)3729198SAT 29.1476 29.158
PB07: minisat+ 1.14 (complete)3720971SAT 34.7307 34.7381
bsolo 3.2 (complete)3707449SAT 40.5458 40.5543
PB12: minisatp 1.0-2-g022594c (complete)3722644SAT 44.5952 44.6137
PBPASSolver-CARD.DP 2012-05-28 (complete)3718571SAT 113.103 114.241
PBPASSolver-CARD.SN 2012-05-28 (complete)3718940SAT 165.362 165.433
pb2sat 2012-05-19 (complete)3695555? (problem) 0.019996 0.166716
npSolver inc-topdown-quickBound (complete)3701939? (problem) 0.019996 0.119458
npSolver inc-topDown (complete)3697151? (problem) 0.020996 0.168551
npSolver 1.0 (complete)3700343? (problem) 0.020996 0.122019
pb2satCp2 2012-05-19 (complete)3693959? (problem) 0.021996 0.122244
npSolver inc (complete)3698747? (problem) 0.023995 0.119892

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