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-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-3
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 -3
Optimality of the best value was proved YES
Number of variables20
Total number of constraints31
Number of constraints which are clauses10
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 10
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)104
Sum of products size (including duplicates)208
Number of different products52
Sum of products size104

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
pwbo 2.02 (complete)3726759OPT-3 0.001999 0.00619495
pwbo 2.0 (complete)3704458OPT-3 0.001999 0.0063581
clasp 2.0.6-R5325 (opt) (complete)3709582OPT-3 0.002999 0.0061479
PB07: Pueblo 1.4 (incomplete)3720500OPT-3 0.003999 0.00869891
PB09: bsolo 3.1 (complete)3737663OPT-3 0.007998 0.00838305
PB07: minisat+ 1.14 (complete)3721749OPT-3 0.009998 0.0105429
bsolo 3.2 (complete)3708416OPT-3 0.010998 0.0126271
toysat 2012-06-01 (complete)3725623OPT-3 0.014997 0.020537
PB07: bsolo 3.0.17 (complete)3737661OPT-3 0.015996 0.0208981
toysat 2012-05-17 (complete)3707250OPT-3 0.015996 0.017572
PB10: pb_cplex 2010-06-29 (complete)3737667OPT-3 0.022995 0.028274
pb2satCp2 2012-05-19 (complete)3695342OPT-3 0.022995 0.0311489
pb2sat 2012-05-19 (complete)3696938OPT-3 0.031994 0.034754
npSolver inc-topdown-quickBound (complete)3703322OPT-3 0.032994 0.035154
npSolver inc-topDown (complete)3698534OPT-3 0.032994 0.0350521
npSolver inc (complete)3700130OPT-3 0.040992 0.044647
npSolver inc-topDown (fixed) (complete)3747691OPT-3 0.041993 0.0426891
npSolver inc-topdown-quickBound (fixed) (complete)3752479OPT-3 0.041993 0.0397771
npSolver inc (fixed) (complete)3749287OPT-3 0.046992 0.048618
npSolver 1.0 (complete)3701726OPT-3 0.069989 0.066926
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692580OPT-3 0.074987 0.0765381
npSolver 1.0 (fixed) (complete)3750883OPT-3 0.074987 0.0808819
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3737668OPT-3 0.087985 0.088723
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3737670OPT-3 0.094985 0.097278
SCIP spx SCIP with SoPlex fixed (complete)3691414OPT-3 0.095984 0.0974909
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693746OPT-3 0.173972 0.175568
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3737664OPT-3 0.303953 0.305011
SAT4J PB specific settings 2.3.2 snapshot (complete)3711178OPT-3 0.332948 0.233658
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688773OPT-3 0.333948 0.22155
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3737665OPT-3 0.443931 0.267273
PB11: Sat4j Res//CP 2.3.0 (complete)3737669OPT-3 0.624904 1.66191
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688772OPT-3 0.634902 1.6654
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3737666OPT-3 0.644901 3.16014
wbo 1.7 (complete)3705654OPT-3 2.78058 2.78215
wbo 1.72 (complete)3727955OPT-3 2.95155 2.94646
PB12: minisatp 1.0-2-g022594c (complete)3724027? 0.005998 0.00664405
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3737662? 0.113982 0.123984
PB07: PB-clasp 2007-04-10 (complete)3737660? (TO) 1691.57 1900.02

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: -3
Solution found:
-x1 -x2 -x3 -x4 x5 -x6 x7 x8 -x9 -x10 -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 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20