Sparsity pattern

lrsa120

Namelrsa120
Downloadlrsa120.mps.gz
Set Membership Challenge
Problem StatusHard
Problem FeasibilityInfeasible
Originator/ContributorM. Atlihan
Rows14521
Cols3839
Num. non-zeros in A39956
Num. non-zeros in c3600
Rows/Cols3.78249544152
Integers119
Binaries120
Continuous3600
min nonzero |Aij|1
max |Aij|2
min nonzero |cj|1
max |cj|1
Integer ObjectiveInfeasible
LP Objective29
Aggregation2
Variable Bound7200
Set partitioning
Set packing
Set covering
Cardinality
Equality Knapsacks
Bin packing
Invariant Knapsack2
Knapsacks
Integer Knapsack
Mixed 0/17202
General Cons.117
References

Model to break a 120 bit RSA key. Infeasibility proven by Gurobi 4.6.1 (12 threads) after about 38 hours (March 2012).


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