Result page for benchmark mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb

Jump to solvers results

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb
MD5SUM556e36156521a89a958e30efd7492465
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 6740
Biggest coefficient in the objective function 322437120000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 14584033415409150
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 322437120000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 14584033415409150
Number of bits of the biggest sum of numbers54
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables28160
Total number of constraints844
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints844
Minimum length of a constraint20
Maximum length of a constraint3160

Results of the different solvers on this benchmark

Solver NameTraceidAnswerCPU time
Pueblo8337NS 0.028995
galena5505NS 0.045992
vallst_0.9.2589095NS 1.78673
PBS46500NS 1200.06
bsolo5088UNKNOWN 1195.13
pb2sat+zchaff10283UNKNOWN EXCODE 98.405
minisat+6046UNKNOWN TO 1209.8
sat4jpseudo7443UNKNOWN TO 1269.63