Problem Sizes
NAME	Rows	Columns	Cont. Vars	Bin. Vars	Int. Vars	MIXUB	MIXEQ	NOBINUB	NOBINEQ	ALLBINUB	ALLBINEQ	SUMVARUB	SUMVAREQ	VARUB	VAREQ	VARLB	BINSUMVARUB	BINSUMVAREQ	BINSUM1VARUB	BINSUM1VAREQ	BINSUM1UB	BINSUM1EQ
22433	198	429	198	231	0	0	198	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
23588	137	368	137	231	0	0	137	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Test3	50680	72215	39072	7174	25969	6608	147	37685	354	0	0	0	0	1001	53	962	0	0	0	0	3827	43
aligninq	340	1831	1	1830	0	0	1	0	0	339	0	0	0	0	0	0	0	0	0	0	0	0
bc	1913	1751	1268	483	0	0	1	1	784	0	0	0	0	483	0	483	0	0	0	0	161	0
bc1	1913	1751	1499	252	0	0	1	540	784	0	0	0	0	252	0	252	0	0	0	0	84	0
bienst1	576	505	477	28	0	0	8	252	116	0	4	0	0	196	0	0	0	0	0	0	0	0
bienst2	576	505	470	35	0	0	8	203	115	0	5	0	0	245	0	0	0	0	0	0	0	0
binkar10_1	1026	2298	2128	170	0	170	0	0	846	10	0	0	0	0	0	0	0	0	0	0	0	0
d10200	947	2000	0	733	1267	0	0	0	0	747	0	0	0	0	0	0	0	0	0	0	0	197
d20200	1502	4000	0	3181	819	0	0	0	0	1302	0	0	0	0	0	0	0	0	0	0	0	200
dano3_3	3202	13873	13804	69	0	324	24	1572	1197	0	3	0	0	76	0	6	0	0	0	0	0	0
dano3_4	3202	13873	13781	92	0	376	24	1493	1196	0	4	0	0	103	0	6	0	0	0	0	0	0
dano3_5	3202	13873	13758	115	0	415	24	1427	1195	0	5	0	0	130	0	6	0	0	0	0	0	0
fiball	3707	34219	1	33960	258	258	0	220	1	0	0	0	0	0	0	0	0	0	0	0	0	3228
germanrr	10779	10813	239	5288	5286	0	231	0	0	0	8	0	0	5251	0	0	0	0	0	0	35	0
haprp	1048	1828	0	0	1828	0	0	60	882	0	0	0	0	0	0	0	0	0	0	0	0	0
leo1	593	6731	1	6730	0	0	1	0	0	155	0	0	0	0	0	0	0	0	0	0	434	0
leo2	593	11100	1	11099	0	0	1	0	0	155	0	0	0	0	0	0	0	0	0	0	437	0
lrn	8491	7253	4798	2455	0	566	262	2412	352	898	0	0	0	885	9	0	0	0	0	0	128	189
mcf2	664	521	465	56	0	120	0	8	128	0	16	0	0	392	0	0	0	0	0	0	0	0
mcsched	2107	1747	2	1731	14	2	5	2	2	3	0	0	0	6	2	62	0	0	0	0	1830	193
mkc1	3411	5325	2238	3087	0	299	1	99	1	24	0	0	0	2212	0	0	0	0	0	0	775	0
nag	5840	2884	1499	1350	35	2835	1262	1628	1	0	0	0	0	0	77	0	0	0	0	0	0	35
neos1	5020	2112	0	2112	0	0	0	0	0	4164	100	0	0	0	0	0	288	0	0	0	468	0
neos2	1103	2101	1061	1040	0	1027	0	7	30	0	0	0	0	26	0	0	0	0	0	0	0	13
neos3	1442	2747	1387	1360	0	1343	0	9	39	0	0	0	0	34	0	0	0	0	0	0	0	17
neos4	38577	22884	5712	17172	0	105	684	1191	453	0	0	0	0	3891	0	108	0	0	0	0	32145	0
neos5	63	63	10	53	0	60	0	0	0	3	0	0	0	0	0	0	0	0	0	0	0	0
neos6	1036	8786	446	8340	0	0	223	0	0	263	0	0	0	0	0	0	0	0	0	0	550	0
neos7	1994	1556	1102	434	20	693	0	278	319	0	0	0	0	412	0	150	0	0	0	0	0	142
neos8	46324	23228	0	23224	4	4	0	0	0	46248	12	0	0	0	0	0	56	0	0	0	4	0
neos9	31600	81408	79309	2099	0	1537	1331	23784	4861	0	0	0	0	0	0	0	0	0	0	0	87	0
neos10	46793	23489	0	23484	5	5	0	0	0	46712	16	0	0	0	0	0	56	0	0	0	4	0
neos11	2706	1220	320	900	0	700	40	300	56	0	140	0	0	0	0	750	0	0	0	0	720	0
neos12	8317	3983	847	3136	0	504	84	966	127	0	364	0	0	0	0	6272	0	0	0	0	0	0
neos13	20852	1827	12	1815	0	1815	0	19036	0	1	0	0	0	0	0	0	0	0	0	0	0	0
neos14	552	792	656	136	0	0	0	176	240	0	0	0	0	136	0	0	0	0	0	0	0	0
neos15	552	792	632	160	0	0	0	152	240	0	0	0	0	160	0	0	0	0	0	0	0	0
neos16	1018	377	0	336	41	672	0	0	10	0	0	0	0	0	0	0	0	0	0	0	336	0
neos17	486	535	235	300	0	300	0	185	1	0	0	0	0	0	0	0	0	0	0	0	0	0
neos18	11402	3312	0	3312	0	0	0	0	0	3701	132	0	0	0	0	0	0	0	0	0	5307	2262
neos20	2446	1165	198	937	30	816	15	11	39	812	81	0	40	0	152	0	0	0	0	0	54	426
neos-430149	990	395	215	180	0	360	0	420	30	0	0	0	0	0	0	0	0	0	0	0	0	180
neos-476283	10015	11915	6327	5588	0	0	0	3645	38	0	0	0	0	5571	0	0	0	0	0	0	367	27
neos-480878	1321	534	345	189	0	0	0	1008	24	0	0	0	0	189	0	0	0	0	0	0	44	12
neos-494568	2215	6889	153	6736	0	311	63	0	0	0	0	0	0	0	0	3	0	0	0	0	1098	62
neos-495307	3	9423	0	9423	0	0	0	0	0	3	0	0	0	0	0	0	0	0	0	0	0	0
neos-498623	2047	9861	1361	8500	0	336	59	0	27	0	0	0	0	0	0	1	0	0	0	0	1089	61
neos-501453	40	165	18	0	147	0	0	25	15	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-501474	265	206	59	0	147	0	0	250	15	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-503737	500	2850	350	2500	0	350	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	150
neos-504674	1344	844	694	150	0	432	0	293	244	0	0	0	0	294	6	0	0	0	0	0	75	0
neos-504815	1067	674	554	120	0	342	0	231	194	0	0	0	0	234	6	0	0	0	0	0	60	0
neos-506428	129925	42981	0	42981	0	0	0	0	0	40891	0	0	0	0	0	0	0	0	0	0	88939	95
neos-512201	1335	838	688	150	0	414	0	293	244	0	0	0	0	300	0	6	0	0	0	0	80	0
neos-520729	31178	91149	60441	30708	0	17046	20	38	391	0	0	0	0	0	10800	0	0	0	0	0	0	20
neos-522351	1705	1524	1284	240	0	0	0	1056	96	0	1	0	0	228	0	228	0	0	0	0	96	0
neos-525149	144120	3640	40	3600	0	1E+05	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	120
neos-530627	113	103	75	0	28	0	0	63	49	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-538867	1170	792	0	792	0	0	0	0	0	1122	0	0	0	0	0	0	0	0	0	0	2	18
neos-538916	1314	864	0	864	0	0	0	0	0	1296	0	0	0	0	0	0	0	0	0	0	0	18
neos-544324	732	10080	0	10080	0	0	0	0	0	672	0	0	0	0	0	0	0	0	0	0	60	0
neos-547911	693	3528	0	3528	0	0	0	0	0	672	0	0	0	0	0	0	0	0	0	0	21	0
neos-548047	3970	2020	1	2019	0	0	1	0	0	80	0	0	0	0	0	0	0	0	0	0	3889	0
neos-548251	2386	1922	992	930	0	0	0	526	465	0	0	0	0	930	0	0	0	0	0	0	0	465
neos-551991	3332	1730	1	1729	0	0	1	0	0	100	0	0	0	0	0	0	0	0	0	0	3231	0
neos-555001	3474	3855	0	3782	73	92	74	0	6	422	0	0	0	0	0	0	0	0	0	0	756	2124
neos-555298	2755	4827	0	4812	15	113	14	0	1	1223	60	0	0	0	0	0	0	0	0	0	0	1344
neos-555343	3326	3815	0	3800	15	92	21	0	1	1667	55	0	0	0	0	0	0	0	0	0	790	650
neos-555424	2676	3815	0	3800	15	99	14	0	1	1667	55	0	0	0	0	0	0	0	0	0	790	0
neos-555694	1948	4139	1320	2819	0	367	22	0	27	34	0	0	0	0	0	0	0	0	0	0	961	55
neos-555771	1978	4170	1338	2832	0	379	37	0	27	34	0	0	0	0	0	0	0	0	0	0	961	58
neos-555884	4331	3815	0	3800	15	99	14	0	1	607	110	0	0	0	0	0	0	0	0	0	1730	1120
neos-555927	1403	1945	0	1930	15	57	14	0	1	256	65	0	0	0	0	0	0	0	0	0	450	560
neos-565672	318334	190589	15228	175361	0	0	0	0	0	1608	0	0	0	0	0	279094	0	0	0	0	1	0
neos-565815	15413	1276	0	1276	0	0	0	0	0	92	10	0	0	0	0	0	0	0	0	0	14191	32
neos-570431	931	511	1	510	0	0	1	0	0	110	0	0	0	0	0	0	0	0	0	0	820	0
neos-574665	3790	740	492	184	64	2637	157	36	115	500	0	0	0	0	184	0	0	0	0	0	161	0
neos-578379	21703	17010	0	17010	0	0	0	0	0	0	5503	0	0	0	0	0	0	0	0	0	10720	5480
neos-582605	1240	1265	865	400	0	350	0	35	405	0	0	0	0	350	0	0	0	0	0	0	0	0
neos-583731	1491	1350	0	1350	0	0	0	0	0	1470	21	0	0	0	0	0	0	0	0	0	0	0
neos-584146	936	811	561	250	0	250	0	36	300	0	0	0	0	250	0	0	0	0	0	0	100	0
neos-584851	661	445	40	405	0	0	0	0	4	25	0	0	0	0	0	632	0	0	0	0	0	0
neos-584866	9009	3674	90	3584	0	0	0	0	9	168	0	0	0	0	0	8832	0	0	0	0	0	0
neos-585192	2628	2597	1553	1044	0	936	0	144	684	0	0	0	0	0	864	0	0	0	0	0	0	0
neos-585467	2166	2116	1270	846	0	780	0	120	570	0	0	0	0	0	696	0	0	0	0	0	0	0
neos-593853	1606	2400	1200	1200	0	0	0	206	0	0	0	0	0	1200	0	0	0	0	0	0	0	200
neos-595904	2452	4508	3360	1148	0	913	0	6	132	0	0	919	0	0	0	0	0	0	0	0	0	20
neos-595905	704	1200	888	312	0	258	0	6	66	0	0	264	0	0	0	0	0	0	0	0	0	10
neos-595925	956	1276	840	436	0	362	0	4	64	0	0	366	0	0	0	0	0	0	0	0	0	20
neos-598183	992	1696	1260	436	0	374	0	6	96	0	0	380	0	0	0	0	0	0	0	0	0	20
neos-603073	992	1696	1260	436	0	432	0	6	96	0	0	438	0	0	0	0	0	0	0	0	0	20
neos-611135	5277	6400	0	6400	0	0	0	0	0	555	0	0	0	0	0	0	0	0	0	0	4690	32
neos-611838	1876	9954	9900	54	0	0	0	893	744	0	0	239	0	0	0	0	0	0	0	0	0	0
neos-612125	1795	9554	9504	50	0	0	0	836	744	0	0	215	0	0	0	0	0	0	0	0	0	0
neos-612143	1842	9832	9780	52	0	0	0	883	744	0	0	215	0	0	0	0	0	0	0	0	0	0
neos-612162	1859	9893	9840	53	0	0	0	888	744