Submitter | Variables | Constraints | Density | Status | Group | Objective | MPS File |
---|---|---|---|---|---|---|---|
Olivier Guieu | 9 | 14 | 4.28571e-01 | easy | stein | Infeasible | stein9inf.mps.gz |
Altered instance from original MIPLIB. A single linear constraint was added to each problem that caused MILP infeasibility while preserving the feasibility of the initial LP relaxation.
Detailed explanation of the following tables can be found here.
Original | Presolved | |
---|---|---|
Variables | 9 | 9 |
Constraints | 14 | 14 |
Binaries | 9 | 9 |
Integers | 0 | 0 |
Continuous | 0 | 0 |
Implicit Integers | 0 | 0 |
Fixed Variables | 0 | 0 |
Nonzero Density | 0.428571 | 0.428571 |
Nonzeroes | 54 | 54 |
Original | Presolved | |
---|---|---|
Total | 14 | 14 |
Empty | 0 | 0 |
Free | 0 | 0 |
Singleton | 0 | 0 |
Aggregations | 0 | 0 |
Precedence | 0 | 0 |
Variable Bound | 0 | 0 |
Set Partitioning | 0 | 0 |
Set Packing | 0 | 0 |
Set Covering | 12 | 12 |
Cardinality | 0 | 0 |
Invariant Knapsack | 0 | 1 |
Equation Knapsack | 0 | 0 |
Bin Packing | 0 | 0 |
Knapsack | 0 | 0 |
Integer Knapsack | 0 | 0 |
Mixed Binary | 2 | 1 |
General Linear | 0 | 0 |
Indicator | 0 | 0 |
Available nonzero structure and decomposition information. Further information can be found here.
Decomposed structure of original problem (dec-file)
Decomposed structure after trivial presolving (dec-file)
value | min | median | mean | max | |
---|---|---|---|---|---|
Components | 0.30103 | ||||
Constraint % | 100 | 100 | 100 | 100 | |
Variable % | 100 | 100 | 100 | 100 | |
Score | 0.00000 |
No solution available for stein9inf .
The following instances are most similar to stein9inf in the collection. This similarity analysis is based on 100 scaled instance features describing properties of the variables, objective function, bounds, constraints, and right hand sides.
Instance | Status | Variables | Binaries | Integers | Continuous | Constraints | Nonz. | Submitter | Group | Objective | Tags |
---|---|---|---|---|---|---|---|---|---|---|---|
stein15inf | easy | 15 | 15 | 0 | 0 | 37 | 135 | Olivier Guieu | stein | Infeasible | infeasible binary set_covering invariant_knapsack mixed_binary |
stein45inf | easy | 45 | 45 | 0 | 0 | 332 | 1079 | Olivier Guieu | stein | Infeasible | infeasible binary variable_bound set_covering invariant_knapsack mixed_binary |
f2000 | open | 4000 | 4000 | 0 | 0 | 10500 | 29500 | M. Winkler | – | 1810.0* | binary variable_bound set_covering |
seymour | easy | 1372 | 1372 | 0 | 0 | 4944 | 33549 | W. Cook, P. Seymour | – | 423 | benchmark binary benchmark_suitable variable_bound set_covering |
ramos3 | open | 2187 | 2187 | 0 | 0 | 2187 | 32805 | F. Ramos | – | 186.0* | binary set_covering |
No bibliographic information available