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.029995
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 1155
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)3729127SAT 0.029995 0.112465
clasp 2.0.6-R5325 (dec) (complete)3708611SAT 0.074988 0.0774779
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692775SAT 0.557914 0.56571
pwbo 2.02 (complete)3726475SAT 0.581911 0.579888
wbo 1.72 (complete)3726984SAT 0.581911 0.576627
wbo 1.7 (complete)3704683SAT 0.582911 0.576647
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729131SAT 1.01384 1.01523
PB10: borg-pb 10.05.30 (complete)3729125SAT 1.03584 2.16957
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687205SAT 1.03984 1.16823
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729128SAT 1.13083 1.13251
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691609SAT 1.22681 1.22736
SCIP spx SCIP with SoPlex fixed (complete)3690443SAT 1.2868 1.28775
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729121SAT 1.3428 0.956533
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729123SAT 1.42778 1.42911
PB11: borg pb-dec-11.04.03 (complete)3729129SAT 1.51277 2.30001
PB07: PB-clasp 2007-04-10 (complete)3729119SAT 1.52577 1.60144
SAT4J PB specific settings 2.3.2 snapshot (complete)3709791SAT 1.80572 1.38371
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687204SAT 1.80572 1.49594
npSolver inc-topDown (fixed) (complete)3746304SAT 2.17967 2.18826
npSolver inc (fixed) (complete)3747900SAT 2.18367 2.18251
npSolver inc-topdown-quickBound (fixed) (complete)3751092SAT 2.19667 2.19957
npSolver 1.0 (fixed) (complete)3749496SAT 2.19966 2.20383
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729124SAT 2.6526 2.13847
PB07: Pueblo 1.4 (incomplete)3719799SAT 3.2465 3.34759
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729126SAT 4.79327 2.18025
pwbo 2.0 (complete)3704174SAT 4.88226 4.89199
PB11: Sat4j Res//CP 2.3.0 (complete)3729130SAT 9.02363 4.2174
toysat 2012-06-01 (complete)3724236SAT 12.4801 12.4851
toysat 2012-05-17 (complete)3705863SAT 12.6931 12.6964
PB12: minisatp 1.0-2-g022594c (complete)3722640SAT 20.9158 20.9202
PB07: bsolo 3.0.17 (complete)3729120SAT 21.2928 21.3039
PB09: bsolo 3.1 (complete)3729122SAT 26.446 26.4517
PB07: minisat+ 1.14 (complete)3720965SAT 26.9899 26.9959
bsolo 3.2 (complete)3707445SAT 29.9214 29.9303
PBPASSolver-CARD.SN 2012-05-28 (complete)3718936SAT 134.476 134.777
PBPASSolver-CARD.DP 2012-05-28 (complete)3718567SAT 139.653 140.435
npSolver 1.0 (complete)3700339? (problem) 0.017997 0.135399
npSolver inc (complete)3698743? (problem) 0.019996 0.115306
npSolver inc-topdown-quickBound (complete)3701935? (problem) 0.020995 0.141628
npSolver inc-topDown (complete)3697147? (problem) 0.020996 0.205929
pb2satCp2 2012-05-19 (complete)3693955? (problem) 0.020996 0.384667
pb2sat 2012-05-19 (complete)3695551? (problem) 0.021996 0.158211

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