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

	Name	Last modified	Size	Description
	Parent Directory		-
	diff_2__t1_diff_2	2013-09-04 12:06	31K
	diff_2__t2_diff_2	2013-09-04 12:06	45K
	diff_2__t3_diff_2	2013-09-04 12:06	31K
	diff_2__t4_diff_2	2013-09-04 12:06	110K
	diff_2__t5_diff_2	2013-09-04 12:06	25K
	diff_2__t6_diff_2	2013-09-04 12:06	27K
	diff_2__t7_diff_2	2013-09-04 12:06	43K
	diff_2__t8_diff_2	2013-09-04 12:06	26K
	diff_2__t9_diff_2	2013-09-04 12:06	28K
	diff_2__t10_diff_2	2013-09-04 12:06	44K
	diff_2__t11_diff_2	2013-09-04 12:06	27K
	diff_2__t12_diff_2	2013-09-04 12:06	29K
	diff_2__t13_diff_2	2013-09-04 12:06	45K
	diff_2__t14_diff_2	2013-09-04 12:06	28K
	diff_2__t15_diff_2	2013-09-04 12:06	30K
	diff_2__t16_diff_2	2013-09-04 12:06	46K
	diff_2__t17_diff_2	2013-09-04 12:06	35K
	diff_2__t18_diff_2	2013-09-04 12:06	37K
	diff_2__t19_diff_2	2013-09-04 12:06	37K
	diff_2__t20_diff_2	2013-09-04 12:06	24K
	diff_2__t21_diff_2	2013-09-04 12:06	34K
	diff_2__t22_diff_2	2013-09-04 12:06	23K
	diff_2__t23_diff_2	2013-09-04 12:06	24K
	diff_2__t24_diff_2	2013-09-04 12:06	29K
	diff_2__t25_diff_2	2013-09-04 12:06	31K
	diff_2__t26_diff_2	2013-09-04 12:06	67K
	diff_2__t27_diff_2	2013-09-04 12:06	34K
	diff_2__t28_diff_2	2013-09-04 12:06	35K
	diff_2__t29_diff_2	2013-09-04 12:06	28K
	diff_2__t30_diff_2	2013-09-04 12:06	29K
	diff_2__t31_diff_2	2013-09-04 12:06	38K
	diff_2__t32_diff_2	2013-09-04 12:06	38K
	diff_2__t33_diff_2	2013-09-04 12:06	104K
	diff_2__t34_diff_2	2013-09-04 12:06	34K
	diff_2__t35_diff_2	2013-09-04 12:06	36K
	diff_2__t36_diff_2	2013-09-04 12:06	36K
	diff_2__t37_diff_2	2013-09-04 12:06	37K
	diff_2__t38_diff_2	2013-09-04 12:06	27K
	diff_2__t39_diff_2	2013-09-04 12:06	26K
	diff_2__t40_diff_2	2013-09-04 12:06	104K
	diff_2__t41_diff_2	2013-09-04 12:06	29K
	diff_2__t42_diff_2	2013-09-04 12:06	39K
	diff_2__t43_diff_2	2013-09-04 12:06	67K
	diff_2__t44_diff_2	2013-09-04 12:06	105K
	diff_2__t45_diff_2	2013-09-04 12:06	30K
	diff_2__t46_diff_2	2013-09-04 12:06	104K
	diff_2__t47_diff_2	2013-09-04 12:06	104K
	diff_2__t48_diff_2	2013-09-04 12:06	105K
	diff_2__t49_diff_2	2013-09-04 12:06	40K
	diff_2__t50_diff_2	2013-09-04 12:06	74K
	diff_2__t51_diff_2	2013-09-04 12:06	74K
	diff_2__t52_diff_2	2013-09-04 12:06	74K
	diff_2__t53_diff_2	2013-09-04 12:06	40K
	diff_2__t54_diff_2	2013-09-04 12:06	74K
	diff_2__t55_diff_2	2013-09-04 12:06	74K
	diff_2__t56_diff_2	2013-09-04 12:06	74K
	diff_2__t57_diff_2	2013-09-04 12:06	39K
	diff_2__t58_diff_2	2013-09-04 12:06	73K
	diff_2__t59_diff_2	2013-09-04 12:06	73K
	diff_2__t60_diff_2	2013-09-04 12:06	73K
	diff_2__t61_diff_2	2013-09-04 12:06	106K
	diff_2__t62_diff_2	2013-09-04 12:06	199K
	diff_2__t63_diff_2	2013-09-04 12:06	131K
	diff_2__t64_diff_2	2013-09-04 12:06	131K
	diff_2__t65_diff_2	2013-09-04 12:06	106K
	diff_2__t66_diff_2	2013-09-04 12:06	198K
	diff_2__t67_diff_2	2013-09-04 12:06	271K
	diff_2__t68_diff_2	2013-09-04 12:06	218K
	diff_2__t69_diff_2	2013-09-04 12:06	33K
	diff_2__t70_diff_2	2013-09-04 12:06	40K
	diff_2__t71_diff_2	2013-09-04 12:06	37K
	diff_2__t72_diff_2	2013-09-04 12:06	70K