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 CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5852
Best CPU time to get the best result obtained on this benchmark0.009998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 5852
Optimality of the best value was proved YES
Number of variables136
Total number of constraints144
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 136
Biggest coefficient in the objective function 1311
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 58669
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1311
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 58669
Number of bits of the biggest sum of numbers16
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 NameTraceIDAnswerobjective functionCPU timeWall clock time
bsolo 3.2 (complete)3708183OPT5852 0.009998 0.011479
PB09: bsolo 3.1 (complete)3735470OPT5852 0.010997 0.0105299
PB07: bsolo 3.0.17 (complete)3735468OPT5852 0.017996 0.021546
PB10: pb_cplex 2010-06-29 (complete)3735474OPT5852 0.024995 0.0279559
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693513OPT5852 0.036993 0.0381309
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735471OPT5852 0.036993 0.0372949
wbo 1.72 (complete)3727692OPT5852 0.051991 0.0529219
wbo 1.7 (complete)3705391OPT5852 0.052991 0.0525631
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735475OPT5852 0.05799 0.0620901
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735477OPT5852 0.05899 0.059496
SCIP spx SCIP with SoPlex fixed (complete)3691181OPT5852 0.065989 0.066465
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692347OPT5852 0.092985 0.093882
pwbo 2.0 (complete)3703870OPT5852 0.102983 0.053974
pwbo 2.02 (complete)3726171OPT5852 0.12298 0.0586989
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735473OPT5852 3.11353 5.18837
PB11: Sat4j Res//CP 2.3.0 (complete)3735476OPT5852 3.55346 3.18977
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688366OPT5852 4.34434 2.69648
npSolver inc-topDown (complete)3698301OPT5852 9.8515 9.98024
npSolver inc-topdown-quickBound (complete)3703089OPT5852 9.99848 10.1349
pb2satCp2 2012-05-19 (complete)3695109OPT5852 10.1035 10.2685
npSolver inc (complete)3699897OPT5852 12.4331 12.5676
pb2sat 2012-05-19 (complete)3696705OPT5852 12.5051 12.7273
npSolver 1.0 (complete)3701493OPT5852 12.5861 12.6403
npSolver inc-topDown (fixed) (complete)3747458OPT5852 15.4656 15.5761
npSolver inc-topdown-quickBound (fixed) (complete)3752246OPT5852 15.6706 15.8797
npSolver 1.0 (fixed) (complete)3750650OPT5852 17.7553 17.767
npSolver inc (fixed) (complete)3749054OPT5852 17.9003 17.9222
clasp 2.0.6-R5325 (opt) (complete)3709349OPT5852 335.046 335.105
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688367OPT5852 368.22 363.028
PB07: Pueblo 1.4 (incomplete)3720305OPT5852 642.9 642.999
PB07: PB-clasp 2007-04-10 (complete)3735467OPT5852 808.617 809.048
SAT4J PB specific settings 2.3.2 snapshot (complete)3710945OPT5852 1453.67 1439.24
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735472SAT (TO)5866 1800.47 1791.87
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735469SAT (TO)5886 1800.03 1789.62
PB07: minisat+ 1.14 (complete)3721546SAT (TO)5887 1800.1 1800.41
PB12: minisatp 1.0-2-g022594c (complete)3723794SAT (TO)6211 1800.11 1800.41
toysat 2012-06-01 (complete)3725390? (TO) 1800.03 1800.31
toysat 2012-05-17 (complete)3707017? (TO) 1800.03 1800.31

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: 5852
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