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.001998
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)96
Sum of products size (including duplicates)192
Number of different products48
Sum of products size96

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
pwbo 2.0 (complete)3704457OPT-3 0.001998 0.00647693
pwbo 2.02 (complete)3726758OPT-3 0.001999 0.00774612
clasp 2.0.6-R5325 (opt) (complete)3709581OPT-3 0.002998 0.00649708
PB07: Pueblo 1.4 (incomplete)3720496OPT-3 0.002998 0.00756511
PB09: bsolo 3.1 (complete)3737619OPT-3 0.006998 0.00669893
bsolo 3.2 (complete)3708415OPT-3 0.008997 0.0100439
PB07: bsolo 3.0.17 (complete)3737617OPT-3 0.009997 0.011813
PB07: minisat+ 1.14 (complete)3721745OPT-3 0.012997 0.0124521
toysat 2012-05-17 (complete)3707249OPT-3 0.013997 0.0160601
toysat 2012-06-01 (complete)3725622OPT-3 0.016996 0.018422
pb2satCp2 2012-05-19 (complete)3695341OPT-3 0.024996 0.0268481
pb2sat 2012-05-19 (complete)3696937OPT-3 0.029995 0.030767
npSolver inc-topdown-quickBound (complete)3703321OPT-3 0.030995 0.0336661
npSolver inc-topdown-quickBound (fixed) (complete)3752478OPT-3 0.033994 0.0381989
npSolver inc (complete)3700129OPT-3 0.037993 0.041683
npSolver inc-topDown (fixed) (complete)3747690OPT-3 0.037994 0.041029
npSolver inc (fixed) (complete)3749286OPT-3 0.046991 0.048326
npSolver inc-topDown (complete)3698533OPT-3 0.05999 0.0332129
npSolver 1.0 (complete)3701725OPT-3 0.069988 0.0756889
npSolver 1.0 (fixed) (complete)3750882OPT-3 0.073987 0.0770511
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692579OPT-3 0.078987 0.079845
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3737626OPT-3 0.087985 0.0891839
SCIP spx SCIP with SoPlex fixed (complete)3691413OPT-3 0.094985 0.0951819
PB10: pb_cplex 2010-06-29 (complete)3737623OPT-3 0.116981 0.121808
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3737624OPT-3 0.224965 0.227262
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693745OPT-3 0.284956 0.2857
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688765OPT-3 0.302953 0.219964
SAT4J PB specific settings 2.3.2 snapshot (complete)3711177OPT-3 0.32295 0.225649
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3737621OPT-3 0.444931 0.269839
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3737620OPT-3 0.480925 0.480688
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688764OPT-3 0.601907 1.67892
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3737622OPT-3 0.642902 3.15168
PB11: Sat4j Res//CP 2.3.0 (complete)3737625OPT-3 0.672897 1.67972
wbo 1.7 (complete)3705653OPT-3 4.82227 4.81786
wbo 1.72 (complete)3727954OPT-3 4.82227 4.83171
PB12: minisatp 1.0-2-g022594c (complete)3724026? 0.004998 0.00689295
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3737618? 0.113982 0.120279
PB07: PB-clasp 2007-04-10 (complete)3737616? (TO) 1800.28 1743.03

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
-x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20