Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/taxonom1

	Name	Last modified	Size	Description
	Parent Directory		-
	taxonom1__l11_taxonom1	2013-09-04 12:13	14K
	taxonom1__l28_taxonom1	2013-09-04 12:13	21K
	taxonom1__t1_taxonom1	2013-09-04 12:13	20K
	taxonom1__t2_taxonom1	2013-09-04 12:13	19K
	taxonom1__t3_taxonom1	2013-09-04 12:13	16K
	taxonom1__t4_taxonom1	2013-09-04 12:13	16K
	taxonom1__t5_taxonom1	2013-09-04 12:13	15K
	taxonom1__t6_taxonom1	2013-09-04 12:13	15K
	taxonom1__t7_taxonom1	2013-09-04 12:13	41K
	taxonom1__t8_taxonom1	2013-09-04 12:13	16K
	taxonom1__t9_taxonom1	2013-09-04 12:13	15K
	taxonom1__t10_taxonom1	2013-09-04 12:13	23K
	taxonom1__t11_taxonom1	2013-09-04 12:13	16K
	taxonom1__t12_taxonom1	2013-09-04 12:13	14K
	taxonom1__t13_taxonom1	2013-09-04 12:13	17K
	taxonom1__t14_taxonom1	2013-09-04 12:13	18K
	taxonom1__t15_taxonom1	2013-09-04 12:13	18K
	taxonom1__t16_taxonom1	2013-09-04 12:13	21K
	taxonom1__t17_taxonom1	2013-09-04 12:13	20K
	taxonom1__t18_taxonom1	2013-09-04 12:13	22K
	taxonom1__t19_taxonom1	2013-09-04 12:13	20K
	taxonom1__t20_taxonom1	2013-09-04 12:13	21K
	taxonom1__t21_taxonom1	2013-09-04 12:13	21K
	taxonom1__t22_taxonom1	2013-09-04 12:13	21K
	taxonom1__t23_taxonom1	2013-09-04 12:13	28K
	taxonom1__t24_taxonom1	2013-09-04 12:13	20K
	taxonom1__t25_taxonom1	2013-09-04 12:13	20K
	taxonom1__t26_taxonom1	2013-09-04 12:13	23K
	taxonom1__t27_taxonom1	2013-09-04 12:13	27K
	taxonom1__t28_taxonom1	2013-09-04 12:13	24K
	taxonom1__t29_taxonom1	2013-09-04 12:13	19K
	taxonom1__t30_taxonom1	2013-09-04 12:13	29K
	taxonom1__t31_taxonom1	2013-09-04 12:13	22K
	taxonom1__t32_taxonom1	2013-09-04 12:13	19K
	taxonom1__t33_taxonom1	2013-09-04 12:13	27K
	taxonom1__t34_taxonom1	2013-09-04 12:13	23K
	taxonom1__t35_taxonom1	2013-09-04 12:13	24K
	taxonom1__t36_taxonom1	2013-09-04 12:13	31K
	taxonom1__t37_taxonom1	2013-09-04 12:13	27K
	taxonom1__t38_taxonom1	2013-09-04 12:13	23K
	taxonom1__t39_taxonom1	2013-09-04 12:13	23K
	taxonom1__t40_taxonom1	2013-09-04 12:13	25K
	taxonom1__t41_taxonom1	2013-09-04 12:13	29K
	taxonom1__t42_taxonom1	2013-09-04 12:13	20K
	taxonom1__t43_taxonom1	2013-09-04 12:13	30K