PB'07 evaluation: solvers results per benchmarks

Result page for benchmark
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0291.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0291.opb
MD5SUM5dbbb39821171ddf7cf17b36f56beeda
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10447498
Best CPU time to get the best result obtained on this benchmark0.081987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10447498
Optimality of the best value was proved YES
Number of variables290
Total number of constraints205
Number of constraints which are clauses189
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint2
Maximum length of a constraint53
Number of terms in the objective function 288
Biggest coefficient in the objective function 80000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 686402651
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 80000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 686402651
Number of bits of the biggest sum of numbers30
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
bsolo 3.0.17432530OPT10447498 0.081987 0.082365
bsolo 3.0.16362172OPT10447498 0.082986 0.0842431
SAT4JPseudoResolution 2007-03-23362170OPT10447498 1.45978 0.957726
oree 0.1.2 alpha362174OPT10447498 5.19621 5.19905
sat4jPseudoCPClause 2007-03-23362173OPT10447498 10.4104 8.21328
sat4jPseudoCP 2007-03-23362171OPT10447498 16.0266 13.4573
minisat+ 1.14362169SAT (TO)29395365 1800.1 1800.91