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-26
Best CPU time to get the best result obtained on this benchmark3.01854
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products622
Sum of products size1244

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3737345OPT-26 3.01854 3.02114
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692636OPT-26 3.16352 3.16514
SCIP spx SCIP with SoPlex fixed (complete)3691470OPT-26 3.43548 3.43718
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693802OPT-26 3.9794 3.98126
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3737351OPT-26 4.72828 4.73359
PB07: minisat+ 1.14 (complete)3721720OPT-26 108.009 108.028
pb2satCp2 2012-05-19 (complete)3695398OPT-26 112.448 112.475
pb2sat 2012-05-19 (complete)3696994OPT-26 164.647 164.685
npSolver inc-topdown-quickBound (fixed) (complete)3752535OPT-26 182.57 182.625
npSolver inc-topdown-quickBound (complete)3703378OPT-26 184.236 184.296
npSolver inc-topDown (fixed) (complete)3747747OPT-26 184.453 184.499
npSolver inc-topDown (complete)3698590OPT-26 191.588 191.64
npSolver 1.0 (complete)3701782OPT-26 216.293 216.347
npSolver inc (fixed) (complete)3749343OPT-26 216.806 216.855
npSolver 1.0 (fixed) (complete)3750939OPT-26 218.557 218.601
npSolver inc (complete)3700186OPT-26 220.576 220.642
PB07: Pueblo 1.4 (incomplete)3720471OPT-26 647.784 647.887
clasp 2.0.6-R5325 (opt) (complete)3709638OPT-26 671.417 671.521
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3737347OPT-26 1440.88 813.27
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3737349SAT-26 1789.74 1790.02
bsolo 3.2 (complete)3708472SAT-26 1798 1798.28
PB11: Sat4j Res//CP 2.3.0 (complete)3737350SAT (TO)-26 1800.62 1057.64
PB07: bsolo 3.0.17 (complete)3737342SAT (TO)-25 1800.02 1800.31
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3737346SAT (TO)-25 1800.04 1795.78
SAT4J PB specific settings 2.3.2 snapshot (complete)3711234SAT (TO)-25 1800.06 1796.95
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688715SAT (TO)-24 1800.03 1796.65
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688714SAT (TO)-24 1800.66 914.043
PB12: minisatp 1.0-2-g022594c (complete)3724083? 0.004998 0.00642997
PB09: bsolo 3.1 (complete)3737344? 0.004998 0.00690095
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3737343? 0.324949 0.234007
wbo 1.72 (complete)3728011? 1799.57 1800.01
wbo 1.7 (complete)3705710? 1799.92 1800.01
PB07: PB-clasp 2007-04-10 (complete)3737341? (TO) 1349.65 1908.34
toysat 2012-05-17 (complete)3707306? (TO) 1800.07 1800.41
toysat 2012-06-01 (complete)3725679? (TO) 1800.07 1800.51
PB10: pb_cplex 2010-06-29 (complete)3737348No Cert. 1.35079 1.07172
pwbo 2.02 (complete)3726815No Cert. 1007.27 503.894
pwbo 2.0 (complete)3704514No Cert. 1116.69 558.587

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: -26
Solution found:
x100 x99 -x98 -x97 -x96 -x95 x94 x93 x92 -x91 -x90 -x89 -x88 x87 x86 x85 -x84 x83 -x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
-x70 -x69 x68 -x67 -x66 x65 -x64 -x63 x62 -x61 x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42
x41 -x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13
-x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1