MIPLIB 2010

BP - Pure binary problems

[Return to complete MIPLIB 2010 problem list]

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	P R	BP	3285	1620	17073		1620		0		X	X	X	X	X			X			X
	acc-tight5	B P R	BP	3052	1339	16134		1339		0	X	X	X	X	X	X			X			X
	acc-tight6	P R	BP	3047	1335	16108		1335		0	X	X	X	X	X	X			X			X
	air04	B	BP	823	8904	72965		8904		56137	X		X
	ash608gpia-3col	B I	BP	24748	3651	74244		3651		Infeasible			X	X
	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
	bab5	B	BP	4964	21600	155520		21600		-106412	X		X	X		X	X		X	X		X
	bley_xl1	B	BP	175620	5831	869391		5831		190	X	X	X	X		X			X	X		X
	bnatt350	B P R	BP	4923	3150	19061		3150		0					X				X			X
	bnatt400	C R	BP	5614	3600	21698		3600		1					X				X			X
	circ10-3	C R	BP	42620	2700	307320		2700		?		X	X		X				X			X
	co-100	C	BP	2187	48417	1995817		48417		2.63994e+06		X	X	X				X	X	X
	cov1075	B	BP	637	120	14280		120		20					X				X			X
	datt256	C	BP	11077	262144	1503732		262144		?			X			X	X
	ds-big	C R	BP	1042	174997	4623442		174997		?			X
	eil33-2	B	BP	32	4516	44243		4516		934.008			X
	eilA101-2	C	BP	100	65832	959373		65832		880.92			X
	eilB101	B	BP	100	2818	24120		2818		1216.92			X
	ex1010-pi	C	BP	1468	25200	102114		25200		?					X				X
	ex10	P	BP	69608	17680	1162000		17680		100		X	X						X
	ex9	B P	BP	40962	10404	517112		10404		81		X	X						X
	f2000	C R	BP	10500	4000	29500		4000		?		X			X				X
	go19	C T	BP	441	441	1885		441		84					X				X
	hanoi5	C R	BP	16399	3862	39718		3862		1931		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
	harp2	U	BP	112	2993	5840		2993		-7.38998e+07			X							X		X
	iis-100-0-cov	B	BP	3831	100	22986		100		29					X				X
	iis-bupa-cov	B	BP	4803	345	38392		345		36					X				X
	iis-pima-cov	B	BP	7201	768	71941		768		33					X				X
	ivu06-big	C R X	BP	1177	2277736	23125770		2277736		?			X
	ivu52	C R	BP	2116	157591	2179476		157591		481.007			X						X	X		X
	m100n500k4r1	B P	BP	100	500	2000		500		-25				X
	macrophage	B	BP	3164	2260	9492		2260		374					X				X
	methanosarcina	C	BP	14604	7930	43812		7930		?					X				X
	mine-166-5	B	BP	8429	830	19412		830		-5.66396e+08		X								X
	mine-90-10	B	BP	6270	900	15407		900		-7.84302e+08		X								X
	mspp16	B X	BP	561657	29280	27678735		29280		363		X	X	X	X				X	X		X
	n3div36	B	BP	4484	22120	340740		22120		130800				X	X				X			X
	n3seq24	B	BP	6044	119856	3232340		119856		52200				X	X				X			X
	neos-1109824	B	BP	28979	1520	89528		1520		378		X	X			X			X
	neos-1337307	B	BP	5687	2840	30799		2840		-202319		X	X						X	X
	neos-1440225	P	BP	330	1285	14168		1285		36			X
	neos-1616732	T	BP	1999	200	3998		200		159		X
	neos-1620770	T	BP	9296	792	19292		792		9		X	X
	neos18	B	BP	11402	3312	24614		3312		16		X			X				X
	neos-506428	R	BP	129925	42981	343466		42981		583780		X	X						X			X
	neos-631710	C R	BP	169576	167056	834166		167056		203		X	X	X				X
	neos-777800	P	BP	479	6400	32000		6400		-80		X		X		X
	neos-785912	I	BP	1714	1380	16610		1380		Infeasible		X		X					X
	neos788725	I	BP	433	352	4912		352		Infeasible		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-807456	C	BP	840	1635	4905		1635		Infeasible	X		X
	neos808444	P	BP	18329	19846	120512		19846		0	X	X	X	X			X		X			X
	neos-820146	I T	BP	830	600	3225		600		Infeasible				X	X	X			X
	neos-820157	I T	BP	1015	1200	4875		1200		Infeasible		X	X	X	X	X			X
	neos-849702	B P	BP	1041	1737	19308		1737		0			X	X		X			X
	neos858960	I T	BP	132	160	2770		160		Infeasible		X				X			X
	neos-859770	I	BP	2065	2504	880736		2504		Infeasible			X						X			X
	neos-885524	P	BP	65	91670	258309		91670		12320.1												X
	neos-941313	P	BP	13189	167910	484080		167910		9361			X	X	X	X			X	X		X
	neos-952987	C	BP	354	31329	90384		31329		?					X		X		X	X
	neos-957389	P	BP	5115	6036	355372		6036		1.5		X	X	X				X	X	X
	netdiversion	B	BP	119589	129180	615282		129180		242		X	X	X	X	X			X
	ns1663818	C X	BP	172017	124626	20433649		124626		86		X	X	X					X	X		X
	ns1685374	R	BP	44121	10000	220859		10000		-13			X	X	X	X			X			X
	ns1686196	I	BP	4055	2738	68529		2738		Infeasible		X	X	X		X			X	X		X
	ns1688347	B	BP	4191	2685	66908		2685		27	X	X	X	X					X	X		X
	ns1696083	C R	BP	11063	7982	384129		7982		45		X	X	X		X			X	X		X
	ns1745726	I	BP	4687	3208	90278		3208		Infeasible		X	X	X		X			X	X		X
	ns1769397	I	BP	5527	3772	117383		3772		Infeasible		X	X	X		X			X	X		X
	ns1778858	C	BP	10666	4720	32673		4720		-2.26357e+07		X	X						X			X
	ns1853823	C	BP	224526	213440	1489480		213440		?						X			X	X
	ns894236	C R	BP	8218	9666	41067		9666		?	X	X				X			X			X
	ns894244	R	BP	12129	21856	90864		21856		15		X				X			X			X
	ns894786	C R	BP	16794	27278	113575		27278		?		X				X			X			X
	ns894788	T	BP	2279	3463	14381		3463		7		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
	ns903616	C R	BP	18052	21582	91641		21582		19	X	X				X			X			X
	opm2-z10-s2	C	BP	160633	6250	371243		6250		-33826		X								X
	opm2-z11-s8	C R	BP	223082	8019	510283		8019		-43485		X								X
	opm2-z12-s14	C R	BP	319508	10800	725376		10800		-64291		X								X
	opm2-z12-s7	C R	BP	319508	10800	725385		10800		-65514		X								X
	opm2-z7-s2	B	BP	31798	2023	79762		2023		-10280		X								X
	p2m2p1m1p0n100	I T	BP	1	100	100		100		Infeasible										X		X
	p6b	C	BP	5852	462	11704		462		-63		X
	pb-simp-nonunif	C X	BP	1451912	23848	4366648		23848		?	X	X			X				X
	protfold	R	BP	2112	1835	23491		1835		-31			X	X	X	X			X			X
	queens-30	C	BP	960	900	93440		900		-40										X
	rail01	R	BP	46843	117527	392086		117527		-70.57	X	X	X	X		X				X
	rail02	C R	BP	95791	270869	756228		270869		-200.45	X		X	X		X				X
	rail03	C R	BP	253905	758775	1728451		758775		-867.094	X	X	X	X		X				X
	ramos3	C R	BP	2187	2187	32805		2187		?									X
	reblock166	T	BP	17024	1660	39442		1660		-6.00052e+08		X								X
	reblock354	C	BP	19906	3540	52901		3540		-3.92805e+07		X								X
	reblock420	C	BP	62800	4200	138670		4200		-5.17793e+08		X								X
	reblock67	B	BP	2523	670	7495		670		-3.46306e+07		X								X
	rmine10	C	BP	65274	8439	162264		8439		-1913.88		X										X
	rmine14	C	BP	268535	32205	660346		32205		?		X										X
	rmine21	C X	BP	1441651	162547	3514884		162547		?		X										X
	rmine25	C X	BP	2953849	326599	7182744		326599		?		X										X
	rmine6	B	BP	7078	1096	18084		1096		-457.186		X										X
	seymour	C	BP	4944	1372	33549		1372		423		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
	seymour-disj-10	C	BP	5108	1209	64704		1209		287		X			X				X			X
	sp97ar	C	BP	1761	14101	290968		14101		6.60706e+08		X		X	X				X			X
	sp98ic	B	BP	825	10894	316317		10894		4.49145e+08		X		X	X				X			X
	stp3d	C R	BP	159488	204880	662128		204880		493.72		X	X	X		X
	sts405	C	BP	27270	405	81810		405		?					X				X
	sts729	C R	BP	88452	729	265356		729		?					X				X
	t1717	C	BP	551	73885	325689		73885		?			X
	t1722	C	BP	338	36630	133096		36630		?			X
	tanglegram1	B	BP	68342	34759	205026		34759		5182					X				X
	tanglegram2	B	BP	8980	4714	26940		4714		443					X				X
	toll-like	C	BP	4408	2883	13224		2883		610					X				X
	vpphard2	C	BP	198450	199999	648340		199999		81		X	X			X			X
	vpphard	B	BP	47280	51471	372305		51471		5		X	X			X			X
	wnq-n100-mw99-14	C T	BP	656900	10000	1333400		10000		259		X			X				X
	zib01	C X	BP	5887041	12471400	49877768		12471400		?			X	X		X
	zib02	C I X	BP	9049868	37709944	146280582		37709944		Infeasible		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 Easy - instance can be solved within one hour using a commercial solver
Hard Hard - instance has been solved, but is not considered easy
Open Open - optimal solution to instance is unknown

Instance Set List

B	Benchmark set
C	Challenge set
I	Infeasible set
P	Primal set
U	Unstable set
R	Reoptimize set
T	Tree set
X	XXL - extra large instances

Problem Type List

BP	Binary Program - All variables are binary
IP	Integer Program - All variables are integer
MBP	Mixed Binary Program - All variables are binary or continuous
MIP	Mixed Integer Program - Variables can be integer or continuous

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.