MIPLIB 2010

Open problems

Click here for legend of abbreviations and links to subsets

Status	Name	Sets	C	Rows	Cols	NZs	Int	Bin	Con	Objective	AGG	VBD	PAR	PAC	COV	CAR	EQK	BIN	IVK	KNA	IKN	M01	GEN
	bab1	C	BP	60680	61152	854392		61152		?	X			X	X	X			X	X		X
	bab3	C	BP	23069	393800	3301838		393800		?	X		X	X		X	X		X	X		X
	cdma	CU	MBP	9095	7891	168227		4235	3656	?	X	X		X	X			X	X			X
	circ10-3	CR	BP	42620	2700	307320		2700		?		X	X		X				X			X
	core4872-1529	C	MBP	4875	24656	218762		24645	11	?		X			X				X			X
	d20200	C	IP	1502	4000	189389	819	3181		?			X						X	X
	dano3mip	CR	MBP	3202	13873	79655		552	13321	?		X				X						X
	datt256	C	BP	11077	262144	1503732		262144		?			X			X	X
	dc1l	C	MBP	1653	37297	448754		35638	1659	?	X								X			X
	ds-big	CR	BP	1042	174997	4623442		174997		?			X
	ex1010-pi	C	BP	1468	25200	102114		25200		?					X				X
	f2000	CR	BP	10500	4000	29500		4000		?		X			X				X
	hawaiiv10-130	CUX	MBP	1388052	685130	183263061		578444	106686	?	X	X	X	X		X			X			X
	ivu06-big	CRX	BP	1177	2277736	23125770		2277736		?			X
	lectsched-1-obj	C	IP	50108	28718	310792	482	28236		?	X	X									X		X
	liu	C	MBP	2178	1156	10626		1089	67	?		X										X
	methanosarcina	C	BP	14604	7930	43812		7930		?					X				X
	mining	C	MBP	661133	348921	3844879		348920	1	?		X							X			X
	momentum3	CR	MIP	56822	13532	949495	1	6598	6933	?	X	X	X						X			X	X
	n15-3	CR	MIP	29494	153140	611000	780		152360	?												X	X
	n3700	C	MBP	5150	10000	20000		5000	5000	?		X										X
	n3705	C	MBP	5150	10000	20000		5000	5000	?		X										X
	n370a	C	MBP	5150	10000	20000		5000	5000	?		X										X
	nag	C	MIP	5840	2884	26499	35	1350	1499	?	X	X	X									X	X
	nb10tb	CU	MIP	150495	73340	1172289	2756	14124	56460	?	X	X		X				X	X	X		X
Status	Name	Sets	C	Rows	Cols	NZs	Int	Bin	Con	Objective	AGG	VBD	PAR	PAC	COV	CAR	EQK	BIN	IVK	KNA	IKN	M01	GEN
	neos-1311124	C	MBP	1643	1092	7140		546	546	?		X		X								X
	neos-1429212	C	MBP	58726	416040	1855220		54756	361284	?	X	X	X			X						X
	neos-952987	C	BP	354	31329	90384		31329		?					X		X		X	X
	ns1456591	CT	MIP	1997	8399	199862	19	8000	380	?			X			X				X		X	X
	ns1631475	CR	MIP	24496	22696	116733	211	22470	15	?		X	X			X						X	X
	ns1853823	C	BP	224526	213440	1489480		213440		?						X			X	X
	ns1854840	C	IP	143616	135754	856994	474	135280		?		X				X			X				X
	ns1856153	CR	MBP	35407	11998	105882		11956	42	?		X				X			X			X
	ns1904248	C	MBP	149437	38458	378770		38416	42	?		X			X	X			X			X
	ns1905797	C	MIP	51884	18192	239700	4	17676	512	?	X	X	X			X						X	X
	ns1905800	C	MIP	8289	3228	38100	3	3030	195	?		X	X			X						X	X
	ns2124243	C	MBP	139280	156083	429032		16447	139636	?	X	X	X			X						X
	ns2137859	C	MBP	206726	103361	923682		103041	320	?		X	X		X	X			X	X		X
	ns4-pr3	C	MIP	2210	8601	25986	61		8540	?	X	X										X	X
	ns4-pr9	C	MIP	2220	7350	22176	42		7308	?	X	X										X	X
	ns894236	CR	BP	8218	9666	41067		9666		?	X	X				X			X			X
	ns894786	CR	BP	16794	27278	113575		27278		?		X				X			X			X
	ns930473	CR	MBP	23240	11328	121764		11176	152	?			X			X						X
	nsr8k	CR	MBP	6284	38356	371608		32040	6316	?									X			X
	pb-simp-nonunif	CX	BP	1451912	23848	4366648		23848		?	X	X			X				X
	ramos3	CR	BP	2187	2187	32805		2187		?									X
	rmine14	C	BP	268535	32205	660346		32205		?		X										X
	rmine21	CX	BP	1441651	162547	3514884		162547		?		X										X
	rmine25	CX	BP	2953849	326599	7182744		326599		?		X										X
	rocII-7-11	C	MBP	37215	16101	423661		15851	250	?		X	X	X		X			X			X
