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.020996
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 1177
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)3729465SAT 0.020996 0.103556
clasp 2.0.6-R5325 (dec) (complete)3708629SAT 0.034994 0.0345601
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692793SAT 0.152976 0.15402
toysat 2012-05-17 (complete)3705881SAT 0.25596 0.256115
toysat 2012-06-01 (complete)3724254SAT 0.268958 0.268805
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729469SAT 0.295954 0.296936
SCIP spx SCIP with SoPlex fixed (complete)3690461SAT 0.419935 0.421334
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691627SAT 0.424934 0.424434
PB07: PB-clasp 2007-04-10 (complete)3729457SAT 0.673896 0.668225
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729459SAT 0.693893 0.367296
PB10: borg-pb 10.05.30 (complete)3729463SAT 0.705892 0.876795
pwbo 2.0 (complete)3704192SAT 0.822874 0.821109
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687257SAT 0.84487 0.518562
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729462SAT 0.885865 0.493867
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729466SAT 1.25081 1.2519
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729461SAT 1.25581 1.25776
SAT4J PB specific settings 2.3.2 snapshot (complete)3709809SAT 1.36579 0.929676
npSolver inc-topdown-quickBound (fixed) (complete)3751110SAT 1.44778 1.4504
npSolver inc-topDown (fixed) (complete)3746322SAT 1.45478 1.45645
PB11: borg pb-dec-11.04.03 (complete)3729467SAT 1.45878 1.56743
npSolver 1.0 (fixed) (complete)3749514SAT 1.46078 1.46094
npSolver inc (fixed) (complete)3747918SAT 1.46078 1.46345
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687256SAT 1.65475 0.680062
PB07: Pueblo 1.4 (incomplete)3719825SAT 1.79573 1.79732
PB07: bsolo 3.0.17 (complete)3729458SAT 2.08268 2.0853
wbo 1.7 (complete)3704701SAT 2.31265 2.31018
pwbo 2.02 (complete)3726493SAT 2.31265 2.31267
wbo 1.72 (complete)3727002SAT 2.37264 2.37595
PB09: bsolo 3.1 (complete)3729460SAT 3.90441 3.90474
bsolo 3.2 (complete)3707463SAT 4.70928 4.71142
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729464SAT 6.15206 3.18474
PB11: Sat4j Res//CP 2.3.0 (complete)3729468SAT 6.2 2.7165
PB07: minisat+ 1.14 (complete)3720991SAT 33.7829 33.789
PB12: minisatp 1.0-2-g022594c (complete)3722658SAT 42.3406 42.3521
PBPASSolver-CARD.DP 2012-05-28 (complete)3718585SAT 82.3835 82.6483
PBPASSolver-CARD.SN 2012-05-28 (complete)3718954SAT 91.0602 91.4262
npSolver inc-topdown-quickBound (complete)3701953? (problem) 0.019996 0.106975
pb2satCp2 2012-05-19 (complete)3693973? (problem) 0.020996 0.111002
npSolver inc (complete)3698761? (problem) 0.020996 0.127957
npSolver inc-topDown (complete)3697165? (problem) 0.022995 0.120571
pb2sat 2012-05-19 (complete)3695569? (problem) 0.022996 0.190885
npSolver 1.0 (complete)3700357? (problem) 0.023996 0.137254

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