Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/diff_1

	Name	Last modified	Size	Description
	Parent Directory		-
	diff_1__l49_diff_1	2013-09-04 12:26	24K
	diff_1__l50_diff_1	2013-09-04 12:26	53K
	diff_1__t1_diff_1	2013-09-04 12:26	46K
	diff_1__t2_diff_1	2013-09-04 12:26	41K
	diff_1__t3_diff_1	2013-09-04 12:26	41K
	diff_1__t4_diff_1	2013-09-04 12:26	42K
	diff_1__t5_diff_1	2013-09-04 12:26	51K
	diff_1__t6_diff_1	2013-09-04 12:26	52K
	diff_1__t7_diff_1	2013-09-04 12:26	54K
	diff_1__t8_diff_1	2013-09-04 12:26	55K
	diff_1__t9_diff_1	2013-09-04 12:26	57K
	diff_1__t10_diff_1	2013-09-04 12:26	34K
	diff_1__t11_diff_1	2013-09-04 12:26	46K
	diff_1__t12_diff_1	2013-09-04 12:26	41K
	diff_1__t13_diff_1	2013-09-04 12:26	52K
	diff_1__t14_diff_1	2013-09-04 12:26	53K
	diff_1__t15_diff_1	2013-09-04 12:26	52K
	diff_1__t16_diff_1	2013-09-04 12:26	54K
	diff_1__t17_diff_1	2013-09-04 12:26	34K
	diff_1__t18_diff_1	2013-09-04 12:26	46K
	diff_1__t19_diff_1	2013-09-04 12:26	49K
	diff_1__t20_diff_1	2013-09-04 12:26	60K
	diff_1__t21_diff_1	2013-09-04 12:26	90K
	diff_1__t22_diff_1	2013-09-04 12:26	91K
	diff_1__t23_diff_1	2013-09-04 12:26	93K
	diff_1__t24_diff_1	2013-09-04 12:26	34K
	diff_1__t25_diff_1	2013-09-04 12:26	58K
	diff_1__t26_diff_1	2013-09-04 12:26	52K
	diff_1__t27_diff_1	2013-09-04 12:26	116K
	diff_1__t28_diff_1	2013-09-04 12:26	116K
	diff_1__t29_diff_1	2013-09-04 12:26	23K
	diff_1__t30_diff_1	2013-09-04 12:26	28K
	diff_1__t31_diff_1	2013-09-04 12:26	30K
	diff_1__t32_diff_1	2013-09-04 12:26	32K
	diff_1__t33_diff_1	2013-09-04 12:26	37K
	diff_1__t34_diff_1	2013-09-04 12:26	39K
	diff_1__t35_diff_1	2013-09-04 12:26	23K
	diff_1__t36_diff_1	2013-09-04 12:26	45K
	diff_1__t37_diff_1	2013-09-04 12:26	74K
	diff_1__t38_diff_1	2013-09-04 12:26	46K
	diff_1__t39_diff_1	2013-09-04 12:26	58K