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.184971
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 1171
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)3729452SAT 0.184971 0.164736
clasp 2.0.6-R5325 (dec) (complete)3708637SAT 0.283956 0.286516
PB07: PB-clasp 2007-04-10 (complete)3729444SAT 0.604907 0.600244
PB10: borg-pb 10.05.30 (complete)3729450SAT 0.677896 0.852182
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3729456SAT 0.900862 0.901877
PB07: Pueblo 1.4 (incomplete)3719824SAT 0.966852 1.0859
SCIP spx SCIP with SoPlex fixed (complete)3690469SAT 1.2838 1.28642
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692801SAT 1.35279 1.35434
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691635SAT 1.35579 1.35662
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3729449SAT 1.48277 0.990775
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687255SAT 1.76473 1.77276
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3729453SAT 1.84472 1.8463
SAT4J PB specific settings 2.3.2 snapshot (complete)3709817SAT 1.85472 1.40125
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3729448SAT 2.43463 2.43726
PB09: bsolo 3.1 (complete)3729447SAT 2.91656 2.91731
wbo 1.7 (complete)3704709SAT 3.39148 3.38992
pwbo 2.02 (complete)3726501SAT 3.54146 3.54632
wbo 1.72 (complete)3727010SAT 3.67244 3.67569
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3729451SAT 3.90241 2.16825
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687254SAT 3.99339 1.22503
PB11: Sat4j Res//CP 2.3.0 (complete)3729455SAT 4.14437 1.71511
pwbo 2.0 (complete)3704200SAT 4.69229 4.70831
toysat 2012-06-01 (complete)3724262SAT 5.48217 5.48779
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3729446SAT 5.52316 5.15769
toysat 2012-05-17 (complete)3705889SAT 5.55815 5.55967
PB11: borg pb-dec-11.04.03 (complete)3729454SAT 7.74382 7.84647
npSolver 1.0 (fixed) (complete)3749522SAT 8.51271 8.52254
npSolver inc-topDown (fixed) (complete)3746330SAT 8.72367 8.72775
npSolver inc (fixed) (complete)3747926SAT 8.89865 8.90249
npSolver inc-topdown-quickBound (fixed) (complete)3751118SAT 8.92964 8.92802
PB07: bsolo 3.0.17 (complete)3729445SAT 23.0415 23.0503
bsolo 3.2 (complete)3707471SAT 31.5482 31.5543
PBPASSolver-CARD.DP 2012-05-28 (complete)3718593SAT 77.2733 77.769
PB12: minisatp 1.0-2-g022594c (complete)3722666SAT 88.7575 88.7771
PB07: minisat+ 1.14 (complete)3720990SAT 142.705 142.731
PBPASSolver-CARD.SN 2012-05-28 (complete)3718962SAT 261.571 262.287
npSolver inc (complete)3698769? (problem) 0.019996 0.136814
npSolver inc-topDown (complete)3697173? (problem) 0.019996 0.106041
npSolver inc-topdown-quickBound (complete)3701961? (problem) 0.020996 0.186191
pb2satCp2 2012-05-19 (complete)3693981? (problem) 0.021996 0.395308
pb2sat 2012-05-19 (complete)3695577? (problem) 0.023996 0.175023
npSolver 1.0 (complete)3700365? (problem) 0.025995 0.0977089

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