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

	Name	Last modified	Size	Description
	Parent Directory		-
	cat_2__l27_cat_2	2013-09-04 12:41	28K
	cat_2__l28_cat_2	2013-09-04 12:41	31K
	cat_2__t5_cat_2	2013-09-04 12:41	16K
	cat_2__t6_cat_2	2013-09-04 12:41	17K
	cat_2__t7_cat_2	2013-09-04 12:41	17K
	cat_2__t8_cat_2	2013-09-04 12:41	8.1K
	cat_2__t9_cat_2	2013-09-04 12:41	18K
	cat_2__t10_cat_2	2013-09-04 12:41	17K
	cat_2__t11_cat_2	2013-09-04 12:41	21K
	cat_2__t12_cat_2	2013-09-04 12:41	17K
	cat_2__t13_cat_2	2013-09-04 12:41	25K
	cat_2__t14_cat_2	2013-09-04 12:41	21K
	cat_2__t15_cat_2	2013-09-04 12:41	17K
	cat_2__t16_cat_2	2013-09-04 12:41	18K
	cat_2__t17_cat_2	2013-09-04 12:41	23K
	cat_2__t18_cat_2	2013-09-04 12:41	18K
	cat_2__t19_cat_2	2013-09-04 12:41	17K
	cat_2__t20_cat_2	2013-09-04 12:41	25K
	cat_2__t21_cat_2	2013-09-04 12:41	23K
	cat_2__t22_cat_2	2013-09-04 12:41	32K
	cat_2__t23_cat_2	2013-09-04 12:41	20K
	cat_2__t25_cat_2	2013-09-04 12:41	22K
	cat_2__t27_cat_2	2013-09-04 12:41	22K
	cat_2__t28_cat_2	2013-09-04 12:41	23K
	cat_2__t29_cat_2	2013-09-04 12:41	24K
	cat_2__t30_cat_2	2013-09-04 12:41	23K
	cat_2__t31_cat_2	2013-09-04 12:41	27K
	cat_2__t32_cat_2	2013-09-04 12:41	25K
	cat_2__t33_cat_2	2013-09-04 12:41	24K
	cat_2__t34_cat_2	2013-09-04 12:41	37K
	cat_2__t35_cat_2	2013-09-04 12:41	37K
	cat_2__t36_cat_2	2013-09-04 12:41	30K
	cat_2__t37_cat_2	2013-09-04 12:41	30K
	cat_2__t38_cat_2	2013-09-04 12:41	30K
	cat_2__t39_cat_2	2013-09-04 12:41	30K
	cat_2__t40_cat_2	2013-09-04 12:41	43K
	cat_2__t41_cat_2	2013-09-04 12:41	42K
	cat_2__t44_cat_2	2013-09-04 12:41	27K
	cat_2__t45_cat_2	2013-09-04 12:41	27K
	cat_2__t47_cat_2	2013-09-04 12:41	27K
	cat_2__t48_cat_2	2013-09-04 12:41	26K
	cat_2__t50_cat_2	2013-09-04 12:41	29K