dws012-03

dual-infeasible

The instance

as published

Variables: 76,068
Constraints: 38,481
Nonzeros: 389,200
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: 7
Rows dropped: 3

What was removed

10 entries

lb of VAR3010lb of VAR30441lb of VAR532row c12516lb of VAR71781lb of VAR30455row c38375row c12519lb of VAR30442lb of VAR30448

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

Also published in the primal-infeasible set view →

Download

dws012-03_ub.mps.gz2.19 MiB dws012-03_ub.meta.json26 KiB

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

Source instance

Namedws012-03

Submitted byPhilipp Leise

Groupdws

TermsCC BY-SA 4.0

invariant_knapsackprecedenceset_packingset_partitioningvariable_bound

MILP for designing a decentralized water supply system for drinking water in skyscrapers. The nonlinear characteristics of pumps are integrated with the help of an aggregated convex combination. The instances vary in the total number of floors and load scenarios for water demand. First stage variables represent the layout decisions, second stage variables represent the operational parameters, such as the continuous rotating speed of pumps or binary switching decisions.

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

View on MIPLIB 2017 →