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.05899
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 1216
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)3729361SAT 0.05899 0.115635
pwbo 2.0 (complete)3704180SAT 0.082987 0.0761809
PB07: PB-clasp 2007-04-10 (complete)3729353SAT 0.368943 0.362509
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691615SAT 0.765882 0.765572
SCIP spx SCIP with SoPlex fixed (complete)3690449SAT 0.793878 0.794539
clasp 2.0.6-R5325 (dec) (complete)3708617SAT 0.810876 0.812148
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692781SAT 0.895862 0.902318
PB07: bsolo 3.0.17 (complete)3729354SAT 0.98085 0.984739
SAT4J PB specific settings 2.3.2 snapshot (complete)3709797SAT 1.02384 0.626653
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729362SAT 1.27781 1.28048
PB07: Pueblo 1.4 (incomplete)3719817SAT 1.27981 1.28139
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729365SAT 1.42078 1.42225
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687241SAT 1.54376 1.15342
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729357SAT 1.9877 1.98832
PB10: borg-pb 10.05.30 (complete)3729359SAT 2.06869 2.17095
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729355SAT 2.43363 2.02585
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729358SAT 3.09453 2.58004
npSolver inc (fixed) (complete)3747906SAT 3.69044 3.69414
npSolver inc-topdown-quickBound (fixed) (complete)3751098SAT 3.69344 3.69743
npSolver 1.0 (fixed) (complete)3749502SAT 3.70244 3.70268
wbo 1.7 (complete)3704689SAT 3.83242 3.82878
pwbo 2.02 (complete)3726481SAT 3.85341 3.84747
npSolver inc-topDown (fixed) (complete)3746310SAT 3.98739 4.00942
wbo 1.72 (complete)3726990SAT 3.99339 4.00479
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687240SAT 5.78512 2.3206
toysat 2012-06-01 (complete)3724242SAT 10.5884 10.5932
toysat 2012-05-17 (complete)3705869SAT 10.7874 10.7894
PB11: borg pb-dec-11.04.03 (complete)3729363SAT 10.8803 11.5832
PB11: Sat4j Res//CP 2.3.0 (complete)3729364SAT 18.2602 8.67897
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729360SAT 18.3012 9.17069
bsolo 3.2 (complete)3707451SAT 36.7054 36.716
PB09: bsolo 3.1 (complete)3729356SAT 59.011 59.0314
PB12: minisatp 1.0-2-g022594c (complete)3722646SAT 64.2272 64.2409
PB07: minisat+ 1.14 (complete)3720983SAT 69.8714 69.8891
PBPASSolver-CARD.SN 2012-05-28 (complete)3718942SAT 149.45 150.062
PBPASSolver-CARD.DP 2012-05-28 (complete)3718573SAT 186.799 187.121
npSolver inc (complete)3698749? (problem) 0.019996 0.154935
pb2sat 2012-05-19 (complete)3695557? (problem) 0.020996 0.124491
npSolver inc-topdown-quickBound (complete)3701941? (problem) 0.021995 0.117411
npSolver 1.0 (complete)3700345? (problem) 0.021996 0.121863
pb2satCp2 2012-05-19 (complete)3693961? (problem) 0.021996 0.102719
npSolver inc-topDown (complete)3697153? (problem) 0.023995 0.174027

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