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

Jump to solvers results

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
MD5SUMbd3b7059f5a46c39741d1666410238f7
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 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29610373267604
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29610373267604
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000

Results of the different solvers on this benchmark

Solver NameTraceidAnswerCPU time
Pueblo8191NS 0.143977
galena4449NS 0.221965
PBS44766NS 1200.22
vallst_0.9.2584973NS 1212
bsolo2123UNKNOWN 1197.06
pb2sat+zchaff10149UNKNOWN MO 754.242
minisat+4570UNKNOWN TO 1207.69
sat4jpseudo4874UNKNOWN TO 1238.55