leo1

dual-infeasible

The instance

as published

Variables: 6,731
Constraints: 593
Nonzeros: 131,218
Format: MPS, gzipped

Where it comes from

provenance

The source instance's LP relaxation is feasible with a bounded optimum. Removing the elements below makes the objective unbounded, and putting any one of them back makes it bounded again.

Bounds dropped: 4
Rows dropped: 0

What was removed

4 entries

lb of C0005935lb of C0004165ub of C0004152ub of C0005948

4 of 4 shown. The complete list is in the sidecar.

Also published in the primal-infeasible set view →

Download

leo1_ub.mps.gz0.46 MiB leo1_ub.meta.json10 KiB

The sidecar carries the full provenance, including the fields this page truncates.

Source instance

Nameleo1

Submitted byCOR@L test set

TermsNo licence of record

Imported from MIPLIB2010. It predates MIPLIB's submission form, and the licence that form required. See LICENSE.

set_coveringset_packingvariable_bound

Instance coming from the COR@L test set with unknown origin

Source description quoted from MIPLIB 2017; links and mathematical notation formatted for the web.

View on MIPLIB 2017 →