Sparsity pattern

ex10

Nameex10
Downloadex10.mps.gz
Solutionex10.sol.gz
Set Membership Primal
Problem StatusEasy
Problem FeasibilityFeasible
Originator/ContributorI. Ober
Rows69608
Cols17680
Num. non-zeros in A1162000
Num. non-zeros in c17680
Rows/Cols3.9371040724
Integers
Binaries17680
Continuous
min nonzero |Aij|1
max |Aij|1
min nonzero |cj|1
max |cj|1
Integer Objective100
LP Objective100
Aggregation
Variable Bound2224
Set partitioning200
Set packing
Set covering
Cardinality
Equality Knapsacks
Bin packing
Invariant Knapsack66576
Knapsacks
Integer Knapsack
Mixed 0/1
General Cons.
References

Formulations of Boolean SAT instance


Last Update February 28, 2017 by Gerald Gamrath
© 2017 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
Imprint