Instance - ex10

ex10: Instance-to-Instance Comparison Results

Type:	Instance
Submitter:	Iulian Ober
Description:	Formulations of Boolean SAT instance
	MIPLIB Entry


	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.

Decomposed These decomposed images were created by GCG.
Name	sorrell7 [MIPLIB]	ex9 [MIPLIB]	t1717 [MIPLIB]	t1722 [MIPLIB]	sorrell3 [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.723	2 / 0.769	3 / 0.791	4 / 0.792	5 / 0.842
Raw These images represent the CCM images in their raw forms (before any decomposition was applied) for the MIC top 5.

Decomposed These decomposed images were created by GCG.
Name	ex9 [MIPLIB]	supportcase10 [MIPLIB]	tw-myciel4 [MIPLIB]	supportcase22 [MIPLIB]	supportcase2 [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.	2 / 0.769	105 / 2.578	181 / 3.035	330 / 3.434	542 / 3.706
Raw These images represent the CCM images in their raw forms (before any decomposition was applied) for the MIPLIB top 5.

Instance Summary

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

	INSTANCE	SUBMITTER	DESCRIPTION	ISS	RANK
Parent Instance	ex10 [MIPLIB]	Iulian Ober	Formulations of Boolean SAT instance	0.000000	-
MIC Top 5	sorrell7 [MIPLIB]	Toni Sorrell	These instances are based on Neil Sloane's Challenge problems: Independent Sets in Graphs.	0.723175	1
	ex9 [MIPLIB]	Iulian Ober	Formulations of Boolean SAT instance	0.769366	2
	t1717 [MIPLIB]	R. Borndörfer	Vehicle scheduling set partitioning problem from Berlin's Telebus handicapped people's transportation system	0.790762	3
	t1722 [MIPLIB]	R. Borndörfer	Vehicle scheduling set partitioning problem from Berlin's Telebus handicapped people's transportation system	0.791910	4
	sorrell3 [MIPLIB]	Toni Sorrell	These instances are based on Neil Sloane's Challenge problems: Independent Sets in Graphs.	0.841726	5
MIPLIB Top 5	ex9 [MIPLIB]	Iulian Ober	Formulations of Boolean SAT instance	0.769366	2
	supportcase10 [MIPLIB]	Michael Winkler	MIP instances collected from Gurobi forum with unknown application	2.578085	105
	tw-myciel4 [MIPLIB]	Arie Koster	Model to compute the treewidth of the Mycielski-4 instance from the DIMACS graph coloring database. Solved in June 2013 by CPLEX 12.5.1 (12 threads) in about 66 hours. The solving was performed in two steps: first solving with 50 GB tree memory limit (took 11307.42 seconds), after that, setting the tree memory limit to 80 GB and switching to depth first search (took 226152.14 seconds).	3.035334	181
	supportcase22 [MIPLIB]	Michael Winkler	MIP instances collected from Gurobi forum with unknown application	3.433604	330
	supportcase2 [MIPLIB]	Michael Winkler	MIP instances collected from Gurobi forum with unknown application	3.706021	542

ex10: 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.

These are model group composite (MGC) images for the MIC top 5 model groups.
Name	core	ivu	reblock	air	eil
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.969	2 / 1.151	3 / 1.192	4 / 1.271	5 / 1.318

Model Group Summary

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

	MODEL GROUP	SUBMITTER	DESCRIPTION	ISS	RANK
MIC Top 5	core	A. Caprara, M. Fischetti, P. Toth	Set covering model coming from Italian railway models	0.968657	1
	ivu	S. Weider	Set partitioning model resulting from a column generation algorithm used for duty scheduling in public transportation. Solved in June 2014 using CPLEX 12.6 with 48 threads in about 25 days.	1.151040	2
	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.191770	3
	air	G. Astfalk	Airline crew scheduling set partitioning problem	1.271375	4
	eil	J. Linderoth	Set partitioning problem approximation for capicated vehicle routing problem model from TSPLIB	1.317730	5

ex10: Instance-to-Instance Comparison Results

Parent Instance (ex10)

MIC Top 5 Instances

MIPLIB Top 5 Instances

Instance Summary

ex10: Instance-to-Model Comparison Results

MIC Top 5 Model Groups

Model Group Summary