Submitter | Variables | Constraints | Density | Status | Group | Objective | MPS File |
---|---|---|---|---|---|---|---|

Gleb Belov | 71 | 17 | 9.22121e-01 | open | pb- | NA | pb-market-split8-70-4.mps.gz |

These are the instances from MiniZinc Challenges 2012-2016 (see www.minizinc.org), compiled for MIP *WITH INDICATOR CONSTRAINTS* using the develop branch of MiniZinc and CPLEX 12.7.1 on 30 April 2017. Thus, these instances can only be handled by solvers accepting indicator constraints. For instances compiled with big-M/domain decomposition only, see my previous submission to MIPLIB.To recompile, create a directory MODELS, a list lst12_16.txt of the instances with full paths to mzn/dzn files of each instance per line, and say$> ~/install/libmzn/tests/benchmarking/mzn-test.py -l ../lst12_16.txt –slvPrf MZN-CPLEX –debug 1 –addOption “–timeout 3 -D fIndConstr=true -D fMIPdomains=false” –useJoinedName “–writeModel MODELS_IND/%s.mps” Alternatively, you can compile individual instance as follows: $> mzn-cplex -v -s -G linear –output-time ../challenge_2012_2016/mznc2016_probs/zephyrus/zephyrus.mzn ../challenge_2012_2016/mznc2016_p/zephyrus/14__8__6__3.dzn -a –timeout 3 -D fIndConstr=true -D fMIPdomains=false –writeModel MODELS_IND/challenge_2012_2016mznc2016_probszephyruszephyrusmzn-challenge_2012_2016mznc2016_probszephyrus14__8__6__3dzn.mps

Imported from the MIPLIB2010 submissions.

Detailed explanation of the following tables can be found here.

Original | Presolved | |
---|---|---|

Variables | 71 | 70 |

Constraints | 17 | 16 |

Binaries | 71 | 70 |

Integers | 0 | 0 |

Continuous | 0 | 0 |

Implicit Integers | 0 | 0 |

Fixed Variables | 0 | 0 |

Nonzero Density | 0.922121 | 0.992857 |

Nonzeroes | 1113 | 1112 |

Original | Presolved | |
---|---|---|

Total | 17 | 16 |

Empty | 0 | 0 |

Free | 0 | 0 |

Singleton | 1 | 0 |

Aggregations | 0 | 0 |

Precedence | 0 | 0 |

Variable Bound | 0 | 0 |

Set Partitioning | 0 | 0 |

Set Packing | 0 | 0 |

Set Covering | 0 | 0 |

Cardinality | 0 | 0 |

Invariant Knapsack | 0 | 0 |

Equation Knapsack | 0 | 0 |

Bin Packing | 0 | 0 |

Knapsack | 0 | 8 |

Integer Knapsack | 0 | 0 |

Mixed Binary | 16 | 8 |

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.301030 | ||||

Constraint % | 12.5000 | 12.5000 | 12.5000 | 12.5000 | |

Variable % | 97.1429 | 97.1429 | 97.1429 | 97.1429 | |

Score | 0.003571 |

No solution available for pb-market-split8-70-4 .

The following instances are most similar to pb-market-split8-70-4 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 | Variables | Binaries | Integers | Continuous | Constraints | Nonz. | Submitter | Group | Status | Objective |
---|---|---|---|---|---|---|---|---|---|---|

p2m2p1m1p0n100 | 100 | 100 | 0 | 0 | 1 | 100 | B. Krishnamoorthy, G. Pataki | – | easy | Infeasible |

mod008inf | 319 | 319 | 0 | 0 | 7 | 1562 | MIPLIB submission pool | mod | easy | Infeasible |

d20200 | 4000 | 4000 | 0 | 0 | 1502 | 189389 | COR@L test set | – | open | 12252* |

fhnw-binpack4-18 | 520 | 481 | 0 | 39 | 650 | 2392 | Simon Felix | binpack | easy | Infeasible |

pg | 2700 | 100 | 0 | 2600 | 125 | 5200 | M. Dawande | – | easy | -8674.34260712 |

`No bibliographic information available`

Last Update Nov 19, 2018 by Gregor Hendel

generated with R Markdown

© 2018 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)

Imprint