Submitter | Variables | Constraints | Density | Status | Group | Objective | MPS File |
---|---|---|---|---|---|---|---|
Gleb Belov | 2602 | 5195 | 3.20982e-02 | easy | hypothyroid | -2851 | hypothyroid-k1.mps.gz |
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
Detailed explanation of the following tables can be found here.
Original | Presolved | |
---|---|---|
Variables | 2602 | 2599 |
Constraints | 5195 | 5195 |
Binaries | 2601 | 2598 |
Integers | 1 | 1 |
Continuous | 0 | 0 |
Implicit Integers | 0 | 1 |
Fixed Variables | 3 | 0 |
Nonzero Density | 0.0320982 | 0.0321353 |
Nonzeroes | 433884 | 433884 |
Original | Presolved | |
---|---|---|
Total | 5195 | 5195 |
Empty | 0 | 0 |
Free | 0 | 0 |
Singleton | 0 | 0 |
Aggregations | 2 | 2 |
Precedence | 2 | 2 |
Variable Bound | 0 | 0 |
Set Partitioning | 0 | 0 |
Set Packing | 0 | 0 |
Set Covering | 0 | 2595 |
Cardinality | 0 | 0 |
Invariant Knapsack | 3 | 0 |
Equation Knapsack | 0 | 0 |
Bin Packing | 2595 | 2595 |
Knapsack | 2592 | 0 |
Integer Knapsack | 0 | 0 |
Mixed Binary | 0 | 0 |
General Linear | 1 | 1 |
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.301030 | ||||
Constraint % | 99.9038 | 99.9038 | 99.9038 | 99.9038 | |
Variable % | 99.7694 | 99.7694 | 99.7694 | 99.7694 | |
Score | 0.002304 |
Find solutions below. Download the archive containing all solutions from the Download page.
ID | Objective | Exact | Int. Viol | Cons. Viol | Obj. Viol | Submitter | Date | Description |
---|---|---|---|---|---|---|---|---|
1 | -2851 | -2851 | 0 | 0 | 0 | - | 2018-10-12 | Solution found during MIPLIB2017 problem selection. |
The following instances are most similar to hypothyroid-k1 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.
@Inbook{Belov2016,
author="Belov, Gleb
and Stuckey, Peter J.
and Tack, Guido
and Wallace, Mark",
editor="Rueher, Michel",
title="Improved Linearization of Constraint Programming Models",
bookTitle="Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="49--65",
isbn="978-3-319-44953-1",
doi="10.1007/978-3-319-44953-1_4",
url="http://dx.doi.org/10.1007/978-3-319-44953-1_4"
}