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 benchmark2
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 2
Optimality of the best value was proved YES
Number of variables45
Total number of constraints7
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 constraints7
Minimum length of a constraint5
Maximum length of a constraint35
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1984
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)75
Sum of products size (including duplicates)150
Number of different products75
Sum of products size150

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
pwbo 2.02 (complete)3726841OPT2 0.001998 0.00735512
wbo 1.7 (complete)3705736OPT2 0.001998 0.0066669
pwbo 2.0 (complete)3704540OPT2 0.001998 0.00642288
wbo 1.72 (complete)3728037OPT2 0.002998 0.00643802
PB07: minisat+ 1.14 (complete)3721657OPT2 0.011998 0.01445
PB10: pb_cplex 2010-06-29 (complete)3736655OPT2 0.017996 0.018819
clasp 2.0.6-R5325 (opt) (complete)3709664OPT2 0.017997 0.0196519
PB09: bsolo 3.1 (complete)3736651OPT2 0.018996 0.018477
PB07: bsolo 3.0.17 (complete)3736649OPT2 0.018996 0.021232
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693828OPT2 0.038993 0.0447409
SCIP spx SCIP with SoPlex fixed (complete)3691496OPT2 0.038993 0.0397151
toysat 2012-06-01 (complete)3725705OPT2 0.042992 0.0460961
toysat 2012-05-17 (complete)3707332OPT2 0.042993 0.045014
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3736658OPT2 0.046992 0.047624
bsolo 3.2 (complete)3708498OPT2 0.068989 0.069101
npSolver inc-topDown (fixed) (complete)3747773OPT2 0.079987 0.0840381
npSolver inc (fixed) (complete)3749369OPT2 0.082987 0.083551
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692662OPT2 0.100984 0.102951
npSolver 1.0 (fixed) (complete)3750965OPT2 0.103983 0.106351
PB07: PB-clasp 2007-04-10 (complete)3736648OPT2 0.166974 0.167544
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688589OPT2 0.166974 0.165172
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3736653OPT2 0.173973 0.151378
PB07: Pueblo 1.4 (incomplete)3720408OPT2 0.193969 0.195743
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3736650OPT2 0.195969 0.163487
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688588OPT2 0.232963 1.15279
PB11: Sat4j Res//CP 2.3.0 (complete)3736657OPT2 0.243962 1.1466
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3736654OPT2 0.264959 2.15769
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3736652OPT2 0.403938 0.404307
pb2sat 2012-05-19 (complete)3697020OPT2 0.420935 0.423019
pb2satCp2 2012-05-19 (complete)3695424OPT2 0.506922 0.73978
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3736656OPT2 0.658899 0.659693
npSolver inc-topDown (complete)3698616OPT2 2.79857 2.80204
npSolver inc (complete)3700212OPT2 3.76743 3.77177
npSolver 1.0 (complete)3701808OPT2 3.9534 3.95577
SAT4J PB specific settings 2.3.2 snapshot (complete)3711260SAT2 0.483926 0.263297
PB12: minisatp 1.0-2-g022594c (complete)3724109? 0.003998 0.00743712
npSolver inc-topdown-quickBound (fixed) (complete)3752561? (TO) -1 1541.81
npSolver inc-topdown-quickBound (complete)3703404? (TO) 1800.06 1818.41

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: 2
Solution found:
-x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 x16 x17 -x18 x19 -x20 -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 -x21 x22 -x23 -x24 -x25 x31 -x32 -x33 -x34 -x35 -x71 x72 -x73 -x74 -x75
-x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x26 x27 x28 -x29 -x30 -x36 -x37 -x38
-x39 -x40 -x96 x97 x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 -x114 -x115 -x116 -x117 -x118
-x119 -x120 -x41 x42 -x43 -x44 -x45