Index of /~mptp/1147/MPTP2/problems_small_consist/grcat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	grcat_1__l67_grcat_1	2013-09-04 12:33	31K
	grcat_1__l68_grcat_1	2013-09-04 12:33	42K
	grcat_1__t1_grcat_1	2013-09-04 12:33	3.3K
	grcat_1__t2_grcat_1	2013-09-04 12:33	6.4K
	grcat_1__t3_grcat_1	2013-09-04 12:33	8.3K
	grcat_1__t4_grcat_1	2013-09-04 12:33	19K
	grcat_1__t5_grcat_1	2013-09-04 12:33	25K
	grcat_1__t6_grcat_1	2013-09-04 12:33	20K
	grcat_1__t7_grcat_1	2013-09-04 12:33	13K
	grcat_1__t8_grcat_1	2013-09-04 12:33	17K
	grcat_1__t9_grcat_1	2013-09-04 12:33	14K
	grcat_1__t10_grcat_1	2013-09-04 12:33	16K
	grcat_1__t11_grcat_1	2013-09-04 12:33	17K
	grcat_1__t12_grcat_1	2013-09-04 12:33	15K
	grcat_1__t13_grcat_1	2013-09-04 12:33	15K
	grcat_1__t14_grcat_1	2013-09-04 12:33	6.5K
	grcat_1__t15_grcat_1	2013-09-04 12:33	15K
	grcat_1__t16_grcat_1	2013-09-04 12:33	7.1K
	grcat_1__t17_grcat_1	2013-09-04 12:33	19K
	grcat_1__t18_grcat_1	2013-09-04 12:33	19K
	grcat_1__t19_grcat_1	2013-09-04 12:33	19K
	grcat_1__t20_grcat_1	2013-09-04 12:33	16K
	grcat_1__t21_grcat_1	2013-09-04 12:33	18K
	grcat_1__t22_grcat_1	2013-09-04 12:33	17K
	grcat_1__t23_grcat_1	2013-09-04 12:33	23K
	grcat_1__t24_grcat_1	2013-09-04 12:33	13K
	grcat_1__t25_grcat_1	2013-09-04 12:33	15K
	grcat_1__t26_grcat_1	2013-09-04 12:33	15K
	grcat_1__t27_grcat_1	2013-09-04 12:33	16K
	grcat_1__t28_grcat_1	2013-09-04 12:33	21K
	grcat_1__t29_grcat_1	2013-09-04 12:33	16K
	grcat_1__t30_grcat_1	2013-09-04 12:33	16K
	grcat_1__t31_grcat_1	2013-09-04 12:33	20K
	grcat_1__t32_grcat_1	2013-09-04 12:33	21K
	grcat_1__t33_grcat_1	2013-09-04 12:33	29K
	grcat_1__t34_grcat_1	2013-09-04 12:33	27K
	grcat_1__t36_grcat_1	2013-09-04 12:33	31K
	grcat_1__t37_grcat_1	2013-09-04 12:33	24K
	grcat_1__t38_grcat_1	2013-09-04 12:33	32K
	grcat_1__t39_grcat_1	2013-09-04 12:33	34K
	grcat_1__t40_grcat_1	2013-09-04 12:33	35K
	grcat_1__t41_grcat_1	2013-09-04 12:33	17K
	grcat_1__t42_grcat_1	2013-09-04 12:33	36K