Result page for benchmark mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb

Jump to solvers results

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
MD5SUM4968ba84d5c370c0dd8f5e6c6068a443
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11140072448
Optimality of the best value was proved NO
Number of terms in the objective function 13440
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 481036336704
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 481036336704
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208.39
Number of variables22960
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint840

Results of the different solvers on this benchmark

Solver NameTraceidAnswerCPU time
minisat+5891ERR NOCERT 1208.78
Pueblo8222NS 4.00539
galena5398NS 8.19875
vallst_0.9.2589045NS 529.678
PBS46374NS 1209.94
sat4jpseudo7294SAT TO 1208.39
bsolo4451UNKNOWN 1195.11
pb2sat+zchaff10230UNKNOWN TO 1207.92