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

	Name	Last modified	Size	Description
	Parent Directory		-
	polyred__l1_polyred	2013-09-04 12:17	2.6K
	polyred__l2_polyred	2013-09-04 12:17	34K
	polyred__l3_polyred	2013-09-04 12:17	4.3K
	polyred__l4_polyred	2013-09-04 12:17	29K
	polyred__l5_polyred	2013-09-04 12:17	57K
	polyred__l6_polyred	2013-09-04 12:17	59K
	polyred__l12_polyred	2013-09-04 12:17	62K
	polyred__l14_polyred	2013-09-04 12:17	44K
	polyred__l22_polyred	2013-09-04 12:17	41K
	polyred__l23_polyred	2013-09-04 12:17	44K
	polyred__l35_polyred	2013-09-04 12:17	37K
	polyred__l41_polyred	2013-09-04 12:17	60K
	polyred__l46_polyred	2013-09-04 12:17	43K
	polyred__l47_polyred	2013-09-04 12:17	61K
	polyred__l48_polyred	2013-09-04 12:17	72K
	polyred__l50_polyred	2013-09-04 12:17	61K
	polyred__l65_polyred	2013-09-04 12:17	72K
	polyred__l74_polyred	2013-09-04 12:17	61K
	polyred__l89_polyred	2013-09-04 12:17	113K
	polyred__l91_polyred	2013-09-04 12:17	93K
	polyred__t1_polyred	2013-09-04 12:17	45K
	polyred__t2_polyred	2013-09-04 12:17	44K
	polyred__t3_polyred	2013-09-04 12:17	46K
	polyred__t4_polyred	2013-09-04 12:17	49K
	polyred__t5_polyred	2013-09-04 12:17	60K
	polyred__t6_polyred	2013-09-04 12:17	62K
	polyred__t7_polyred	2013-09-04 12:17	66K
	polyred__t8_polyred	2013-09-04 12:17	50K
	polyred__t9_polyred	2013-09-04 12:17	48K
	polyred__t10_polyred	2013-09-04 12:17	47K
	polyred__t11_polyred	2013-09-04 12:17	39K
	polyred__t12_polyred	2013-09-04 12:17	58K
	polyred__t13_polyred	2013-09-04 12:17	38K
	polyred__t14_polyred	2013-09-04 12:17	37K
	polyred__t15_polyred	2013-09-04 12:17	56K
	polyred__t16_polyred	2013-09-04 12:17	43K
	polyred__t17_polyred	2013-09-04 12:17	43K
	polyred__t18_polyred	2013-09-04 12:17	47K
	polyred__t19_polyred	2013-09-04 12:17	52K
	polyred__t20_polyred	2013-09-04 12:17	47K
	polyred__t21_polyred	2013-09-04 12:17	51K
	polyred__t22_polyred	2013-09-04 12:17	81K
	polyred__t23_polyred	2013-09-04 12:17	74K
	polyred__t24_polyred	2013-09-04 12:17	47K
	polyred__t25_polyred	2013-09-04 12:17	41K
	polyred__t26_polyred	2013-09-04 12:17	42K
	polyred__t27_polyred	2013-09-04 12:17	42K
	polyred__t28_polyred	2013-09-04 12:17	43K
	polyred__t29_polyred	2013-09-04 12:17	38K
	polyred__t30_polyred	2013-09-04 12:17	35K
	polyred__t31_polyred	2013-09-04 12:17	72K
	polyred__t32_polyred	2013-09-04 12:17	43K
	polyred__t33_polyred	2013-09-04 12:17	78K
	polyred__t34_polyred	2013-09-04 12:17	71K
	polyred__t35_polyred	2013-09-04 12:17	54K
	polyred__t36_polyred	2013-09-04 12:17	66K
	polyred__t37_polyred	2013-09-04 12:17	62K
	polyred__t38_polyred	2013-09-04 12:17	85K
	polyred__t39_polyred	2013-09-04 12:17	46K
	polyred__t40_polyred	2013-09-04 12:17	73K
	polyred__t41_polyred	2013-09-04 12:17	73K
	polyred__t42_polyred	2013-09-04 12:17	70K
	polyred__t43_polyred	2013-09-04 12:17	113K
	polyred__t44_polyred	2013-09-04 12:17	112K
	polyred__t45_polyred	2013-09-04 12:17	118K
	polyred__t46_polyred	2013-09-04 12:17	104K
	polyred__t47_polyred	2013-09-04 12:17	103K
	polyred__t48_polyred	2013-09-04 12:17	70K
	polyred__t49_polyred	2013-09-04 12:17	131K
	polyred__t50_polyred	2013-09-04 12:17	73K
	polyred__t51_polyred	2013-09-04 12:17	68K
	polyred__t52_polyred	2013-09-04 12:17	36K
	polyred__t53_polyred	2013-09-04 12:17	38K
	polyred__t54_polyred	2013-09-04 12:17	32K
	polyred__t55_polyred	2013-09-04 12:17	36K
	polyred__t56_polyred	2013-09-04 12:17	40K
	polyred__t57_polyred	2013-09-04 12:17	103K
	polyred__t58_polyred	2013-09-04 12:17	108K
	polyred__t59_polyred	2013-09-04 12:17	79K
	polyred__t60_polyred	2013-09-04 12:17	66K