MIPLIB 2010

Reoptimize set

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
	acc-tight4	PR	BP	3285	1620	17073		1620		0		X	X	X	X	X			X			X
	acc-tight5	BPR	BP	3052	1339	16134		1339		0	X	X	X	X	X	X			X			X
	acc-tight6	PR	BP	3047	1335	16108		1335		0	X	X	X	X	X	X			X			X
	bnatt350	BPR	BP	4923	3150	19061		3150		0					X				X			X
	bnatt400	CR	BP	5614	3600	21698		3600		1					X				X			X
	circ10-3	CR	BP	42620	2700	307320		2700		?		X	X		X				X			X
	csched008	RT	MBP	351	1536	5687		1284	252	173	X	X	X									X
	dano3mip	CR	MBP	3202	13873	79655		552	13321	?		X				X						X
	ds-big	CR	BP	1042	174997	4623442		174997		?			X
	f2000	CR	BP	10500	4000	29500		4000		?		X			X				X
	hanoi5	CR	BP	16399	3862	39718		3862		1931		X			X				X
	in	CRX	MBP	1526202	1449074	6811639		1489	1447585	58	X	X										X
	ivu06-big	CRX	BP	1177	2277736	23125770		2277736		?			X
	ivu52	CR	BP	2116	157591	2179476		157591		481.007			X						X	X		X
	map06	R	MBP	328818	164547	549920		146	164401	-289		X								X		X
	map10	R	MBP	328818	164547	549920		146	164401	-495		X								X		X
	map14	R	MBP	328818	164547	549920		146	164401	-674		X								X		X
	map18	BR	MBP	328818	164547	549920		146	164401	-847		X								X		X
	momentum3	CR	MIP	56822	13532	949495	1	6598	6933	?	X	X	X						X			X	X
	msc98-ip	BR	MIP	15850	21143	92918	53	20237	853	1.98395e+07	X	X	X			X			X	X	X	X	X
	n15-3	CR	MIP	29494	153140	611000	780		152360	?												X	X
	neos-1601936	BR	MBP	3131	4446	72500		3906	540	3			X		X				X			X
	neos-1605061	R	MBP	3474	4111	93483		3570	541	12			X		X				X			X
	neos-1605075	R	MBP	3467	4173	91377		3633	540	9			X		X	X			X			X
	neos-506428	R	BP	129925	42981	343466		42981		583780		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-631710	CR	BP	169576	167056	834166		167056		203		X	X	X				X
	neos-935627	PR	MBP	7859	10301	40476		7522	2779	2598		X		X					X			X
	neos-937815	CR	MBP	9251	11646	48013		8876	2770	2845		X		X					X			X
	neos-941262	R	MBP	6703	9480	35659		6710	2770	2791		X		X					X			X
	neos-948126	R	MBP	7271	9551	38219		6965	2586	2607		X		X					X			X
	neos-984165	CR	MBP	6962	8883	36742		6478	2405	2188		X		X					X			X
	net12	BR	MBP	14021	14115	80384		1603	12512	214		X	X	X	X	X			X			X
	ns1111636	CR	MBP	13895	360822	568444		13200	347622	162				X		X			X	X		X
	ns1606230	R	MBP	3503	4173	92133		3633	540	21			X		X	X			X			X
	ns1631475	CR	MIP	24496	22696	116733	211	22470	15	?		X	X			X						X	X
	ns1644855	R	MBP	40698	30200	2110696		10000	20200	-1524.33		X	X									X
	ns1685374	R	BP	44121	10000	220859		10000		-13			X	X	X	X			X			X
	ns1696083	CR	BP	11063	7982	384129		7982		45		X	X	X		X			X	X		X
	ns1856153	CR	MBP	35407	11998	105882		11956	42	?		X				X			X			X
	ns2118727	IR	MBP	163354	167440	646864		159514	7926	Infeasible		X			X				X			X
	ns894236	CR	BP	8218	9666	41067		9666		?	X	X				X			X			X
	ns894244	R	BP	12129	21856	90864		21856		15		X				X			X			X
	ns894786	CR	BP	16794	27278	113575		27278		?		X				X			X			X
	ns903616	CR	BP	18052	21582	91641		21582		19	X	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
	opm2-z11-s8	CR	BP	223082	8019	510283		8019		-43485		X								X
	opm2-z12-s14	CR	BP	319508	10800	725376		10800		-64291		X								X
	opm2-z12-s7	CR	BP	319508	10800	725385		10800		-65514		X								X
	protfold	R	BP	2112	1835	23491		1835		-31			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
	rail01	R	BP	46843	117527	392086		117527		-70.57	X	X	X	X		X				X
	rail02	CR	BP	95791	270869	756228		270869		-200.45	X		X	X		X				X
	rail03	CR	BP	253905	758775	1728451		758775		-867.094	X	X	X	X		X				X
	ramos3	CR	BP	2187	2187	32805		2187		?									X
	rococoC11-011100	CR	IP	2367	6491	30472	166	6325		20889	X	X	X			X			X				X
	satellites2-60-fs	R	MBP	16516	35378	125048		34324	1054	-19	X	X	X	X		X						X
	satellites2-60	CUR	MBP	20916	35378	283668		34324	1054	-19	X	X	X	X		X			X			X
	satellites3-40-fs	CUR	MBP	35553	81681	291161		79961	1720	-25	X	X	X	X		X						X
	satellites3-40	CUR	MBP	44804	81681	698176		79961	1720	-25	X	X	X	X		X			X			X
	sct5	CR	MIP	13304	37265	147037	2302	20702	14261	?		X							X	X		X
	sing245	CR	MBP	143161	235146	652817		220692	14454	?	X	X	X			X						X
	sing359	CR	MBP	437116	713762	1975605		674643	39119	?	X	X	X			X						X
	stp3d	CR	BP	159488	204880	662128		204880		493.72		X	X	X		X
	sts729	CR	BP	88452	729	265356		729		?					X				X
	triptim2	CR	MIP	14427	27326	521898	6548	20771	7	12.0051	X	X	X	X	X	X			X				X
	triptim3	CR	MIP	14939	28440	524124	6812	21621	7	13.5311	X	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

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.