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

	Name	Last modified	Size	Description
	Parent Directory		-
	yellow12__l1_yellow12	2013-09-04 12:29	9.5K
	yellow12__t1_yellow12	2013-09-04 12:29	7.9K
	yellow12__t2_yellow12	2013-09-04 12:29	6.8K
	yellow12__t3_yellow12	2013-09-04 12:29	7.7K
	yellow12__t4_yellow12	2013-09-04 12:29	11K
	yellow12__t5_yellow12	2013-09-04 12:29	8.5K
	yellow12__t6_yellow12	2013-09-04 12:29	9.2K
	yellow12__t7_yellow12	2013-09-04 12:29	7.7K
	yellow12__t8_yellow12	2013-09-04 12:29	8.6K
	yellow12__t9_yellow12	2013-09-04 12:29	18K
	yellow12__t10_yellow12	2013-09-04 12:29	18K
	yellow12__t11_yellow12	2013-09-04 12:29	20K
	yellow12__t12_yellow12	2013-09-04 12:29	20K
	yellow12__t13_yellow12	2013-09-04 12:29	20K
	yellow12__t14_yellow12	2013-09-04 12:29	21K
	yellow12__t15_yellow12	2013-09-04 12:29	21K
	yellow12__t16_yellow12	2013-09-04 12:29	6.4K
	yellow12__t17_yellow12	2013-09-04 12:29	10K
	yellow12__t18_yellow12	2013-09-04 12:29	10K
	yellow12__t19_yellow12	2013-09-04 12:29	17K
	yellow12__t20_yellow12	2013-09-04 12:29	16K
	yellow12__t21_yellow12	2013-09-04 12:29	12K
	yellow12__t22_yellow12	2013-09-04 12:29	21K
	yellow12__t23_yellow12	2013-09-04 12:29	14K
	yellow12__t24_yellow12	2013-09-04 12:29	30K
	yellow12__t25_yellow12	2013-09-04 12:29	29K
	yellow12__t26_yellow12	2013-09-04 12:29	21K
	yellow12__t27_yellow12	2013-09-04 12:29	21K
	yellow12__t28_yellow12	2013-09-04 12:29	5.0K
	yellow12__t29_yellow12	2013-09-04 12:29	5.0K
	yellow12__t30_yellow12	2013-09-04 12:29	16K
	yellow12__t31_yellow12	2013-09-04 12:29	16K
	yellow12__t32_yellow12	2013-09-04 12:29	8.3K
	yellow12__t33_yellow12	2013-09-04 12:29	8.8K
	yellow12__t34_yellow12	2013-09-04 12:29	12K
	yellow12__t35_yellow12	2013-09-04 12:29	11K
	yellow12__t36_yellow12	2013-09-04 12:29	15K
	yellow12__t37_yellow12	2013-09-04 12:29	20K
	yellow12__t38_yellow12	2013-09-04 12:29	26K
	yellow12__t39_yellow12	2013-09-04 12:29	25K
	yellow12__t40_yellow12	2013-09-04 12:29	25K
	yellow12__t41_yellow12	2013-09-04 12:29	23K
	yellow12__t42_yellow12	2013-09-04 12:29	20K
	yellow12__t43_yellow12	2013-09-04 12:29	26K
	yellow12__t44_yellow12	2013-09-04 12:29	20K
	yellow12__t45_yellow12	2013-09-04 12:29	23K
	yellow12__t46_yellow12	2013-09-04 12:29	32K
	yellow12__t47_yellow12	2013-09-04 12:29	14K
	yellow12__t48_yellow12	2013-09-04 12:29	26K
	yellow12__t49_yellow12	2013-09-04 12:29	26K
	yellow12__t50_yellow12	2013-09-04 12:29	15K