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 benchmark3951
Best CPU time to get the best result obtained on this benchmark0.000999
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 3951
Optimality of the best value was proved YES
Number of variables55
Total number of constraints60
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 55
Biggest coefficient in the objective function 1772
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 25669
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1772
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 25669
Number of bits of the biggest sum of numbers15
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
wbo 1.72 (complete)3727689OPT3951 0.000999 0.00710596
wbo 1.7 (complete)3705388OPT3951 0.001998 0.00652802
pwbo 2.02 (complete)3726168OPT3951 0.001998 0.00689189
pwbo 2.0 (complete)3703867OPT3951 0.001998 0.00762288
clasp 2.0.6-R5325 (opt) (complete)3709346OPT3951 0.003998 0.00739297
PB10: pb_cplex 2010-06-29 (complete)3735496OPT3951 0.006998 0.00637998
SCIP spx SCIP with SoPlex fixed (complete)3691178OPT3951 0.012997 0.014117
PB07: Pueblo 1.4 (incomplete)3720307OPT3951 0.012997 0.0174299
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735497OPT3951 0.013997 0.014414
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693510OPT3951 0.014996 0.0165649
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735493OPT3951 0.015996 0.0187751
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735499OPT3951 0.016996 0.017869
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692344OPT3951 0.017996 0.0176489
toysat 2012-06-01 (complete)3725387OPT3951 0.034993 0.037007
toysat 2012-05-17 (complete)3707014OPT3951 0.034994 0.036681
PB07: bsolo 3.0.17 (complete)3735490OPT3951 0.037994 0.0410581
PB09: bsolo 3.1 (complete)3735492OPT3951 0.040993 0.042035
bsolo 3.2 (complete)3708180OPT3951 0.043992 0.044438
PB07: PB-clasp 2007-04-10 (complete)3735489OPT3951 0.071988 0.0795391
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688371OPT3951 0.283955 0.206963
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735491OPT3951 0.303952 0.198083
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735494OPT3951 0.311952 0.198579
PB12: minisatp 1.0-2-g022594c (complete)3723791OPT3951 0.471927 0.47406
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688370OPT3951 0.493924 1.13942
SAT4J PB specific settings 2.3.2 snapshot (complete)3710942OPT3951 0.522919 0.274578
PB11: Sat4j Res//CP 2.3.0 (complete)3735498OPT3951 0.563914 1.14094
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735495OPT3951 0.622905 2.15092
PB07: minisat+ 1.14 (complete)3721548OPT3951 1.87371 1.87564
npSolver inc-topdown-quickBound (fixed) (complete)3752243OPT3951 4.37633 4.34452
npSolver inc-topDown (fixed) (complete)3747455OPT3951 4.43832 4.4128
npSolver inc-topDown (complete)3698298OPT3951 5.8931 5.79083
npSolver inc-topdown-quickBound (complete)3703086OPT3951 7.2509 7.22762
pb2sat 2012-05-19 (complete)3696702OPT3951 8.16076 8.33726
pb2satCp2 2012-05-19 (complete)3695106OPT3951 8.37872 8.39942
npSolver inc (complete)3699894OPT3951 10.9723 11.3401
npSolver 1.0 (complete)3701490OPT3951 16.0416 16.2762
npSolver inc (fixed) (complete)3749051OPT3951 31.9951 32.0247
npSolver 1.0 (fixed) (complete)3750647OPT3951 36.2305 36.3963

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