Status	Name	Sets	C	Rows	Cols	NZs	Int	Bin	Con	Objective	AGG	VBD	PAR	PAC	COV	CAR	EQK	BIN	IVK	KNA	IKN	M01	GEN
	rocII-9-11	C	MBP	47533	20679	544031		20361	318	?		X	X	X		X			X			X
	rococoC12-111000	C	IP	10776	8619	48920	187	8432		?		X	X			X							X
	rvb-sub	C	MBP	225	33765	984143		33763	2	?			X									X
	sct1	C	MIP	12154	22886	105571	1268	9044	12574	?		X							X	X		X
	sct5	CR	MIP	13304	37265	147037	2302	20702	14261	?		X							X	X		X
	shipsched	C	MBP	45554	13594	121571		10549	3045	?	X	X										X
	siena1	C	MBP	2220	13741	258915		11775	1966	?					X				X			X
	sing161	C	MBP	455631	770102	2072500		733244	36858	?	X	X	X			X						X
	sing245	CR	MBP	143161	235146	652817		220692	14454	?	X	X	X			X						X
	sing2	C	MBP	28891	31630	149712		23377	8253	?	X	X	X			X						X
	sing359	CR	MBP	437116	713762	1975605		674643	39119	?	X	X	X			X						X
	splan1	CUX	MIP	572800	1317382	5233840	1978	90810	1224594	?	X	X		X		X			X	X	X	X	X
	stockholm	C	MBP	57346	20644	171076		962	19682	?		X										X
	sts405	C	BP	27270	405	81810		405		?					X				X
	sts729	CR	BP	88452	729	265356		729		?					X				X
	t1717	C	BP	551	73885	325689		73885		?			X
	t1722	C	BP	338	36630	133096		36630		?			X
	uc-case11	C	MIP	51438	34134	202042	302	3898	29934	?	X	X										X
	van	C	MBP	27331	12481	487296		192	12289	?		X							X			X
	zib01	CX	BP	5887041	12471400	49877768		12471400		?			X	X		X
Status	Name	Sets	C	Rows	Cols	NZs	Int	Bin	Con	Objective	AGG	VBD	PAR	PAC	COV	CAR	EQK	BIN	IVK	KNA	IKN	M01	GEN

Legend

Problem Status

Easy - instance can be solved within one hour using a commercial solver
Hard - instance has been solved, but is not considered easy
Open - optimal solution to instance is unknown

Instance Set List

Problem Type List

Note: The problem types are used to partition the instances. Instances that match more than one type are grouped into the least general set.

Problem Feasibility List

Feasible Problems - a feasible solution is known
Infeasible Problems - the problem was proven to be infeasible
Unknown Feasiblility - no feasible solution is know, but the problem was not proven to be infeasible

Constraint Type Legend

AGG	Aggregation
VBD	Variable Bound
PAR	Set Partition
PAC	Set Packing
COV	Set Cover
CAR	Cardinality
EQK	Equality Knapsack
BIN	Bin Packing
IVK	Invariant Knapsack
KNA	Knapsack
IKN	Integer Knapsack
M01	Mixed Binary
GEN	General	All other constraint types

Note: If a constraint matches more than one type, it is counted for the one with highest priority (lowest number).
Scaling and negation of binary are applied to match constraint types.