Result page for benchmark mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb

Jump to solvers results

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb
MD5SUMb6b40b25db69f63dc02649b5c9a3693a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7728531381
Optimality of the best value was proved NO
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1218.48
Number of variables10894
Total number of constraints11719
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)11518
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint1
Maximum length of a constraint5038

Results of the different solvers on this benchmark

Solver NameTraceidAnswerCPU time
Pueblo8663NS 3.99539
galena5847NS 8.25374
vallst_0.9.2589426NS 17.2274
PBS47182NS 1209.66
bsolo5861SAT 1195.2
sat4jpseudo8996SAT TO 1218.48
pb2sat+zchaff10609UNKNOWN EXCODE 116.591
minisat+6341UNKNOWN TO 1208.01