Spinoza

Type: Model Group
Submitter: Daniel Espinoza
Description: Wine Scheduling problem with 82 jobs and four processing machines

Parent Model Group (Spinoza)

All other model groups below were be compared against this "query" model group.

Model group: Spinoza
Model Group Composite (MGC) image Composite of the decomposed CCM images for every instance in the query model group.

Component Instances (Decomposed)

These are the decomposed CCM images for each instance in the query model group.

These are component instance images.
Component instance: s55 Component instance: s250r10 Component instance: s100 Component instance: s82
Name s55 s250r10 s100 s82

MIC Top 5 Model Groups

These are the 5 MGC images that are most similar to the MGC image for the query model group, according to the ISS metric.

FIXME - These are model group composite images.
Model group: neos-pseudoapplication-76 Model group: f2gap Model group: maxfeassub Model group: neos-pseudoapplication-25 Model group: pb-
Name neos-pseudoapplication-76 f2gap maxfeassub neos-pseudoapplication-25 pb-
Rank / ISS The image-based structural similarity (ISS) metric measures the Euclidean distance between the image-based feature vectors for the query model group and all other model groups. A smaller ISS value indicates greater similarity.
1 / 1.964 2 / 2.012 3 / 2.022 4 / 2.087 5 / 2.088

Model Group Summary

The table below contains summary information for Spinoza, and for the five most similar model groups to Spinoza according to the MIC.

MODEL GROUP SUBMITTER DESCRIPTION ISS RANK
Parent Model Group Spinoza Daniel Espinoza Wine Scheduling problem with 82 jobs and four processing machines 0.000000 -
MIC Top 5 neos-pseudoapplication-76 Jeff Linderoth (None provided) 1.963577 1
f2gap Salim Haddadi Restrictions of well-known hard generalized assignment problem models (D10400,D20400,D40400,D15900,D30900,D60900,D201600,D401600,D801600) 2.011969 2
maxfeassub Marc Pfetsch Set covering problems arising from a Benders algorithm for finding maximum feasible subsystems. More details on the generation is given in the README file in the tarball. 2.022260 3
neos-pseudoapplication-25 NEOS Server Submission Model coming from the NEOS Server with unknown application 2.086872 4
pb- Gleb Belov These are the models 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 models can only be handled by solvers accepting indicator constraints. For models 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 models with full paths to mzn/dzn files of each model 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 model 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 2.087948 5