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

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_1__l33_altcat_1	2013-09-04 12:57	35K
	altcat_1__t1_altcat_1	2013-09-04 12:57	15K
	altcat_1__t2_altcat_1	2013-09-04 12:57	17K
	altcat_1__t3_altcat_1	2013-09-04 12:57	14K
	altcat_1__t4_altcat_1	2013-09-04 12:57	12K
	altcat_1__t5_altcat_1	2013-09-04 12:57	20K
	altcat_1__t6_altcat_1	2013-09-04 12:57	20K
	altcat_1__t7_altcat_1	2013-09-04 12:57	19K
	altcat_1__t8_altcat_1	2013-09-04 12:57	17K
	altcat_1__t9_altcat_1	2013-09-04 12:57	19K
	altcat_1__t10_altcat_1	2013-09-04 12:57	19K
	altcat_1__t11_altcat_1	2013-09-04 12:57	22K
	altcat_1__t12_altcat_1	2013-09-04 12:57	23K
	altcat_1__t13_altcat_1	2013-09-04 12:57	28K
	altcat_1__t14_altcat_1	2013-09-04 12:57	25K
	altcat_1__t15_altcat_1	2013-09-04 12:57	26K
	altcat_1__t16_altcat_1	2013-09-04 12:57	34K
	altcat_1__t17_altcat_1	2013-09-04 12:57	27K
	altcat_1__t18_altcat_1	2013-09-04 12:57	24K
	altcat_1__t19_altcat_1	2013-09-04 12:57	21K
	altcat_1__t20_altcat_1	2013-09-04 12:57	26K
	altcat_1__t21_altcat_1	2013-09-04 12:57	26K
	altcat_1__t22_altcat_1	2013-09-04 12:57	21K
	altcat_1__t23_altcat_1	2013-09-04 12:57	26K
	altcat_1__t24_altcat_1	2013-09-04 12:57	25K
	altcat_1__t25_altcat_1	2013-09-04 12:57	28K