Sparsity pattern

circ10-3

Namecirc10-3
Downloadcirc10-3.mps.gz
Set Membership Challenge Reoptimize
Problem StatusOpen
Problem FeasibilityFeasible
Originator/ContributorM. Winkler
Rows42620
Cols2700
Num. non-zeros in A307320
Num. non-zeros in c900
Rows/Cols15.7851851852
Integers
Binaries2700
Continuous
min nonzero |Aij|1
max |Aij|16
min nonzero |cj|1
max |cj|5
Integer ObjectiveUnknown
LP Objective140
Aggregation
Variable Bound3330
Set partitioning450
Set packing
Set covering16890
Cardinality
Equality Knapsacks
Bin packing
Invariant Knapsack17240
Knapsacks
Integer Knapsack
Mixed 0/121950
General Cons.
References pseudoboolean

Instance 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