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 (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.002999
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved YES
Number of variables67
Total number of constraints105
Number of constraints which are clauses105
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 constraint3
Maximum length of a constraint48
Number of terms in the objective function 67
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 67
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
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)3705247OPT7 0.002998 0.0141989
wbo 1.72 (complete)3727548OPT7 0.002999 0.014033
PB07: Pueblo 1.4 (incomplete)3720229OPT7 0.011998 0.0163921
PB10: pb_cplex 2010-06-29 (complete)3734458OPT7 0.014996 0.0181321
PB07: bsolo 3.0.17 (complete)3734452OPT7 0.025995 0.0288089
PB12: minisatp 1.0-2-g022594c (complete)3723650OPT7 0.033994 0.0399179
npSolver inc (fixed) (complete)3748910OPT7 0.041993 0.0430369
pwbo 2.0 (complete)3703726OPT7 0.042992 0.017632
pwbo 2.02 (complete)3726027OPT7 0.043992 0.0166529
npSolver inc-topdown-quickBound (fixed) (complete)3752102OPT7 0.045992 0.0461061
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3734455OPT7 0.047991 0.049345
npSolver inc-topDown (fixed) (complete)3747314OPT7 0.050991 0.0512281
bsolo 3.2 (complete)3708039OPT7 0.054991 0.056215
PB09: bsolo 3.1 (complete)3734454OPT7 0.057991 0.0581059
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693369OPT7 0.062989 0.0635849
PB07: minisat+ 1.14 (complete)3721440OPT7 0.06399 0.064023
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734461OPT7 0.064989 0.0677929
SCIP spx SCIP with SoPlex fixed (complete)3691037OPT7 0.066989 0.0684161
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734459OPT7 0.067989 0.068892
npSolver inc (complete)3699753OPT7 0.068989 0.071779
npSolver inc-topdown-quickBound (complete)3702945OPT7 0.069988 0.0736481
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692203OPT7 0.069988 0.0735269
npSolver 1.0 (fixed) (complete)3750506OPT7 0.074987 0.0783731
pb2sat 2012-05-19 (complete)3696561OPT7 0.074988 0.0777571
npSolver inc-topDown (complete)3698157OPT7 0.077987 0.078017
pb2satCp2 2012-05-19 (complete)3694965OPT7 0.080987 0.0828029
npSolver 1.0 (complete)3701349OPT7 0.121981 0.118715
PB11: Sat4j Res//CP 2.3.0 (complete)3734460OPT7 0.878865 2.23142
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688154OPT7 0.903862 2.19605
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734457OPT7 1.05584 4.2052
PB07: PB-clasp 2007-04-10 (complete)3734451OPT7 4.20636 4.213
clasp 2.0.6-R5325 (opt) (complete)3709205OPT7 4.74828 4.75056
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688155OPT7 9.25359 7.32644
toysat 2012-06-01 (complete)3725246OPT7 14.1209 14.1245
toysat 2012-05-17 (complete)3706873OPT7 14.3308 14.3358
SAT4J PB specific settings 2.3.2 snapshot (complete)3710801OPT7 17.8913 16.6124
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734453OPT7 21.4497 21.1171
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734456OPT7 21.8427 21.2756

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: 7
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 -x56 -x57 -x58
x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67