Sparsity pattern

ex1010-pi

Nameex1010-pi
Downloadex1010-pi.mps.gz
Set Membership Challenge
Problem StatusOpen
Problem FeasibilityFeasible
Originator/ContributorM. Winkler
Rows1468
Cols25200
Num. non-zeros in A102114
Num. non-zeros in c25200
Rows/Cols0.058253968254
Integers
Binaries25200
Continuous
min nonzero |Aij|1
max |Aij|1
min nonzero |cj|1
max |cj|1
Integer ObjectiveUnknown
LP Objective220.670087
Aggregation
Variable Bound
Set partitioning
Set packing
Set covering1468
Cardinality
Equality Knapsacks
Bin packing
Invariant Knapsack1468
Knapsacks
Integer Knapsack
Mixed 0/1
General Cons.
References pseudoboolean

Logic synthesis problem from the 2010 SAT conference pseudo-Boolean competition


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