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	0	0	227	0	0	0	0	0	0	0	0	0	0
neos-619167	6800	3452	3052	400	0	800	0	5440	160	0	0	0	0	400	0	0	0	0	0	0	0	0
neos-631164	406	1282	245	1037	0	193	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	213
neos-631517	351	1090	231	859	0	184	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	167
neos-631694	3996	3725	0	3725	0	0	0	0	0	3	0	0	0	0	0	0	46	0	0	0	3642	75
neos-631709	46496	45150	0	45150	0	0	0	0	0	0	0	0	0	0	0	0	300	0	0	0	46046	150
neos-631710	169576	167056	0	167056	0	0	0	0	0	0	0	0	0	0	0	0	556	0	0	0	168720	300
neos-631784	23996	22725	0	22725	0	0	0	0	0	0	0	0	0	0	0	0	300	0	0	0	23621	75
neos-632335	24864	12719	0	12719	0	0	0	0	0	12167	1	0	0	0	0	0	0	0	0	0	0	12696
neos-633273	21781	11154	0	11154	0	0	0	0	0	10648	1	0	0	0	0	0	0	0	0	0	0	11132
neos-641591	1085	18235	0	17907	328	328	328	0	0	135	0	0	0	0	0	0	0	0	0	0	277	0
neos-655508	13573	13572	0	13572	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	13456	116
neos-662469	1085	18235	0	17907	328	328	328	0	0	135	0	0	0	0	0	0	0	0	0	0	277	0
neos-686190	3664	3660	0	3600	60	3422	1	59	0	58	0	0	0	0	0	0	0	0	0	0	2	120
neos-691058	2667	3006	1251	1755	0	2196	0	9	0	0	12	0	0	0	0	0	0	0	0	0	0	450
neos-691073	2667	1935	180	1755	0	2196	0	9	0	0	12	0	0	0	0	0	0	0	0	0	0	450
neos-693347	3192	1576	171	1405	0	2565	0	9	0	0	48	0	0	0	0	0	0	0	0	0	131	284
neos-702280	1600	7199	0	7199	0	0	0	0	0	1600	0	0	0	0	0	0	0	0	0	0	0	0
neos-709469	469	224	0	224	0	0	0	0	0	219	0	0	0	0	0	0	0	0	0	0	124	56
neos-717614	891	3049	49	84	2916	0	0	128	595	0	0	168	0	0	0	0	0	0	0	0	0	0
neos-738098	25849	9093	147	8946	0	0	147	91	0	5572	20	0	0	0	0	0	0	0	0	0	14397	330
neos-775946	6602	4710	1593	3117	0	2700	43	1	27	36	0	0	0	0	0	38	0	0	0	0	1060	58
neos-777800	479	6400	0	6400	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	474	0
neos-780889	73910	182700	0	182700	0	0	0	0	0	350	46381	0	0	0	0	0	0	0	0	0	0	27179
neos-785899	1653	1320	0	1320	0	0	0	0	0	176	0	0	0	0	0	0	0	0	0	0	1435	0
neos-785912	1714	1380	0	1380	0	0	0	0	0	178	0	0	0	0	0	0	0	0	0	0	1494	0
neos-785914	1590	1260	0	1260	0	0	0	0	0	173	0	0	0	0	0	0	0	0	0	0	1375	0
neos-787933	1897	236376	0	236376	0	0	0	0	0	1897	0	0	0	0	0	0	0	0	0	0	0	0
neos-791021	3694	9448	0	9448	0	0	0	0	0	24	96	0	0	0	0	0	0	0	0	0	946	2628
neos-796608	286	311	192	0	119	0	0	94	192	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-799711	59218	41998	41088	910	0	2960	0	7801	17601	0	224	0	0	3775	0	0	0	0	0	0	445	112
neos-799716	40418	30619	29709	910	0	2964	0	4196	17616	0	224	0	0	3780	0	0	0	0	0	0	445	112
neos-799838	5976	20844	0	20844	0	0	0	0	0	72	5364	0	0	0	0	0	0	0	0	0	0	540
neos-801834	3300	3220	0	3220	0	0	0	0	0	2400	0	0	0	0	0	0	0	0	0	0	840	60
neos-803219	901	640	580	60	0	40	0	381	470	0	0	0	0	0	0	0	0	0	0	0	10	0
neos-803220	891	630	570	60	0	40	0	371	470	0	0	0	0	0	0	0	0	0	0	0	10	0
neos-806323	1541	1060	950	110	0	60	20	611	830	0	0	0	0	0	0	0	0	0	0	0	20	0
neos-807454	1622	1638	0	1638	0	0	0	0	0	594	0	0	0	0	0	0	0	0	0	0	747	281
neos-807456	840	1635	0	1635	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	813
neos-807639	1541	1030	950	80	0	50	20	591	830	0	0	0	0	0	0	10	0	0	0	0	20	0
neos-807705	1541	1030	950	80	0	50	20	611	830	0	0	0	0	0	0	10	0	0	0	0	20	0
neos-808072	1713	1702	1	1701	0	0	1	0	0	594	20	0	0	0	0	0	0	0	0	0	873	225
neos-808214	640	1308	0	1308	0	0	0	0	0	284	22	0	0	0	0	0	0	0	0	0	150	182
neos-810286	2675	2915	0	2915	0	0	0	0	0	804	24	0	0	0	0	0	0	0	0	0	1483	356
neos-810326	1749	1702	1	1701	0	0	1	0	0	594	20	0	0	0	0	0	0	0	0	0	873	261
neos-820146	830	600	0	600	0	0	0	0	0	675	15	0	0	0	0	0	0	0	0	0	140	0
neos-820157	1015	1200	0	1200	0	0	0	0	0	695	15	0	0	0	0	0	0	0	0	0	200	105
neos-820879	361	9522	0	9522	0	0	0	0	0	151	130	0	0	0	0	0	0	0	0	0	0	73
neos-824661	18804	45390	29750	15640	0	2052	14280	0	0	2211	67	0	0	0	0	0	0	0	0	0	170	24
neos-824695	9576	23970	15470	8500	0	1026	7140	0	0	1	35	0	0	0	0	0	0	0	0	0	1360	14
neos-825075	328	800	0	800	0	0	0	0	0	160	0	0	0	0	0	0	0	0	0	0	0	168
neos-826224	17266	41820	14280	27540	0	1881	13090	0	0	2041	61	0	0	0	0	0	0	0	0	0	170	23
neos-826250	5250	12250	4200	8050	0	639	3780	0	0	1	42	0	0	0	0	0	0	0	0	0	770	18
neos-826650	2414	5912	120	5792	0	0	120	0	48	10	1578	0	0	0	0	0	0	0	0	0	640	18
neos-826694	6904	16410	120	16290	0	0	120	0	54	10	4920	0	0	0	0	0	0	0	0	0	1800	0
neos-826812	6844	15864	5514	10350	0	910	4860	0	114	900	60	0	0	0	0	0	0	0	0	0	0	0
neos-826841	2354	5516	2028	3488	0	330	1536	0	108	0	42	0	0	0	0	0	0	0	0	0	320	18
neos-827015	7688	79347	0	79347	0	0	0	0	0	1	82	0	0	0	0	0	0	0	0	0	2535	5070
neos-827175	14187	32504	11154	21350	0	1845	10248	0	174	1830	62	0	0	0	0	0	0	0	0	0	0	28
neos-829552	5153	40971	0	40971	0	0	0	0	0	1	82	0	0	0	0	0	0	0	0	0	2535	2535
neos-830439	1375	1468	600	868	0	305	0	32	352	432	0	0	0	6	0	53	0	0	0	0	0	0
neos-831188	2185	4612	0	4612	0	0	0	0	0	1	68	0	0	0	0	0	0	0	0	0	1058	1058
neos-839838	12751	7700	100	7600	0	50	50	0	0	2501	0	0	0	50	0	0	0	0	0	0	10000	100
neos-839859	3251	1975	50	1925	0	25	25	0	0	626	0	0	0	25	0	0	0	0	0	0	2500	50
neos-839894	33201	16325	25	16300	0	650	0	0	0	626	0	0	0	0	0	0	0	0	0	0	31875	50
neos-841664	3135	2925	2730	195	0	0	0	405	0	0	0	0	0	2730	0	0	0	0	0	0	0	0
neos-847051	4731	5417	5182	235	0	216	0	1515	1268	47	0	216	0	1240	0	0	0	0	0	0	141	0
neos-847302	609	737	8	729	0	176	0	0	0	0	0	0	0	0	0	0	0	0	0	0	292	141
neos-848150	731	949	0	949	0	0	0	0	0	210	1	0	0	0	0	0	0	0	0	0	340	179
neos-848198	924	10164	9702	462	0	0	0	0	462	0	0	462	0	0	0	0	0	0	0	0	0	0
neos-848589	1484	550539	549792	747	0	0	0	0	736	0	1	747	0	0	0	0	0	0	0	0	0	0
neos-848845	1050	1737	0	1737	0	0	0	0	0	144	96	0	0	0	0	0	0	0	0	0	540	270
neos-849702	1041	1737	0	1737	0	0	0	0	0	144	87	0	0	0	0	0	0	0	0	0	540	270
neos-850681	2067	2594	99	2479	16	0	115	0	0	504	0	0	0	0	0	0	0	0	0	0	1004	444
neos-856059	17827	450	0	450	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	17827	0
neos-859770	2065	2504	0	2504	0	0	0	0	0	2046	0	0	0	0	0	0	0	0	0	0	0	19
neos-860244	675	3105	0	3105	0	0	0	0	0	662	0	0	0	0	0	0	0	0	0	0	0	13
neos-860300	850	1385	1	1384	0	0	1	0	0	814	0	0	0	0	0	0	0	0	0	0	16	19
neos-862348	5801	3835	1386	2449	0	1738	35	3	25	67	0	0	0	0	0	24	0	0	0	0	914	64
neos-863472	523	588	56	532	0	440	12	0	0	8	44	0	0	0	0	0	0	0	0	0	0	19
neos-872648	93291	175219	87644	87575	0	0	0	5690	0	0	0	0	0	87575	0	0	0	0	0	0	0	0
neos-873061	93360	175288	87644	87644	0	0	0	5716	0	0	0	0	0	87644	0	0	0	0	0	0	0	0
neos-876808	85808	87268	0	87268	0	0	0	0	0	23034	0	0	0	0	0	0	0	0	0	0	292	292
neos-880324	348	261	29	232	0	162	13	43	0	5	0	0	0	0	0	6	0	0	0	0	63	13
neos-881765	278	712	0	712	0	0	0	0	0	90	0	0	0	0	0	0	0	0	0	0	36	116
neos-885086	11574	4860	2430	2430	0	2430	0	5814	0	0	0	0	0	2430	0	0	0	0	0	0	900	0
neos-885524	65	91670	0	91670	0	0	0	0	0	65	0	0	0	0	0	0	0	0	0	0	0	0
neos-886822	1089	1057	1	1056	0	32	0	0	0	33	0	0	0	0	0	0	0	0	0	0	1024	0
neos-892255	2137	1800	0	1800	0	0	0	0	0	22	105	0	0	0	0	0	210	0	0	0	1470	210
neos-905856	403	686	0	686	0	0	0	0	0	154	0	0	0	0	0	0	0	0	0	0	77	172
neos-906865	1634	1184	784	400	0	0	392	1242	0	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-911880	83	888	48	840	0	48	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	35
neos-911970	107	888	48	840	0	48	0	0	0	24	0	0	0	0	0	0	0	0	0	0	0	35
neos-912015	617	686	0	686	0	0	0	0	0	308	14	0	0	0	0	0	0	0	0	0	119	148
neos-912023	623	686	0	686	0	0	0	0	0	322	14	0	0	0	0	0	0	0	0	0	119	154
neos-913984	1076	76000	0	76000	0	0	0	0	0	76	1000	0	0	0	0	0	0	0	0	0	0	0
neos-914441	15129	15007	1	15006	0	122	0	0	0	0	1	0	0	0	0	0	0	0	0	0	14884	122
neos-916173	1413	1084	562	521	1	92	1	0	184	2	0	0	0	1134	0	0	0	0	0	0	0	0
neos-916792	1909	1474	757	717	0	158	0	0	263	3	0	0	0	1485	0	0	0	0	0	0	0	0
neos-930752	6549	9674	3869	5805	0	0	129	0	0	0	0	0	0	5160	0	0	0	0	0	0	1260	0
neos-931517	5529	7920	1980	5940	0	0	132	132	0	0	0	0	0	3960	0	0	0	0	0	0	1305	0
neos-931538	5964	7920	0	7920	0	0	0	0	0	22	132	0	0	0	0	0	0	0	0	0	3486	0
neos-932721	18085	22266	441	21825	0	148	0	0	0	1620	0	0	0	0	0	0	0	0	0	0	2115	0
neos-932816	30823	21007	441	20566	0	148	0	0	0	740	0	0	0	0	0	0	0	0	0	0	17598	0
neos-933364	1006	1728	888	840	0	24	0	48	35	59	0	0	0	840	0	0	0	0	0	0	0	0
neos-933550	2288	3032	8	3024	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	56	2232
neos-933562	3200	3032	8	3024	0	576	0	0	0	0	0	0	0	0	0	0	0	0	0	0	56	2568
neos-933638	13658	32417	3780	28637	0	800	0	0	0	51	0	0	0	0	0	0	0	0	0	0	9436	0
neos-933815	947	1728	888	840	0	24	0	48	35	0	0	0	0	840	0	0	0	0	0	0	0	0
neos-933966	12047	31762	3780	27982	0	800	0	0	0	51	0	0	0	0	0	0	0	0	0	0	7825	0
neos-934184	1006	1728	888	840	0	24	0	48	35	59	0	0	0	840	0	0	0	0	0	0	0	0
neos-934278	11495	23123	3168	19955	0	778	0	0	0	49	0	0	0	0	0	0	0	0	0	0	8493	0
neos-934441	11691	23362	3168	20194	0	757	0	0	0	51	0	0	0	0	0	0	0	0	0	0	8728	0
neos-934531	47078	1082	0	1082	0	0	0	0	0	16131	0	0	0	0	0	0	0	0	0	0	19669	92
neos-935234	9568	10309	2779	7530	0	618	139	0	0	51	0	0	0	0	0	0	0	0	0	0	8759	0
neos-935348	7859	10301	2779	7522	0	618	139	0	0	51	0	0	0	0	0	0	0	0	0	0	7050	0
neos-935496	2890	2820	48	2772	0	96	0	0	0	540	0	0	0	0	0	0	0	0	0	0	28	2190
neos-935627	7859	10301	2779	7522	0	618	139	0	0	50	0	0	0	0	0	0	0	0	0	0	7051	0
neos-935674	2890	3108	336	2772	0	636	0	0	0	0	0	0	0	0	0	0	0	0	0	0	28	2190
neos-935769	6741	9799	2779	7020	0	618	139	0	0	50	0	0	0	0	0	0	0	0	0	0	5933	0
neos-936660	7311	10019	2396	7623	0	673	146	0	0	65	0	0	0	0	0	0	0	0	0	0	6427	0
neos-937446	8176	11341	2770	8571	0	749	160	0	0	57	0	0	0	0	0	0	0	0	0	0	7210	0
neos-937511	8158	11332	2770	8562	0	757	160	0	0	58	0	0	0	0	0	0	0	0	0	0	7183	0
neos-937815	9251	11646	2770	8876	0	734	160	0	0	57	0	0	0	0	0	0	0	0	0	0	8300	0
neos-941262	6703	9480	2770	6710	0	694	160	0	0	49	0	0	0	0	0	0	0	0	0	0	5800	0
neos-941313	13189	167910	0	167910	0	0	0	0	0	10170	40	0	0	0	0	0	0	0	0	0	2940	9
neos-941698	844	946	24	922	0	48	0	0	0	327	0	0	0	0	0	0	0	0	0	0	80	276
neos-941717	1092	1350	48	1302	0	96	0	0	0	468	0	0	0	0	0	0	0	0	0	0	56	444
neos-941782	968	1094	48	1046	0	96	0	0	0	401	0	0	0	0	0	0	0	0	0	0	68	328
neos-942323	754	732	48	684	0	92	0	0	0	196	0	0	0	0	0	0	0	0	0	0	92	204
neos-942830	803	882	48	834	0	96	0	0	0	278	0	0	0	0	0	0	0	0	0	0	74	237
neos-942886	359	464	16	448	0	32	0	0	0	176	3	0	0	0	0	0	0	0	0	0	0	148
neos-948126	7271	9551	2586	6965	0	699	156	0	0	54	0	0	0	0	0	0	0	0	0	0	6362	0
neos-948268	4773	7550	0	7550	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	3772	1000
neos-948346	1570	57855	0	57855	0	0	0	0	0	920	0	0	0	0	0	0	0	0	0	0	650	0
neos-950242	34224	5760	0	5520	240	0	240	0	0	29976	0	0	0	0	0	240	0	0	0	0	2376	1392
neos-952987	354	31329	0	31329	0	0	0	0	0	186	168	0	0	0	0	0	0	0	0	0	0	0
neos-953928	12498	23305	0	23305	0	0	0	0	0	514	0	0	0	0	0	0	0	0	0	0	11864	0
neos-954925	2989	84718	0	84718	0	0	0	0	0	1009	0	0	0	0	0	0	0	0	0	0	1808	0
neos-955215	723	1302	672	630	0	21	0	42	30	0	0	0	0	630	0	0	0	0	0	0	0	0
neos-955800	6516	1848	552	1296	0	4896	132	0	0	12	0	0	0	0	420	144	0	0	0	0	828	84
neos-956971	2527	57756	0	57756	0	0	0	0	0	634	0	0	0	0	0	0	0	0	0	0	1893	0
neos-957143	2767	57756	0	57756	0	0	0	0	0	497	0	0	0	0	0	0	0	0	0	0	2013	0
neos-957270	3282	5929	0	5929	0	0	0	0	0	2719	0	0	0	0	0	0	0	0	0	0	312	60
neos-957323	3757	57756	0	57756	0	0	0	0	0	497	0	0	0	0	0	0	0	0	0	0	3003	0
neos-957389	5115	6036	0	6036	0	0	0	0	0	3509	0	0	0	0	0	0	0	0	0	0	373	89
neos-960392	4744	59376	0	59376	0	0	0	0	0	505	1575	0	0	0	0	0	0	0	0	0	2407	0
neos-983171	6711	8965	2408	6557	0	753	158	0	0	54	0	0	0	0	0	0	0	0	0	0	5746	0
neos-984165	6962	8883	2405	6478	0	734	155	0	0	54	0	0	0	0	0	0	0	0	0	0	6019	0
neos-1053234	2596	5621	5477	144	0	280	0	620	144	0	0	140	0	280	0	0	0	0	0	0	0	0
neos-1053591	1263	1386	1219	167	0	65	0	61	682	0	0	14	0	206	0	31	0	0	0	0	82	0
neos-1056905	900	463	43	420	0	840	0	60	0	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-1058477	1529	2805	2705	100	0	176	0	462	100	0	0	88	0	176	0	0	0	0	0	0	0	0
neos-1061020	10618	14010	79	10333	3598	0	3237	0	1	0	1961	0	0	0	0	0	0	0	0	0	0	1192
neos-1062641	1677	1748	1524	224	0	126	0	137	983	0	0	6	0	268	0	0	0	0	0	0	68	0
neos-1067731	3423	8779	2449	6330	0	10	2337	0	4	0	0	0	0	0	0	0	0	0	0	0	0	1072
neos-1096528	550339	1520	0	1520	0	0	0	0	0	492480	76	0	0	0	0	0	0	0	0	0	1520	23
neos-1109824	28979	1520	0	1520	0	0	0	0	0	27360	76	0	0	0	0	0	0	0	0	0	1520	23
neos-1112782	2115	4140	2070	2070	0	0	0	0	45	0	0	0	0	2025	0	0	0	0	0	0	0	0
neos-1112787	1680	3280	1640	1640	0	0	0	0	40	0	0	0	0	1600	0	0	0	0	0	0	0	0
neos-1120495	21739	1140	0	1140	0	0	0	0	0	20520	57	0	0	0	0	0	0	0	0	0	1140	22
neos-1121679	6	62	12	50	0	0	6	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-1122047	57791	5100	5000	100	0	46045	0	9812	0	1	0	0	0	0	0	0	0	0	0	0	0	0
neos-1126860	36709	2565	2500	65	0	25476	0	4836	0	0	0	0	0	0	0	0	0	0	0	0	0	5
neos-1140050	3795	40320	1680	38640	0	0	1680	0	435	0	0	0	0	0	0	0	0	0	0	0	0	1680
neos-1151496	982	1549	1	1548	0	0	1	0	0	558	0	0	0	0	0	0	0	0	0	0	171	252
neos-1171448	13206	4914	2457	2457	0	2457	0	2685	0	315	0	0	0	2457	0	0	0	0	0	0	4977	0
neos-1171692	4239	1638	819	819	0	819	0	921	0	0	0	0	0	819	0	0	0	0	0	0	1659	0
neos-1171737	4179	2340	1170	1170	0	1170	0	1299	0	0	0	0	0	1170	0	0	0	0	0	0	540	0
neos-1173026	893	1314	1257	57	0	114	0	353	76	0	0	57	0	114	0	0	0	0	0	0	0	0
neos-1200887	633	234	117	117	0	114	0	165	0	0	0	0	0	117	0	0	0	0	0	0	237	0
neos-1208069	1150	2322	1	2321	0	0	1	0	0	610	0	0	0	0	0	0	0	0	0	0	218	321
neos-1208135	1040	2322	1	2321	0	0	1	0	0	500	0	0	0	0	0	0	0	0	0	0	218	321
neos-1211578	356	260	130	130	0	75	0	71	0	0	0	0	0	130	0	0	0	0	0	0	80	0
neos-1215259	1236	1601	1	1600	0	0	1	0	0	922	0	0	0	0	0	0	0	0	0	0	5	304
neos-1215891	6068	5035	0	5027	8	35	0	0	0	2040	203	0	0	0	0	0	0	0	0	0	1020	60
neos-1223462	5890	5495	0	5180	315	210	35	0	0	1221	475	0	0	0	0	0	0	0	0	0	3635	54
neos-1224597	3276	3395	0	3150	245	0	210	0	0	660	168	0	0	0	0	0	0	0	0	0	2020	28
neos-1225589	675	1300	650	650	0	0	0	0	25	0	0	0	0	625	0	0	0	0	0	0	0	0
neos-1228986	356	260	130	130	0	75	0	71	0	0	0	0	0	130	0	0	0	0	0	0	80	0
neos-1281048	522	739	0	739	0	0	0	0	0	270	0	0	0	0	0	0	0	0	0	0	72	153
neos-1311124	1643	1092	546	546	0	315	0	446	0	0	0	0	0	546	0	0	0	0	0	0	336	0
neos-1324574	5904	5256	0	5256	0	0	0	0	0	0	648	0	0	0	0	0	0	0	0	0	5184	72
neos-1330346	4248	2664	0	2664	0	0	0	0	0	0	324	0	0	0	0	0	0	0	0	0	3888	36
neos-1330635	2717	1736	84	1652	0	56	0	28	0	0	225	0	0	28	0	0	0	0	0	0	2352	28
neos-1337307	5687	2840	0	2840	0	0	0	0	0	1897	0	0	0	0	0	0	0	0	0	0	3664	126
neos-1337489	356	260	130	130	0	75	0	71	0	0	0	0	0	130	0	0	0	0	0	0	80	0
neos-1346382	796	520	260	260	0	190	0	186	0	0	0	0	0	260	0	0	0	0	0	0	160	0
neos-1354092	3135	13702	0	13282	420	826	420	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1889
neos-1367061	102750	36600	35625	625	350	0	0	875	625	0	0	0	0	100625	0	301	0	0	0	0	0	0
neos-1396125	1494	1161	1032	129	0	111	0	0	396	3	18	90	0	756	0	18	0	0	0	0	96	3
neos-1407044	6908	16604	0	14861	1743	3276	1701	0	0	0	42	0	0	0	0	0	0	0	0	0	0	1889
neos-1413153	2500	2451	1	2450	0	49	0	0	0	0	1	0	0	0	0	0	0	0	0	0	2401	49
neos-1415183	2809	2757	1	2756	0	52	0	0	0	1	0	0	0	0	0	0	0	0	0	0	2704	52
neos-1417043	3284	573315	573315	0	0	0	0	0	3284	0	0	0	0	0	0	0	0	0	0	0	0	0
neos-1420205	383	231	0	126	105	0	0	68	0	0	0	0	0	105	0	105	0	0	0	0	105	0
neos-1420546	12671	26055	24930	1125	0	63	12474	0	9	0	0	0	0	0	0	0	0	0	0	0	0	125
neos-1420790	2310	4926	4386	540	0	30	1956	0	234	0	0	0	0	0	0	0	0	0	0	0	0	90
neos-1423785	25721	21506	19586	1920	0	0	0	7838	14964	0	0	0	0	1772	0	0	0	0	0	0	0	960
neos-1425699	89	105	20	5	80	0	0	58	25	0	1	5	0	0	0	0	0	0	0	0	0	0
neos-1426635	796	520	260	260	0	190	0	186	0	0	0	0	0	260	0	0	0	0	0	0	160	0
neos-1426662	1914	832	416	416	0	240	0	650	0	0	0	0	0	416	0	0	0	0	0	0	608	0
neos-1427181	1786	832	416	416	0	240	0	650	0	48	0	0	0	416	0	0	0	0	0	0	432	0
neos-1427261	2226	1040	520	520	0	300	0	806	0	60	0	0	0	520	0	0	0	0	0	0	540	0
neos-1429185	1346	624	312	312	0	180	0	494	0	36	0	0	0	312	0	0	0	0	0	0	324	0
neos-1429212	58726	416040	361284	54756	0	1748	0	0	0	275	6912	0	0	0	0	36196	0	0	0	0	0	13567
neos-1429461	1096	520	260	260	0	150	0	416	0	0	0	0	0	260	0	0	0	0	0	0	270	0
neos-1430701	668	312	156	156	0	114	0	236	0	0	0	0	0	156	0	0	0	0	0	0	162	0
neos-1430811	73661	519704	446264	73440	0	2548	864	0	0	0	7110	0	0	0	0	48919	0	0	0	0	0	14220
neos-1436709	1417	676	338	338	0	195	0	533	0	0	0	0	0	338	0	0	0	0	0	0	351	0
neos-1436713	2666	1248	624	624	0	360	0	962	0	72	0	0	0	624	0	0	0	0	0	0	648	0
neos-1437164	187	2256	0	2256	0	0	0	0	0	48	0	0	0	0	0	0	46	0	0	0	45	47
neos-1439395	775	364	182	182	0	133	0	271	0	0	0	0	0	182	0	0	0	0	0	0	189	0
neos-1440225	330	1285	0	1285	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	330
neos-1440447	561	260	130	130	0	95	0	201	0	0	0	0	0	130	0	0	0	0	0	0	135	0
neos-1440457	1952	936	468	468	0	270	0	728	0	0	0	0	0	468	0	0	0	0	0	0	486	0
neos-1440460	989	468	234	234	0	135	0	377	0	0	0	0	0	234	0	0	0	0	0	0	243	0
neos-1441553	316	960	0	960	0	0	0	0	0	231	0	0	0	0	0	0	19	0	0	0	18	47
neos-1442119	1524	728	364	364	0	210	0	572	0	0	0	0	0	364	0	0	0	0	0	0	378	0
neos-1442657	1310	624	312	312	0	180	0	494	0	0	0	0	0	312	0	0	0	0	0	0	324	0
neos-1445532	1924	14406	12407	1999	0	1000	0	0	0	1	0	0	796	0	127	0	0	0	0	0	0	0
neos-1445738	2145	20631	18481	2150	0	0	0	0	0	1	0	0	2130	0	14	0	0	0	0	0	0	0
neos-1445743	2148	20344	18194	2150	0	0	0	0	0	1	0	0	2128	0	19	0	0	0	0	0	0	0
neos-1445755	2139	20516	18366	2150	0	0	0	0	0	1	0	0	2118	0	20	0	0	0	0	0	0	0
neos-1445765	2147	20617	18467	2150	0	0	0	0	0	1	0	0	2123	0	23	0	0	0	0	0	0	0
neos-1451294	1238	1626	128	1498	0	525	0	0	0	64	358	0	0	0	0	0	0	0	0	0	0	273
neos-1456979	6770	4605	180	4245	180	6195	0	0	0	5	180	0	0	0	0	175	0	0	0	0	5	35
neos-1460246	306	285	19	266	0	91	0	0	0	25	21	0	0	0	0	0	0	0	0	0	169	0
neos-1460265	1656	1728	104	1624	0	240	0	0	0	152	84	0	0	0	0	0	0	0	0	0	1100	0
neos-1460543	2012	1700	104	1596	0	600	0	0	0	148	84	0	0	0	0	0	0	0	0	0	1100	0
neos-1460641	1532	1641	45	1596	0	180	0	20	0	148	84	0	0	0	0	0	0	0	0	0	1100	0
neos-1461051	4370	528	80	448	0	640	0	20	0	3100	0	0	0	0	0	0	0	0	0	0	240	350
neos-1464762	1632	1721	45	1676	0	180	0	20	0	168	84	0	0	0	0	0	0	0	0	0	1100	80
neos-1467067	1084	1196	598	598	0	0	0	256	0	0	0	0	0	598	0	0	0	0	0	0	230	0
neos-1467371	1628	1693	45	1648	0	180	0	20	0	164	84	0	0	0	0	0	0	0	0	0	1100	80
neos-1467467	1644	1693	45	1648	0	180	0	36	0	164	84	0	0	0	0	0	0	0	0	0	1100	80
neos-1480121	363	222	152	70	0	70	0	152	0	0	0	0	0	70	0	70	0	0	0	0	0	0
neos-1489999	1046	534	2	532	0	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	996	48
neos-1516309	489	4500	0	4500	0	0	0	0	0	99	0	0	0	0	0	0	0	0	0	0	384	0
neos-1582420	10180	10100	0	10000	100	100	0	0	1	79	0	0	0	0	0	2307	0	0	0	0	0	0
neos-1593097	798	18460	260	18200	0	0	260	0	0	208	0	0	0	0	0	0	0	0	0	0	260	70
neos-1595230	1750	490	0	490	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1715	35
neos-1597104	109833	714	0	714	0	0	0	0	0	109000	45	0	0	0	0	0	0	0	0	0	124	0
neos-1599274	1237	4500	0	4500	0	0	0	0	0	97	0	0	0	0	0	0	0	0	0	0	1134	0
neos-1601936	3131	4446	540	3906	0	2445	102	0	0	5	0	0	0	0	0	0	0	0	0	0	0	579
neos-1603512	555	730	1	729	0	0	1	0	0	324	0	0	0	0	0	0	0	0	0	0	64	158
neos-1603518	880	1272	1	1271	0	0	1	0	0	528	0	0	0	0	0	0	0	0	0	0	90	241
neos-1603965	28984	15003	7004	7999	0	10992	0	7996	2000	3996	0	0	0	4000	0	0	0	0	0	0	0	0
neos-1605061	3474	4111	541	3570	0	2803	102	0	1	5	0	0	0	0	0	0	0	0	0	0	0	563
neos-1605075	3467	4173	540	3633	0	2803	102	0	0	5	189	0	0	0	0	0	0	0	0	0	0	368
neos-1616732	1999	200	0	200	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1999	0
neos-1620770	9296	792	0	792	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	9189	35
neos-1620807	1340	231	0	231	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1320	20
neos-1622252	9695	828	0	828	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	9660	35
prod1	280	250	101	149	0	82	0	0	1	81	0	0	0	0	0	0	1	0	0	0	0	7
prod2	211	301	101	200	0	86	0	0	1	86	0	0	0	0	0	0	0	0	0	0	0	10
qap10	1820	4150	0	4150	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1820
ramos3	2187	2187	0	2187	0	0	0	0	0	2187	0	0	0	0	0	0	0	0	0	0	0	0
ran14x18_1	284	504	252	252	0	0	0	0	32	0	0	0	0	252	0	0	0	0	0	0	0	0
ran14x18.disj-8	447	504	252	252	0	108	0	0	32	55	0	0	0	252	0	0	0	0	0	0	0	0
rlp1	68	461	11	450	0	45	0	8	0	0	8	0	0	0	0	0	0	0	0	0	0	0
roy	162	149	99	50	0	45	0	18	9	0	0	0	0	45	0	45	0	0	0	0	0	0
seymour.disj-10	5108	1209	0	1209	0	0	0	0	0	4830	0	0	0	0	0	0	0	0	0	0	278	0
sp97ic	2086	1662	0	718	944	408	0	318	0	4	0	0	0	638	0	0	0	0	0	0	718	0
sp98ar	4680	5478	0	2796	2682	1126	0	513	0	108	0	0	0	1933	0	0	0	0	0	0	1000	0
sp98ic	2311	2508	0	1139	1369	415	0	182	0	20	0	0	0	1123	0	0	0	0	0	0	571	0
sp98ir	1531	1680	0	871	809	236	0	92	0	42	0	0	0	688	0	0	0	0	0	0	473	0