Sparsity pattern

ex9

Nameex9
Downloadex9.mps.gz
Solutionex9.sol.gz
Set Membership Benchmark Primal
Problem StatusEasy
Problem FeasibilityFeasible
Originator/ContributorI. Ober
Rows40962
Cols10404
Num. non-zeros in A517112
Num. non-zeros in c10404
Rows/Cols3.93713956171
Integers
Binaries10404
Continuous
min nonzero |Aij|1
max |Aij|1
min nonzero |cj|1
max |cj|1
Integer Objective81
LP Objective81
Aggregation
Variable Bound1152
Set partitioning162
Set packing
Set covering
Cardinality
Equality Knapsacks
Bin packing
Invariant Knapsack38528
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