PB'12 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
MD5SUM61b251578b844a8012695767860b65a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-3719
Best CPU time to get the best result obtained on this benchmark1.00385
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3719
Optimality of the best value was proved YES
Number of variables23264
Total number of constraints46328
Number of constraints which are clauses20804
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints25520
Minimum length of a constraint2
Maximum length of a constraint2747
Number of terms in the objective function 68
Biggest coefficient in the objective function 2700
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 54380
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2700
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 54380
Number of bits of the biggest sum of numbers16
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
clasp 2.0.6-R5325 (opt) (complete)3708962OPT-3719 1.00385 1.00579
pwbo 2.0 (complete)3703483OPT-3719 1.54576 0.927035
pwbo 2.02 (complete)3725784OPT-3719 1.56876 0.933601
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687513OPT-3719 2.95455 1.79162
PB07: Pueblo 1.4 (incomplete)3719949OPT-3719 3.37349 3.3781
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3731090OPT-3719 4.6133 3.19519
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3731087OPT-3719 4.72428 3.29344
SAT4J PB specific settings 2.3.2 snapshot (complete)3710558OPT-3719 5.75213 4.41513
PB11: Sat4j Res//CP 2.3.0 (complete)3731094OPT-3719 6.31404 7.21252
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687512OPT-3719 7.11292 10.7121
bsolo 3.2 (complete)3707796OPT-3719 8.30774 8.31003
PB07: bsolo 3.0.17 (complete)3731086OPT-3719 8.38572 8.39881
PB09: bsolo 3.1 (complete)3731088OPT-3719 8.68868 8.69148
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3731091OPT-3719 9.67053 12.3152
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3731095OPT-3719 13.47 13.4753
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3731093OPT-3719 13.7089 13.7217
toysat 2012-05-17 (complete)3706630OPT-3719 14.5598 14.5627
toysat 2012-06-01 (complete)3725003OPT-3719 14.6158 14.6257
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3691960OPT-3719 18.0083 18.0257
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3693126OPT-3719 19.1131 19.1243
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3690794OPT-3719 19.1731 19.1803
PB12: minisatp 1.0-2-g022594c (complete)3723407OPT-3719 29.4935 29.5011
PB10: pb_cplex 2010-06-29 (complete)3731092OPT-3719 35.7846 35.7991
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3731089OPT-3719 43.0135 43.0241
npSolver 1.0 (complete)3701106OPT-3719 127.848 128.289
PB07: minisat+ 1.14 (complete)3721119OPT-3719 139.854 139.877
pb2sat 2012-05-19 (complete)3696318OPT-3719 160.53 161.321
pb2satCp2 2012-05-19 (complete)3694722OPT-3719 610.527 615.746
npSolver 1.0 (fixed) (complete)3750263OPT-3719 1131.13 1132.16
wbo 1.72 (complete)3727305? 1799.44 1800.03
wbo 1.7 (complete)3705004? 1799.73 1800.02
npSolver inc-topDown (complete)3697914? (problem) 12.46 16.8442
npSolver inc-topdown-quickBound (complete)3702702? (problem) 13.01 15.7935
npSolver inc (complete)3699510? (problem) 14.29 16.0221
npSolver inc-topDown (fixed) (complete)3747071? (problem) 19.2 26.3418
npSolver inc-topdown-quickBound (fixed) (complete)3751859? (problem) 20.07 27.4276
npSolver inc (fixed) (complete)3748667? (problem) 21.59 30.289
PB07: PB-clasp 2007-04-10 (complete)3731085? (TO) 1800.07 1622.93

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: -3719
Solution found:
--too large--