Namepb-grow22
Submitted byGleb Belov
Grouppb-
TermsNo licence of record
Imported from the MIPLIB2010 submissions. It predates MIPLIB's
submission form, and the licence that form required. See
LICENSE.
equation_knapsackknapsack
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
Source description quoted from MIPLIB 2017; links and
mathematical notation formatted for the web.
View on MIPLIB 2017 →