PB'12 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM774e61576b805c95b87ab57992a33004
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.002998
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables234
Total number of constraints193
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)25
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint13
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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
wbo 1.72 (complete)3726916SAT 0.002998 0.00713301
wbo 1.7 (complete)3704615SAT 0.002998 0.00620492
PB09: bsolo 3.1 (complete)3730227SAT 0.002998 0.00575299
pwbo 2.0 (complete)3704106SAT 0.002998 0.00636688
pwbo 2.02 (complete)3726407SAT 0.002999 0.0112469
bsolo 3.2 (complete)3707377SAT 0.004998 0.0061629
PB12: minisatp 1.0-2-g022594c (complete)3722572SAT 0.005998 0.00675112
PB07: bsolo 3.0.17 (complete)3730225SAT 0.008998 0.0105239
PB07: minisat+ 1.14 (complete)3721050SAT 0.012997 0.014127
PB07: Pueblo 1.4 (incomplete)3719884SAT 0.018996 0.112315
PB10: pb_cplex 2010-06-29 (complete)3730232SAT 0.024995 0.0248519
PB07: PB-clasp 2007-04-10 (complete)3730224SAT 0.033994 0.0305199
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3692707SAT 0.054991 0.0545071
toysat 2012-05-17 (complete)3705795SAT 0.071988 0.0734539
toysat 2012-06-01 (complete)3724168SAT 0.072988 0.0745521
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3730228SAT 0.085986 0.087037
npSolver inc-topdown-quickBound (fixed) (complete)3751024SAT 0.096985 0.099892
npSolver inc (fixed) (complete)3747832SAT 0.102983 0.10405
npSolver inc-topDown (fixed) (complete)3746236SAT 0.103984 0.105036
npSolver 1.0 (fixed) (complete)3749428SAT 0.106983 0.107001
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3730236SAT 0.246962 0.248129
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3690375SAT 0.376941 0.37952
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3691541SAT 0.379941 0.379433
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687375SAT 0.414936 0.239547
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3730233SAT 0.549915 0.550452
PB11: Sat4j Res//CP 2.3.0 (complete)3730235SAT 0.663899 0.699827
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3730231SAT 0.723889 1.17979
PB10: borg-pb 10.05.30 (complete)3730230SAT 0.768882 2.19137
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687374SAT 0.78388 0.689342
PB11: borg pb-dec-11.04.03 (complete)3730234SAT 0.84387 0.779247
PBPASSolver-CARD.SN 2012-05-28 (complete)3718868SAT 0.911861 0.923912
PBPASSolver-CARD.DP 2012-05-28 (complete)3718499SAT 4.5933 4.7272
clasp 2.0.6-R5325 (dec) (complete)3708543SAT 30.7453 30.7522
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3730229SAT 422.948 422.55
SAT4J PB specific settings 2.3.2 snapshot (complete)3709723SAT 438.75 436.992
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3730226SAT 1671.16 1669.91
npSolver 1.0 (complete)3700271? (problem) 0.004998 0.10161
pb2satCp2 2012-05-19 (complete)3693887? (problem) 0.004999 0.0703421
npSolver inc-topDown (complete)3697079? (problem) 0.005998 0.069861
npSolver inc-topdown-quickBound (complete)3701867? (problem) 0.005998 0.086877
npSolver inc (complete)3698675? (problem) 0.005998 0.0802389
pb2sat 2012-05-19 (complete)3695483? (problem) 0.006998 0.118528

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:
-x67 -x163 -x164 -x165 x166 -x167 -x168 -x18 -x181 -x182 x183 -x184 -x185 -x186 -x53 x157 -x158 -x159 -x160 -x161 -x162 -x139 -x205 x206
-x207 -x208 -x209 -x210 -x137 -x193 -x194 x195 -x196 -x197 -x198 -x46 x119 -x130 -x229 -x230 -x231 -x232 -x233 -x234 x141 -x217 -x218 -x219
-x220 x221 -x222 -x14 -x15 -x16 -x17 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x37 x31 -x7 -x63 -x74 -x93 -x128 -x134 -x175 -x176 -x177 -x178
-x179 x180 -x77 x223 -x224 -x225 -x226 -x227 -x228 x79 -x97 -x187 x188 -x189 -x190 -x191 -x192 -x110 -x44 -x48 -x52 -x64 -x87 -x117 -x71
x113 -x66 x58 x4 -x33 x103 -x156 x49 -x211 -x212 -x213 x214 -x215 -x216 -x11 -x140 -x35 x68 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x3 -x169
-x170 -x171 -x172 x173 -x174 -x132 -x32 -x152 -x99 -x199 -x200 -x201 -x202 -x203 x204 -x57 -x27 -x28 -x29 -x30 -x34 -x36 -x38 -x39 -x55
-x125 -x84 -x131 -x133 -x135 -x136 -x138 -x142 -x143 -x109 -x50 -x65 -x80 -x150 -x105 -x106 -x107 -x108 -x111 -x112 -x114 -x115 -x116 -x51
-x129 -x121 -x145 -x41 -x10 -x86 -x12 -x81 -x82 -x83 -x85 -x88 -x89 -x90 -x91 -x40 -x42 -x43 -x45 -x47 -x154 -x148 -x92 -x126 -x60 -x54 -x56
-x59 -x61 -x62 -x124 -x118 -x120 -x122 -x123 -x127 -x96 -x102 -x1 x151 -x155 -x95 -x94 -x98 -x100 -x101 -x104 -x153 -x6 -x13 -x5 -x144 -x2
-x146 -x147 -x149 -x8 -x9