proteindesign122trx11p8

dual-infeasible

The instance

as published

Variables: 127,326
Constraints: 253
Nonzeros: 501,123
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: 5
Rows dropped: 1

What was removed

6 entries

lb of X_INTRODUCED_64_lb of objectiverow p_lin_202lb of X_INTRODUCED_379486_ub of X_INTRODUCED_379737_ub of X_INTRODUCED_377746_

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

Also published in the primal-infeasible set view →

Download

proteindesign122trx11p8_ub.mps.gz2.13 MiB proteindesign122trx11p8_ub.meta.json6 KiB

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

Source instance

Nameproteindesign122trx11p8

Submitted byGleb Belov

Groupproteindesign

TermsCC BY-SA 4.0

general_linearset_partitioning

Linearized Constraint Programming models of the MiniZinc Challenges 2012-2016. I should be able to produce versions with indicator constraints supported by Gurobi and CPLEX, however don’t know if you can use them and if there is a standard format. These MPS were produced by Gurobi 7.0.2 using the MiniZinc develop branch on eb536656062ca13325a96b5d0881742c7d0e3c38

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

View on MIPLIB 2017 →