| Name | satellites1-25 |
| Download | satellites1-25.mps.gz |
| Solution | satellites1-25.sol.gz |
| Set Membership | Benchmark |
| Problem Status | Easy |
| Problem Feasibility | Feasible |
| Originator/Contributor | A. Ceselli, R. He |
| Rows | 5996 |
| Cols | 9013 |
| Num. non-zeros in A | 59023 |
| Num. non-zeros in c | 356 |
| Rows/Cols | 0.665261289249 |
| Integers | |
| Binaries | 8509 |
| Continuous | 504 |
| min nonzero |Aij| | 0.3590811 |
| max |Aij| | 229941 |
| min nonzero |cj| | 1 |
| max |cj| | 98 |
| Integer Objective | -5 |
| LP Objective | -20 |
| Aggregation | 220 |
| Variable Bound | 11 |
| Set partitioning | 2680 |
| Set packing | 53 |
| Set covering | |
| Cardinality | 630 |
| Equality Knapsacks | |
| Bin packing | |
| Invariant Knapsack | 1100 |
| Knapsacks | |
| Integer Knapsack | |
| Mixed 0/1 | 1302 |
| General Cons. | |
| References |
Satellite scheduling instance