Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/prgcor_1

	Name	Last modified	Size	Description
	Parent Directory		-
	prgcor_1__t1_prgcor_1	2013-09-04 12:32	19K
	prgcor_1__t2_prgcor_1	2013-09-04 12:32	117K
	prgcor_1__t3_prgcor_1	2013-09-04 12:32	24K
	prgcor_1__t4_prgcor_1	2013-09-04 12:32	32K
	prgcor_1__t5_prgcor_1	2013-09-04 12:32	24K
	prgcor_1__t6_prgcor_1	2013-09-04 12:32	26K
	prgcor_1__t7_prgcor_1	2013-09-04 12:32	13K
	prgcor_1__t8_prgcor_1	2013-09-04 12:32	82K
	prgcor_1__t9_prgcor_1	2013-09-04 12:32	137K
	prgcor_1__t10_prgcor_1	2013-09-04 12:32	8.9K
	prgcor_1__t11_prgcor_1	2013-09-04 12:32	34K
	prgcor_1__t12_prgcor_1	2013-09-04 12:32	29K