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 benchmark5148
Best CPU time to get the best result obtained on this benchmark0.001999
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 5148
Optimality of the best value was proved YES
Number of variables105
Total number of constraints112
Number of constraints which are clauses98
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint7
Number of terms in the objective function 105
Biggest coefficient in the objective function 2032
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 49347
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2032
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 49347
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
pwbo 2.0 (complete)3703869OPT5148 0.000999 0.0135249
wbo 1.72 (complete)3727691OPT5148 0.001999 0.016236
wbo 1.7 (complete)3705390OPT5148 0.001999 0.0114279
pwbo 2.02 (complete)3726170OPT5148 0.001999 0.012871
bsolo 3.2 (complete)3708182OPT5148 0.002999 0.00622599
PB09: bsolo 3.1 (complete)3735525OPT5148 0.002999 0.00625695
PB07: bsolo 3.0.17 (complete)3735523OPT5148 0.004998 0.00684411
PB10: pb_cplex 2010-06-29 (complete)3735529OPT5148 0.005998 0.00903609
SCIP spx SCIP with SoPlex fixed (complete)3691180OPT5148 0.013997 0.015772
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693512OPT5148 0.017997 0.0186159
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735526OPT5148 0.017997 0.0199429
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735532OPT5148 0.018996 0.020157
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692346OPT5148 0.018996 0.019716
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735530OPT5148 0.019996 0.0220571
clasp 2.0.6-R5325 (opt) (complete)3709348OPT5148 0.823874 0.825483
PB11: Sat4j Res//CP 2.3.0 (complete)3735531OPT5148 1.03284 1.15471
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688376OPT5148 1.04284 1.15431
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735528OPT5148 1.36379 2.16303
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735524OPT5148 1.76373 1.41671
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688377OPT5148 2.13367 1.24509
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735527OPT5148 2.34564 1.90814
PB07: Pueblo 1.4 (incomplete)3720310OPT5148 3.3165 3.31734
npSolver inc (fixed) (complete)3749053OPT5148 3.87041 3.88326
npSolver 1.0 (fixed) (complete)3750649OPT5148 3.98839 3.99499
pb2sat 2012-05-19 (complete)3696704OPT5148 5.14922 5.32878
npSolver inc (complete)3699896OPT5148 5.15321 5.33974
npSolver 1.0 (complete)3701492OPT5148 5.2422 5.23894
npSolver inc-topDown (fixed) (complete)3747457OPT5148 5.77112 5.89834
npSolver inc-topdown-quickBound (fixed) (complete)3752245OPT5148 5.79512 5.85467
SAT4J PB specific settings 2.3.2 snapshot (complete)3710944OPT5148 6.49201 4.31607
npSolver inc-topDown (complete)3698300OPT5148 7.47086 7.65145
npSolver inc-topdown-quickBound (complete)3703088OPT5148 7.54485 7.57854
pb2satCp2 2012-05-19 (complete)3695108OPT5148 7.70683 7.88396
toysat 2012-06-01 (complete)3725389OPT5148 8.27574 8.27803
PB07: PB-clasp 2007-04-10 (complete)3735522OPT5148 8.36173 8.43491
toysat 2012-05-17 (complete)3707016OPT5148 8.39972 8.40212
PB07: minisat+ 1.14 (complete)3721551OPT5148 44.3313 44.344
PB12: minisatp 1.0-2-g022594c (complete)3723793OPT5148 46.9099 46.9254

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