neos-pseudoapplication-34

Type: Model Group
Submitter: NEOS Server Submission
Description: Model coming from the NEOS Server with unknown application

Parent Model Group (neos-pseudoapplication-34)

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

Model group: neos-pseudoapplication-34
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: neos-933638 Component instance: neos-935234 Component instance: neos-935769 Component instance: neos-983171 Component instance: neos-933966
Name neos-933638 neos-935234 neos-935769 neos-983171 neos-933966

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: cta Model group: fhnw-bin Model group: satellites Model group: chromaticindex Model group: pb-
Name cta fhnw-bin satellites chromaticindex 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.912 2 / 1.962 3 / 1.966 4 / 2.027 5 / 2.063

Model Group Summary

The table below contains summary information for neos-pseudoapplication-34, and for the five most similar model groups to neos-pseudoapplication-34 according to the MIC.

MODEL GROUP SUBMITTER DESCRIPTION ISS RANK
Parent Model Group neos-pseudoapplication-34 NEOS Server Submission Model coming from the NEOS Server with unknown application 0.000000 -
MIC Top 5 cta Jordi Castro Set of MILP models of the CTA (Controlled Tabular Adjustment) problem, a method to protect statistical tabular data, belonging to the field of SDC (Statistical Disclosure Control). Raw data of models are real or pseudo-real, provided by several National Statistical Agencies. We generated the CTA problem for these data. 1.911848 1
fhnw-bin Simon Felix Scheduling/assignment for an industrial production pipeline 1.961703 2
satellites He Renjie Ihe attachment is some models generated from real life satelliteschedule problem data,these models are easier comparable to real lifeproblem. The work is done by me and Alberto Ceselli from Univeristy ofMilano. I donnot know it is hard enough or not, if needs , I can generatemore difficult models. 1.965802 3
chromaticindex Pierre Le Bodic Simple edge-coloring model on chains of Petersen-like subgraphs, designed to fool MIP solvers into producing very large Branch-and-Bound trees. 2.027022 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.062986 5