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

	Name	Last modified	Size	Description
	Parent Directory		-
	yellow13__l16_yellow13	2013-09-04 12:44	15K
	yellow13__l17_yellow13	2013-09-04 12:44	13K
	yellow13__l18_yellow13	2013-09-04 12:44	15K
	yellow13__l26_yellow13	2013-09-04 12:44	12K
	yellow13__l27_yellow13	2013-09-04 12:44	11K
	yellow13__t1_yellow13	2013-09-04 12:44	21K
	yellow13__t2_yellow13	2013-09-04 12:44	20K
	yellow13__t3_yellow13	2013-09-04 12:44	22K
	yellow13__t4_yellow13	2013-09-04 12:44	22K
	yellow13__t5_yellow13	2013-09-04 12:44	19K
	yellow13__t6_yellow13	2013-09-04 12:44	15K
	yellow13__t7_yellow13	2013-09-04 12:44	28K
	yellow13__t8_yellow13	2013-09-04 12:44	29K
	yellow13__t9_yellow13	2013-09-04 12:44	28K
	yellow13__t10_yellow13	2013-09-04 12:44	39K
	yellow13__t11_yellow13	2013-09-04 12:44	30K
	yellow13__t12_yellow13	2013-09-04 12:44	23K
	yellow13__t13_yellow13	2013-09-04 12:44	24K
	yellow13__t14_yellow13	2013-09-04 12:44	21K
	yellow13__t15_yellow13	2013-09-04 12:44	23K
	yellow13__t16_yellow13	2013-09-04 12:44	15K
	yellow13__t17_yellow13	2013-09-04 12:44	15K
	yellow13__t18_yellow13	2013-09-04 12:44	11K
	yellow13__t19_yellow13	2013-09-04 12:44	22K
	yellow13__t20_yellow13	2013-09-04 12:44	12K
	yellow13__t21_yellow13	2013-09-04 12:44	25K
	yellow13__t22_yellow13	2013-09-04 12:44	23K
	yellow13__t23_yellow13	2013-09-04 12:44	23K
	yellow13__t24_yellow13	2013-09-04 12:44	11K
	yellow13__t25_yellow13	2013-09-04 12:44	21K
	yellow13__t26_yellow13	2013-09-04 12:44	26K
	yellow13__t27_yellow13	2013-09-04 12:44	17K
	yellow13__t28_yellow13	2013-09-04 12:44	45K