| Name | satellites3-40 |
| Download | satellites3-40.mps.gz |
| Solution | satellites3-40.sol.gz |
| Set Membership | Challenge Unstable Reoptimize |
| Problem Status | Hard |
| Problem Feasibility | Feasible |
| Originator/Contributor | A. Ceselli, R. He |
| Rows | 44804 |
| Cols | 81681 |
| Num. non-zeros in A | 698176 |
| Num. non-zeros in c | 1174 |
| Rows/Cols | 0.54852413658 |
| Integers | |
| Binaries | 79961 |
| Continuous | 1720 |
| min nonzero |Aij| | 0.358536 |
| max |Aij| | 237597 |
| min nonzero |cj| | 1 |
| max |cj| | 98 |
| Integer Objective | -25 |
| LP Objective | -39 |
| Aggregation | 1189 |
| Variable Bound | 30 |
| Set partitioning | 25985 |
| Set packing | 110 |
| Set covering | |
| Cardinality | 3479 |
| Equality Knapsacks | |
| Bin packing | |
| Invariant Knapsack | 9251 |
| Knapsacks | |
| Integer Knapsack | |
| Mixed 0/1 | 4760 |
| General Cons. | |
| References |
Satellite scheduling instance. Solved by Gurobi 4.6.1 (12 threads) in 21205 seconds (January 2012).