queens-30: Instance-to-Instance Comparison Results

Type: Instance
Submitter: Ashutosh Mahajan
Description: Models the problem of placing as many queens on a 30 by 30 chess board as possible so that each queen threatens at most one other queen.
MIPLIB Entry

Parent Instance (queens-30)

All other instances below were be compared against this "query" instance.

queens-30 Raw queens-30 Decomposed queens-30 Composite of MIC top 5 queens-30 Composite of MIPLIB top 5 queens-30 Model Group Composite
Raw This is the CCM image before the decomposition procedure has been applied.
Decomposed This is the CCM image after a decomposition procedure has been applied. This is the image used by the MIC's image-based comparisons for this query instance.
Composite of MIC Top 5 Composite of the five decomposed CCM images from the MIC Top 5.
Composite of MIPLIB Top 5 Composite of the five decomposed CCM images from the MIPLIB Top 5.
Model Group Composite Image Composite of the decomposed CCM images for every instance in the same model group as this query.

MIC Top 5 Instances

These are the 5 decomposed CCM images that are most similar to decomposed CCM image for the the query instance, according to the ISS metric.

Decomposed These decomposed images were created by GCG.
neos-4760493-puerua decomposed supportcase6 decomposed core2536-691 decomposed dc1l decomposed v150d30-2hopcds decomposed
Name neos-4760493-puerua [MIPLIB] supportcase6 [MIPLIB] core2536-691 [MIPLIB] dc1l [MIPLIB] v150d30-2hopcds [MIPLIB]
Rank / ISS The image-based structural similarity (ISS) metric measures the Euclidean distance between the image-based feature vectors for the query instance and all other instances. A smaller ISS value indicates greater similarity.
1 / 0.865 2 / 0.987 3 / 1.000 4 / 1.029 5 / 1.039
Raw These images represent the CCM images in their raw forms (before any decomposition was applied) for the MIC top 5.
neos-4760493-puerua raw supportcase6 raw core2536-691 raw dc1l raw v150d30-2hopcds raw

MIPLIB Top 5 Instances

These are the 5 instances that are most closely related to the query instance, according to the instance statistic-based similarity measure employed by MIPLIB 2017

Decomposed These decomposed images were created by GCG.
pb-market-split8-70-4 decomposed circ10-3 decomposed d20200 decomposed neos-4954274-beardy decomposed neos-876808 decomposed
Name pb-market-split8-70-4 [MIPLIB] circ10-3 [MIPLIB] d20200 [MIPLIB] neos-4954274-beardy [MIPLIB] neos-876808 [MIPLIB]
Rank / ISS The image-based structural similarity (ISS) metric measures the Euclidean distance between the image-based feature vectors for the query instance and all model groups. A smaller ISS value indicates greater similarity.
149 / 2.491 271 / 2.856 484 / 3.157 518 / 3.185 966 / 3.517
Raw These images represent the CCM images in their raw forms (before any decomposition was applied) for the MIPLIB top 5.
pb-market-split8-70-4 raw circ10-3 raw d20200 raw neos-4954274-beardy raw neos-876808 raw

Instance Summary

The table below contains summary information for queens-30, the five most similar instances to queens-30 according to the MIC, and the five most similar instances to queens-30 according to MIPLIB 2017.

INSTANCE SUBMITTER DESCRIPTION ISS RANK
Parent Instance queens-30 [MIPLIB] Ashutosh Mahajan Models the problem of placing as many queens on a 30 by 30 chess board as possible so that each queen threatens at most one other queen. 0.000000 -
MIC Top 5 neos-4760493-puerua [MIPLIB] Hans Mittelmann Collection of anonymous submissions to the NEOS Server for Optimization 0.864947 1
supportcase6 [MIPLIB] Michael Winkler MIP instances collected from Gurobi forum with unknown application 0.987288 2
core2536-691 [MIPLIB] A. Caprara, M. Fischetti, P. Toth Set covering instance coming from Italian railway models 1.000136 3
dc1l [MIPLIB] Double-Click SAS Crew scheduling instance 1.028992 4
v150d30-2hopcds [MIPLIB] Austin Buchanan A problem in wireless networks. The objective is to select a minimum number of relay nodes so that any two nonadjacent nodes can communicate by way of the chosen relay nodes in at most s hops, where s is a problem input. The 2-hop case of this problem can be formulated as a set cover/hitting set problem with n binary variables and n^2 constraints: _{ k N(i) N(j) } x_k 1 for nonadjacent node pairs {i,j}. Despite the formulation's simplicity, instances with as few as 120 variables are left unsolved after one hour using Gurobi 7.0.2. 1.038774 5
MIPLIB Top 5 pb-market-split8-70-4 [MIPLIB] Gleb Belov 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 2.490668 149
circ10-3 [MIPLIB] M. Winkler Instance from the 2010 SAT conference pseudo-Boolean competition 2.856139 271
d20200 [MIPLIB] COR@L test set Instance coming from the COR@L test set with unknown origin 3.157158 484
neos-4954274-beardy [MIPLIB] Jeff Linderoth Reported solved after 77000 seconds using Gurobi with 32 threads. 3.185380 518
neos-876808 [MIPLIB] NEOS Server Submission Imported from the MIPLIB2010 submissions. 3.517345 966


queens-30: Instance-to-Model Comparison Results

Model Group Assignment from MIPLIB: no model group assignment
Assigned Model Group Rank/ISS in the MIC: N.A. / N.A.

MIC Top 5 Model Groups

These are the 5 model group composite (MGC) images that are most similar to the decomposed CCM image for the query instance, according to the ISS metric.

These are model group composite (MGC) images for the MIC top 5 model groups.
Model group: neos-pseudoapplication-46 Model group: reblock Model group: core Model group: eil Model group: air
Name neos-pseudoapplication-46 reblock core eil air
Rank / ISS The image-based structural similarity (ISS) metric measures the Euclidean distance between the image-based feature vectors for the query instance and all other instances. A smaller ISS value indicates greater similarity.
1 / 1.071 2 / 1.132 3 / 1.148 4 / 1.176 5 / 1.185

Model Group Summary

The table below contains summary information for the five most similar model groups to queens-30 according to the MIC.

MODEL GROUP SUBMITTER DESCRIPTION ISS RANK
MIC Top 5 neos-pseudoapplication-46 NEOS Server Submission Imported from the MIPLIB2010 submissions. 1.071171 1
reblock Andreas Bley Multi-period mine production scheduling model. Solved using ug[SCIP/spx], a distributed massively parallel version of SCIP run on 2,000 cores at the HLRN-II super computer facility. 1.131574 2
core A. Caprara, M. Fischetti, P. Toth Set covering model coming from Italian railway models 1.147549 3
eil J. Linderoth Set partitioning problem approximation for capicated vehicle routing problem model from TSPLIB 1.175664 4
air G. Astfalk Airline crew scheduling set partitioning problem 1.185294 5


Updated August 16, 2019