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

	Name	Last modified	Size	Description
	Parent Directory		-
	hausdorf__l20_hausdorf	2013-09-04 12:22	23K
	hausdorf__t1_hausdorf	2013-09-04 12:22	7.8K
	hausdorf__t2_hausdorf	2013-09-04 12:22	24K
	hausdorf__t3_hausdorf	2013-09-04 12:22	25K
	hausdorf__t4_hausdorf	2013-09-04 12:22	27K
	hausdorf__t5_hausdorf	2013-09-04 12:22	27K
	hausdorf__t6_hausdorf	2013-09-04 12:22	17K
	hausdorf__t7_hausdorf	2013-09-04 12:22	30K
	hausdorf__t8_hausdorf	2013-09-04 12:22	25K
	hausdorf__t9_hausdorf	2013-09-04 12:22	23K
	hausdorf__t10_hausdorf	2013-09-04 12:22	13K
	hausdorf__t11_hausdorf	2013-09-04 12:22	13K
	hausdorf__t12_hausdorf	2013-09-04 12:22	24K
	hausdorf__t13_hausdorf	2013-09-04 12:22	30K
	hausdorf__t14_hausdorf	2013-09-04 12:22	27K
	hausdorf__t15_hausdorf	2013-09-04 12:22	25K
	hausdorf__t16_hausdorf	2013-09-04 12:22	25K
	hausdorf__t17_hausdorf	2013-09-04 12:22	22K
	hausdorf__t18_hausdorf	2013-09-04 12:22	27K
	hausdorf__t19_hausdorf	2013-09-04 12:22	23K
	hausdorf__t20_hausdorf	2013-09-04 12:22	31K
	hausdorf__t21_hausdorf	2013-09-04 12:22	24K
	hausdorf__t22_hausdorf	2013-09-04 12:22	25K
	hausdorf__t23_hausdorf	2013-09-04 12:22	29K
	hausdorf__t24_hausdorf	2013-09-04 12:22	26K
	hausdorf__t25_hausdorf	2013-09-04 12:22	26K
	hausdorf__t26_hausdorf	2013-09-04 12:22	25K
	hausdorf__t27_hausdorf	2013-09-04 12:22	26K
	hausdorf__t28_hausdorf	2013-09-04 12:22	17K
	hausdorf__t29_hausdorf	2013-09-04 12:22	26K
	hausdorf__t30_hausdorf	2013-09-04 12:22	17K
	hausdorf__t31_hausdorf	2013-09-04 12:22	29K
	hausdorf__t32_hausdorf	2013-09-04 12:22	26K
	hausdorf__t33_hausdorf	2013-09-04 12:22	33K
	hausdorf__t34_hausdorf	2013-09-04 12:22	33K
	hausdorf__t35_hausdorf	2013-09-04 12:22	18K
	hausdorf__t36_hausdorf	2013-09-04 12:22	18K
	hausdorf__t37_hausdorf	2013-09-04 12:22	34K
	hausdorf__t38_hausdorf	2013-09-04 12:22	18K
	hausdorf__t39_hausdorf	2013-09-04 12:22	32K
	hausdorf__t40_hausdorf	2013-09-04 12:22	31K
	hausdorf__t41_hausdorf	2013-09-04 12:22	32K
	hausdorf__t42_hausdorf	2013-09-04 12:22	33K