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

	Name	Last modified	Size	Description
	Parent Directory		-
	nfcont_1__t1_nfcont_1	2013-09-04 12:31	22K
	nfcont_1__t2_nfcont_1	2013-09-04 12:31	23K
	nfcont_1__t3_nfcont_1	2013-09-04 12:31	14K
	nfcont_1__t4_nfcont_1	2013-09-04 12:31	15K
	nfcont_1__t5_nfcont_1	2013-09-04 12:31	21K
	nfcont_1__t6_nfcont_1	2013-09-04 12:31	21K
	nfcont_1__t7_nfcont_1	2013-09-04 12:31	39K
	nfcont_1__t8_nfcont_1	2013-09-04 12:31	44K
	nfcont_1__t9_nfcont_1	2013-09-04 12:31	31K
	nfcont_1__t10_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t11_nfcont_1	2013-09-04 12:31	24K
	nfcont_1__t12_nfcont_1	2013-09-04 12:31	36K
	nfcont_1__t13_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t14_nfcont_1	2013-09-04 12:31	33K
	nfcont_1__t15_nfcont_1	2013-09-04 12:31	38K
	nfcont_1__t16_nfcont_1	2013-09-04 12:31	29K
	nfcont_1__t17_nfcont_1	2013-09-04 12:31	35K
	nfcont_1__t18_nfcont_1	2013-09-04 12:31	32K
	nfcont_1__t19_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t20_nfcont_1	2013-09-04 12:31	30K
	nfcont_1__t21_nfcont_1	2013-09-04 12:31	22K
	nfcont_1__t22_nfcont_1	2013-09-04 12:31	22K
	nfcont_1__t23_nfcont_1	2013-09-04 12:31	31K
	nfcont_1__t24_nfcont_1	2013-09-04 12:31	35K
	nfcont_1__t25_nfcont_1	2013-09-04 12:31	38K
	nfcont_1__t26_nfcont_1	2013-09-04 12:31	20K
	nfcont_1__t27_nfcont_1	2013-09-04 12:31	29K
	nfcont_1__t28_nfcont_1	2013-09-04 12:31	43K
	nfcont_1__t29_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t30_nfcont_1	2013-09-04 12:31	35K
	nfcont_1__t31_nfcont_1	2013-09-04 12:31	36K
	nfcont_1__t32_nfcont_1	2013-09-04 12:31	25K
	nfcont_1__t33_nfcont_1	2013-09-04 12:31	21K
	nfcont_1__t34_nfcont_1	2013-09-04 12:31	24K
	nfcont_1__t35_nfcont_1	2013-09-04 12:31	26K
	nfcont_1__t36_nfcont_1	2013-09-04 12:31	32K
	nfcont_1__t37_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t38_nfcont_1	2013-09-04 12:31	21K
	nfcont_1__t39_nfcont_1	2013-09-04 12:31	45K
	nfcont_1__t40_nfcont_1	2013-09-04 12:31	38K
	nfcont_1__t41_nfcont_1	2013-09-04 12:31	39K
	nfcont_1__t42_nfcont_1	2013-09-04 12:31	31K
	nfcont_1__t43_nfcont_1	2013-09-04 12:31	30K
	nfcont_1__t44_nfcont_1	2013-09-04 12:31	32K
	nfcont_1__t45_nfcont_1	2013-09-04 12:31	38K
	nfcont_1__t46_nfcont_1	2013-09-04 12:31	47K
	nfcont_1__t47_nfcont_1	2013-09-04 12:31	27K
	nfcont_1__t48_nfcont_1	2013-09-04 12:31	21K
	nfcont_1__t49_nfcont_1	2013-09-04 12:31	22K
	nfcont_1__t50_nfcont_1	2013-09-04 12:31	20K
	nfcont_1__t51_nfcont_1	2013-09-04 12:31	34K
	nfcont_1__t52_nfcont_1	2013-09-04 12:31	50K
	nfcont_1__t53_nfcont_1	2013-09-04 12:31	26K
	nfcont_1__t54_nfcont_1	2013-09-04 12:31	23K