Index of /~mptp/mml5.63.1382/MPTP2/problems_small/prgcor_1

	Name	Last modified	Size	Description
	Parent Directory		-
	prgcor_1__t12_prgcor_1.vout	2021-07-25 18:50	7.3K
	prgcor_1__t12_prgcor_1	2021-07-17 22:17	29K
	prgcor_1__t11_prgcor_1.vout	2021-07-25 20:53	2.0K
	prgcor_1__t11_prgcor_1	2021-07-17 22:17	35K
	prgcor_1__t10_prgcor_1.vout	2021-07-25 14:49	25K
	prgcor_1__t10_prgcor_1.vmin1out	2021-07-25 21:02	13K
	prgcor_1__t10_prgcor_1.vmin1	2021-07-25 20:57	1.3K
	prgcor_1__t10_prgcor_1.depvmin1	2021-07-25 21:03	199
	prgcor_1__t10_prgcor_1.depv1	2021-07-25 20:57	199
	prgcor_1__t10_prgcor_1	2021-07-17 22:17	9.4K
	prgcor_1__t9_prgcor_1.vout	2021-07-25 17:59	7.3K
	prgcor_1__t9_prgcor_1	2021-07-17 22:16	149K
	prgcor_1__t8_prgcor_1.vout	2021-07-25 14:44	7.3K
	prgcor_1__t8_prgcor_1	2021-07-17 22:16	88K
	prgcor_1__t7_prgcor_1.vout	2021-07-25 20:35	2.0K
	prgcor_1__t7_prgcor_1	2021-07-17 22:15	15K
	prgcor_1__t6_prgcor_1.vout	2021-07-25 15:15	2.0K
	prgcor_1__t6_prgcor_1	2021-07-17 22:15	26K
	prgcor_1__t5_prgcor_1.vout	2021-07-25 20:48	7.3K
	prgcor_1__t5_prgcor_1	2021-07-17 22:15	25K
	prgcor_1__t4_prgcor_1.vout	2021-07-25 19:38	7.3K
	prgcor_1__t4_prgcor_1	2021-07-17 22:14	32K
	prgcor_1__t3_prgcor_1.vout	2021-07-25 20:32	7.3K
	prgcor_1__t3_prgcor_1	2021-07-17 22:14	25K
	prgcor_1__t2_prgcor_1.vout	2021-07-25 16:23	7.3K
	prgcor_1__t2_prgcor_1	2021-07-17 22:14	127K
	prgcor_1__t1_prgcor_1.vout	2021-07-25 14:26	2.0K
	prgcor_1__t1_prgcor_1	2021-07-17 22:13	20K