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 benchmark4
Best CPU time to get the best result obtained on this benchmark0.734888
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
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 constraint50
Maximum length of a constraint50
Number of terms in the objective function 100
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 100
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 100
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
PB10: pb_cplex 2010-06-29 (complete)3734557OPT4 0.734888 0.352047
PB07: Pueblo 1.4 (incomplete)3720238OPT4 0.831872 0.834301
clasp 2.0.6-R5325 (opt) (complete)3709195OPT4 1.02484 1.02706
PB12: minisatp 1.0-2-g022594c (complete)3723640OPT4 1.24781 1.24955
npSolver inc (fixed) (complete)3748900OPT4 1.54676 1.60617
npSolver 1.0 (fixed) (complete)3750496OPT4 1.61775 1.61983
PB07: minisat+ 1.14 (complete)3721449OPT4 2.08668 2.08715
pb2sat 2012-05-19 (complete)3696551OPT4 2.36064 2.36774
npSolver 1.0 (complete)3701339OPT4 2.36564 2.36218
npSolver inc-topDown (fixed) (complete)3747304OPT4 2.55061 2.55451
pb2satCp2 2012-05-19 (complete)3694955OPT4 2.68759 2.68967
npSolver inc-topdown-quickBound (fixed) (complete)3752092OPT4 2.68859 2.6914
npSolver inc (complete)3699743OPT4 3.2475 3.25434
npSolver inc-topdown-quickBound (complete)3702935OPT4 3.54446 3.55047
npSolver inc-topDown (complete)3698147OPT4 3.56646 3.56922
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688173OPT4 4.38433 3.63249
PB07: PB-clasp 2007-04-10 (complete)3734550OPT4 5.58115 5.59224
PB07: bsolo 3.0.17 (complete)3734551OPT4 6.61899 6.62226
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734560OPT4 7.17691 7.17895
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692193OPT4 7.70383 7.70636
SCIP spx SCIP with SoPlex fixed (complete)3691027OPT4 7.75282 7.7559
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693359OPT4 7.76982 7.77285
SAT4J PB specific settings 2.3.2 snapshot (complete)3710791OPT4 8.23575 6.81166
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3734554OPT4 8.82966 8.83159
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734558OPT4 9.28859 9.29653
PB09: bsolo 3.1 (complete)3734553OPT4 10.9853 10.9901
bsolo 3.2 (complete)3708029OPT4 11.1443 11.1465
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734552OPT4 15.0657 14.5442
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688172OPT4 15.4117 8.33657
toysat 2012-05-17 (complete)3706863OPT4 19.641 19.6446
toysat 2012-06-01 (complete)3725236OPT4 20.2949 20.3108
pwbo 2.0 (complete)3703716OPT4 22.3106 11.1853
pwbo 2.02 (complete)3726017OPT4 22.5806 11.3199
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734555OPT4 28.05 27.3445
PB11: Sat4j Res//CP 2.3.0 (complete)3734559OPT4 47.9457 25.5953
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734556OPT4 78.2431 42.6769
wbo 1.72 (complete)3727538OPT4 95.33 95.4371
wbo 1.7 (complete)3705237OPT4 95.6735 95.6864

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: 4
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 -x68 -x69 -x70 -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 -x96 -x97 -x98 -x99 -x100