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 benchmark19
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 19
Optimality of the best value was proved YES
Number of variables99
Total number of constraints191
Number of constraints which are clauses191
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 constraint31
Number of terms in the objective function 59
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 59
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 59
Number of bits of the biggest sum of numbers6
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.7 (complete)3705335OPT19 0.000999 0.00620799
wbo 1.72 (complete)3727636OPT19 0.001998 0.00612693
clasp 2.0.6-R5325 (opt) (complete)3709293OPT19 0.001999 0.00650088
pwbo 2.0 (complete)3703814OPT19 0.001999 0.00626491
pwbo 2.02 (complete)3726115OPT19 0.002998 0.00679108
PB09: bsolo 3.1 (complete)3736185OPT19 0.002998 0.006026
PB12: minisatp 1.0-2-g022594c (complete)3723738OPT19 0.002998 0.00637307
PB07: minisat+ 1.14 (complete)3721611OPT19 0.002999 0.00589606
PB07: Pueblo 1.4 (incomplete)3720370OPT19 0.003998 0.00601905
bsolo 3.2 (complete)3708127OPT19 0.003999 0.00638297
PB07: bsolo 3.0.17 (complete)3736183OPT19 0.003999 0.0072069
toysat 2012-06-01 (complete)3725334OPT19 0.005998 0.00780593
PB10: pb_cplex 2010-06-29 (complete)3736189OPT19 0.006998 0.00895403
toysat 2012-05-17 (complete)3706961OPT19 0.006998 0.008007
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3736190OPT19 0.016997 0.018388
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3736186OPT19 0.019996 0.023692
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3736192OPT19 0.019996 0.0214379
npSolver inc-topdown-quickBound (fixed) (complete)3752190OPT19 0.023995 0.025124
npSolver inc-topDown (fixed) (complete)3747402OPT19 0.023996 0.028091
SCIP spx SCIP with SoPlex fixed (complete)3691125OPT19 0.023996 0.0240881
npSolver inc (complete)3699841OPT19 0.025995 0.0301309
npSolver inc-topdown-quickBound (complete)3703033OPT19 0.025996 0.030506
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693457OPT19 0.026995 0.0282889
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692291OPT19 0.028994 0.0298649
pb2satCp2 2012-05-19 (complete)3695053OPT19 0.028995 0.0327959
npSolver inc-topDown (complete)3698245OPT19 0.028995 0.0301179
PB07: PB-clasp 2007-04-10 (complete)3736182OPT19 0.030994 0.0367281
pb2sat 2012-05-19 (complete)3696649OPT19 0.030995 0.032329
npSolver inc (fixed) (complete)3748998OPT19 0.037993 0.038489
npSolver 1.0 (complete)3701437OPT19 0.062989 0.062913
npSolver 1.0 (fixed) (complete)3750594OPT19 0.072988 0.077034
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688497OPT19 0.175973 0.154475
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3736184OPT19 0.19197 0.147335
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688496OPT19 0.194969 1.17014
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3736187OPT19 0.202968 0.153744
PB11: Sat4j Res//CP 2.3.0 (complete)3736191OPT19 0.202968 1.1629
SAT4J PB specific settings 2.3.2 snapshot (complete)3710889OPT19 0.204968 0.158351
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3736188SAT19 0.194969 2.15124

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