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

	Name	Last modified	Size	Description
	Parent Directory		-
	rewrite2__t1_rewrite2	2013-09-04 12:10	21K
	rewrite2__t2_rewrite2	2013-09-04 12:10	30K
	rewrite2__t3_rewrite2	2013-09-04 12:10	31K
	rewrite2__t4_rewrite2	2013-09-04 12:10	27K
	rewrite2__t5_rewrite2	2013-09-04 12:10	20K
	rewrite2__t6_rewrite2	2013-09-04 12:10	22K
	rewrite2__t7_rewrite2	2013-09-04 12:10	19K
	rewrite2__t8_rewrite2	2013-09-04 12:10	19K
	rewrite2__t9_rewrite2	2013-09-04 12:10	35K
	rewrite2__t10_rewrite2	2013-09-04 12:10	19K
	rewrite2__t11_rewrite2	2013-09-04 12:10	16K
	rewrite2__t12_rewrite2	2013-09-04 12:10	16K
	rewrite2__t13_rewrite2	2013-09-04 12:10	16K
	rewrite2__t14_rewrite2	2013-09-04 12:10	16K
	rewrite2__t15_rewrite2	2013-09-04 12:10	16K
	rewrite2__t16_rewrite2	2013-09-04 12:10	17K
	rewrite2__t17_rewrite2	2013-09-04 12:10	16K
	rewrite2__t18_rewrite2	2013-09-04 12:10	16K
	rewrite2__t19_rewrite2	2013-09-04 12:10	17K
	rewrite2__t20_rewrite2	2013-09-04 12:10	17K
	rewrite2__t21_rewrite2	2013-09-04 12:10	19K
	rewrite2__t22_rewrite2	2013-09-04 12:10	17K
	rewrite2__t23_rewrite2	2013-09-04 12:10	34K
	rewrite2__t24_rewrite2	2013-09-04 12:10	20K
	rewrite2__t25_rewrite2	2013-09-04 12:10	18K
	rewrite2__t26_rewrite2	2013-09-04 12:10	17K
	rewrite2__t27_rewrite2	2013-09-04 12:10	23K
	rewrite2__t28_rewrite2	2013-09-04 12:10	25K
	rewrite2__t29_rewrite2	2013-09-04 12:10	17K
	rewrite2__t30_rewrite2	2013-09-04 12:10	18K
	rewrite2__t31_rewrite2	2013-09-04 12:10	17K
	rewrite2__t32_rewrite2	2013-09-04 12:10	14K
	rewrite2__t33_rewrite2	2013-09-04 12:10	16K
	rewrite2__t34_rewrite2	2013-09-04 12:10	14K
	rewrite2__t35_rewrite2	2013-09-04 12:10	14K
	rewrite2__t36_rewrite2	2013-09-04 12:10	28K
	rewrite2__t37_rewrite2	2013-09-04 12:10	16K
	rewrite2__t38_rewrite2	2013-09-04 12:10	16K
	rewrite2__t39_rewrite2	2013-09-04 12:10	25K
	rewrite2__t40_rewrite2	2013-09-04 12:10	15K
	rewrite2__t41_rewrite2	2013-09-04 12:10	20K
	rewrite2__t42_rewrite2	2013-09-04 12:10	15K
	rewrite2__t43_rewrite2	2013-09-04 12:10	15K
	rewrite2__t44_rewrite2	2013-09-04 12:10	19K
	rewrite2__t45_rewrite2	2013-09-04 12:10	44K
	rewrite2__t46_rewrite2	2013-09-04 12:10	15K
	rewrite2__t47_rewrite2	2013-09-04 12:10	15K
	rewrite2__t48_rewrite2	2013-09-04 12:10	16K
	rewrite2__t49_rewrite2	2013-09-04 12:10	20K
	rewrite2__t50_rewrite2	2013-09-04 12:10	16K
	rewrite2__t51_rewrite2	2013-09-04 12:10	20K
	rewrite2__t52_rewrite2	2013-09-04 12:10	15K
	rewrite2__t53_rewrite2	2013-09-04 12:10	15K
	rewrite2__t54_rewrite2	2013-09-04 12:10	15K
	rewrite2__t55_rewrite2	2013-09-04 12:10	19K
	rewrite2__t56_rewrite2	2013-09-04 12:10	16K
	rewrite2__t57_rewrite2	2013-09-04 12:10	17K
	rewrite2__t58_rewrite2	2013-09-04 12:10	44K
	rewrite2__t59_rewrite2	2013-09-04 12:10	16K
	rewrite2__t60_rewrite2	2013-09-04 12:10	18K
	rewrite2__t61_rewrite2	2013-09-04 12:10	19K
	rewrite2__t62_rewrite2	2013-09-04 12:10	20K