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 benchmark14
Best CPU time to get the best result obtained on this benchmark0.001998
Has Objective FunctionYES
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables47
Total number of constraints257
Number of constraints which are clauses257
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 28
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 3598
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 3598
Number of bits of the biggest sum of numbers12
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
PB09: bsolo 3.1 (complete)3738950OPT14 0.000999 0.00641989
pwbo 2.0 (complete)3703932OPT14 0.001998 0.00645794
bsolo 3.2 (complete)3708245OPT14 0.001998 0.00647505
wbo 1.72 (complete)3727754OPT14 0.001998 0.00648403
clasp 2.0.6-R5325 (opt) (complete)3709411OPT14 0.001999 0.00621994
pwbo 2.02 (complete)3726233OPT14 0.001999 0.00619189
wbo 1.7 (complete)3705453OPT14 0.001999 0.00663702
PB07: Pueblo 1.4 (incomplete)3720595OPT14 0.002998 0.00594795
PB12: minisatp 1.0-2-g022594c (complete)3723856OPT14 0.002998 0.00632607
PB07: minisat+ 1.14 (complete)3721874OPT14 0.003998 0.00705398
PB10: pb_cplex 2010-06-29 (complete)3738954OPT14 0.005998 0.00667995
toysat 2012-05-17 (complete)3707079OPT14 0.005998 0.00734191
toysat 2012-06-01 (complete)3725452OPT14 0.005998 0.00698801
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3738955OPT14 0.015997 0.0227831
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3738951OPT14 0.019996 0.0191301
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693575OPT14 0.020996 0.02083
SCIP spx SCIP with SoPlex fixed (complete)3691243OPT14 0.021996 0.02273
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3738957OPT14 0.022995 0.0238739
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692409OPT14 0.023995 0.0252051
pb2satCp2 2012-05-19 (complete)3695171OPT14 0.031994 0.035992
pb2sat 2012-05-19 (complete)3696767OPT14 0.032994 0.035752
PB07: PB-clasp 2007-04-10 (complete)3738947OPT14 0.036993 0.035
npSolver 1.0 (complete)3701555OPT14 0.046992 0.053454
npSolver 1.0 (fixed) (complete)3750712OPT14 0.054991 0.053993
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3738949OPT14 0.164974 0.149483
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3738952OPT14 0.19297 0.13983
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3689022OPT14 0.203968 1.15214
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3738953OPT14 0.204968 2.15853
PB11: Sat4j Res//CP 2.3.0 (complete)3738956OPT14 0.213966 1.18118
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3689023OPT14 0.214966 0.159551
SAT4J PB specific settings 2.3.2 snapshot (complete)3711007OPT14 0.214966 0.171535
npSolver inc-topdown-quickBound (complete)3703151? (problem) 0.005998 0.0925789
npSolver inc (complete)3699959? (problem) 0.008998 0.070128
npSolver inc-topDown (complete)3698363? (problem) 0.009998 0.0893139
npSolver inc-topDown (fixed) (complete)3747520? (problem) 0.016997 0.0872849
npSolver inc-topdown-quickBound (fixed) (complete)3752308? (problem) 0.017996 0.082261
npSolver inc (fixed) (complete)3749116? (problem) 0.022995 0.098146
PB07: bsolo 3.0.17 (complete)3738948Wrong Opt.270 0.001998 0.00805196

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