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

	Name	Last modified	Size	Description
	Parent Directory		-
	diff_4__t1_diff_4	2013-09-04 12:05	47K
	diff_4__t2_diff_4	2013-09-04 12:05	29K
	diff_4__t3_diff_4	2013-09-04 12:05	37K
	diff_4__t4_diff_4	2013-09-04 12:05	63K
	diff_4__t5_diff_4	2013-09-04 12:05	59K
	diff_4__t6_diff_4	2013-09-04 12:05	77K
	diff_4__t7_diff_4	2013-09-04 12:05	127K
	diff_4__t8_diff_4	2013-09-04 12:05	164K
	diff_4__t9_diff_4	2013-09-04 12:05	164K
	diff_4__t10_diff_4	2013-09-04 12:05	145K
	diff_4__t11_diff_4	2013-09-04 12:05	293K
	diff_4__t12_diff_4	2013-09-04 12:05	293K
	diff_4__t13_diff_4	2013-09-04 12:05	294K
	diff_4__t14_diff_4	2013-09-04 12:05	145K
	diff_4__t15_diff_4	2013-09-04 12:05	188K
	diff_4__t16_diff_4	2013-09-04 12:05	188K
	diff_4__t17_diff_4	2013-09-04 12:06	189K
	diff_4__t18_diff_4	2013-09-04 12:06	166K
	diff_4__t19_diff_4	2013-09-04 12:06	292K
	diff_4__t20_diff_4	2013-09-04 12:06	292K
	diff_4__t21_diff_4	2013-09-04 12:06	293K
	diff_4__t22_diff_4	2013-09-04 12:06	73K
	diff_4__t23_diff_4	2013-09-04 12:06	85K
	diff_4__t24_diff_4	2013-09-04 12:06	85K
	diff_4__t25_diff_4	2013-09-04 12:06	92K
	diff_4__t26_diff_4	2013-09-04 12:06	73K
	diff_4__t27_diff_4	2013-09-04 12:06	85K
	diff_4__t28_diff_4	2013-09-04 12:06	85K
	diff_4__t29_diff_4	2013-09-04 12:06	92K
	diff_4__t30_diff_4	2013-09-04 12:05	60K
	diff_4__t31_diff_4	2013-09-04 12:06	90K
	diff_4__t32_diff_4	2013-09-04 12:06	90K
	diff_4__t33_diff_4	2013-09-04 12:06	127K
	diff_4__t34_diff_4	2013-09-04 12:06	44K
	diff_4__t35_diff_4	2013-09-04 12:06	62K
	diff_4__t36_diff_4	2013-09-04 12:06	76K
	diff_4__t37_diff_4	2013-09-04 12:06	63K
	diff_4__t38_diff_4	2013-09-04 12:06	62K
	diff_4__t39_diff_4	2013-09-04 12:06	73K
	diff_4__t40_diff_4	2013-09-04 12:06	64K
	diff_4__t41_diff_4	2013-09-04 12:06	73K
	diff_4__t42_diff_4	2013-09-04 12:06	63K
	diff_4__t43_diff_4	2013-09-04 12:06	76K
	diff_4__t44_diff_4	2013-09-04 12:06	62K
	diff_4__t45_diff_4	2013-09-04 12:06	63K
	diff_4__t46_diff_4	2013-09-04 12:06	73K
	diff_4__t47_diff_4	2013-09-04 12:06	63K
	diff_4__t48_diff_4	2013-09-04 12:06	72K
	diff_4__t49_diff_4	2013-09-04 12:06	75K
	diff_4__t50_diff_4	2013-09-04 12:06	105K
	diff_4__t51_diff_4	2013-09-04 12:06	97K
	diff_4__t52_diff_4	2013-09-04 12:06	97K
	diff_4__t53_diff_4	2013-09-04 12:06	78K
	diff_4__t54_diff_4	2013-09-04 12:06	76K
	diff_4__t55_diff_4	2013-09-04 12:06	112K
	diff_4__t56_diff_4	2013-09-04 12:06	106K
	diff_4__t57_diff_4	2013-09-04 12:06	90K
	diff_4__t58_diff_4	2013-09-04 12:06	90K
	diff_4__t59_diff_4	2013-09-04 12:06	120K
	diff_4__t60_diff_4	2013-09-04 12:06	106K
	diff_4__t61_diff_4	2013-09-04 12:06	90K
	diff_4__t62_diff_4	2013-09-04 12:06	90K
	diff_4__t63_diff_4	2013-09-04 12:06	120K