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.033994
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 1247
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)3729504SAT 0.033994 0.0949469
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729508SAT 0.142977 0.146689
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691628SAT 0.185971 0.187178
SCIP spx SCIP with SoPlex fixed (complete)3690462SAT 0.228965 0.230041
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729500SAT 0.253961 0.255003
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692794SAT 0.342947 0.34922
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729505SAT 0.373942 0.374516
clasp 2.0.6-R5325 (dec) (complete)3708630SAT 0.471927 0.473533
PB10: borg-pb 10.05.30 (complete)3729502SAT 0.875866 1.00658
PB07: PB-clasp 2007-04-10 (complete)3729496SAT 1.22781 1.22
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729501SAT 1.74373 1.28905
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729498SAT 1.74473 1.35292
SAT4J PB specific settings 2.3.2 snapshot (complete)3709810SAT 1.86371 1.35513
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687263SAT 1.9647 1.85827
PB11: borg pb-dec-11.04.03 (complete)3729506SAT 3.01154 3.14534
pwbo 2.0 (complete)3704193SAT 4.45232 4.46033
wbo 1.72 (complete)3727003SAT 4.81227 4.81042
wbo 1.7 (complete)3704702SAT 4.82327 4.81705
pwbo 2.02 (complete)3726494SAT 4.83226 4.83108
PB07: Pueblo 1.4 (incomplete)3719828SAT 4.85026 4.94535
npSolver inc-topdown-quickBound (fixed) (complete)3751111SAT 5.11522 5.11955
PB07: bsolo 3.0.17 (complete)3729497SAT 5.14922 5.1518
npSolver inc-topDown (fixed) (complete)3746323SAT 5.17521 5.18109
npSolver 1.0 (fixed) (complete)3749515SAT 5.19421 5.19417
npSolver inc (fixed) (complete)3747919SAT 5.47517 5.47716
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687262SAT 6.20306 2.74749
toysat 2012-06-01 (complete)3724255SAT 7.95879 7.96155
toysat 2012-05-17 (complete)3705882SAT 8.02478 8.02819
PBPASSolver-CARD.SN 2012-05-28 (complete)3718955SAT 10.5584 10.8489
bsolo 3.2 (complete)3707464SAT 11.5452 11.5476
PB11: Sat4j Res//CP 2.3.0 (complete)3729507SAT 16.5725 7.85466
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729503SAT 21.5407 13.1755
PB09: bsolo 3.1 (complete)3729499SAT 32.1931 32.2022
PB12: minisatp 1.0-2-g022594c (complete)3722659SAT 34.2708 34.2801
PBPASSolver-CARD.DP 2012-05-28 (complete)3718586SAT 59.8029 60.0703
PB07: minisat+ 1.14 (complete)3720994SAT 63.7243 63.7349
pb2satCp2 2012-05-19 (complete)3693974? (problem) 0.019996 0.134647
npSolver 1.0 (complete)3700358? (problem) 0.019996 0.153883
npSolver inc (complete)3698762? (problem) 0.019996 0.123797
npSolver inc-topDown (complete)3697166? (problem) 0.019996 0.118432
npSolver inc-topdown-quickBound (complete)3701954? (problem) 0.020996 0.126227
pb2sat 2012-05-19 (complete)3695570? (problem) 0.021996 0.16564

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