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

	Name	Last modified	Size	Description
	Parent Directory		-
	yellow20__t1_yellow20	2013-09-04 12:34	30K
	yellow20__t2_yellow20	2013-09-04 12:34	33K
	yellow20__t3_yellow20	2013-09-04 12:34	35K
	yellow20__t4_yellow20	2013-09-04 12:34	26K
	yellow20__t5_yellow20	2013-09-04 12:34	27K
	yellow20__t6_yellow20	2013-09-04 12:34	33K
	yellow20__t7_yellow20	2013-09-04 12:34	37K
	yellow20__t8_yellow20	2013-09-04 12:34	33K
	yellow20__t9_yellow20	2013-09-04 12:34	37K
	yellow20__t10_yellow20	2013-09-04 12:34	13K
	yellow20__t11_yellow20	2013-09-04 12:34	27K
	yellow20__t12_yellow20	2013-09-04 12:34	22K
	yellow20__t13_yellow20	2013-09-04 12:34	13K
	yellow20__t14_yellow20	2013-09-04 12:34	11K
	yellow20__t15_yellow20	2013-09-04 12:34	12K
	yellow20__t16_yellow20	2013-09-04 12:34	18K
	yellow20__t17_yellow20	2013-09-04 12:34	18K
	yellow20__t18_yellow20	2013-09-04 12:34	19K
	yellow20__t19_yellow20	2013-09-04 12:34	5.8K
	yellow20__t20_yellow20	2013-09-04 12:34	17K
	yellow20__t21_yellow20	2013-09-04 12:34	20K
	yellow20__t22_yellow20	2013-09-04 12:34	25K
	yellow20__t23_yellow20	2013-09-04 12:34	13K
	yellow20__t24_yellow20	2013-09-04 12:34	16K
	yellow20__t25_yellow20	2013-09-04 12:34	20K
	yellow20__t26_yellow20	2013-09-04 12:34	24K
	yellow20__t27_yellow20	2013-09-04 12:34	32K
	yellow20__t28_yellow20	2013-09-04 12:34	31K
	yellow20__t29_yellow20	2013-09-04 12:34	34K
	yellow20__t30_yellow20	2013-09-04 12:34	37K
	yellow20__t31_yellow20	2013-09-04 12:34	20K
	yellow20__t32_yellow20	2013-09-04 12:34	26K
	yellow20__t33_yellow20	2013-09-04 12:34	37K
	yellow20__t34_yellow20	2013-09-04 12:34	23K
	yellow20__t35_yellow20	2013-09-04 12:34	26K
	yellow20__t36_yellow20	2013-09-04 12:34	39K
	yellow20__t37_yellow20	2013-09-04 12:34	27K
	yellow20__t38_yellow20	2013-09-04 12:34	27K
	yellow20__t39_yellow20	2013-09-04 12:34	37K
	yellow20__t40_yellow20	2013-09-04 12:34	37K
	yellow20__t41_yellow20	2013-09-04 12:34	30K
	yellow20__t42_yellow20	2013-09-04 12:34	29K
	yellow20__t43_yellow20	2013-09-04 12:34	32K
	yellow20__t44_yellow20	2013-09-04 12:34	9.8K
	yellow20__t45_yellow20	2013-09-04 12:34	11K
	yellow20__t46_yellow20	2013-09-04 12:34	17K
	yellow20__t47_yellow20	2013-09-04 12:34	27K
	yellow20__t48_yellow20	2013-09-04 12:34	28K
	yellow20__t49_yellow20	2013-09-04 12:34	37K
	yellow20__t50_yellow20	2013-09-04 12:34	37K
	yellow20__t51_yellow20	2013-09-04 12:34	37K
	yellow20__t52_yellow20	2013-09-04 12:34	36K
	yellow20__t53_yellow20	2013-09-04 12:34	42K
	yellow20__t54_yellow20	2013-09-04 12:34	43K
	yellow20__t55_yellow20	2013-09-04 12:34	43K
	yellow20__t56_yellow20	2013-09-04 12:34	52K
	yellow20__t57_yellow20	2013-09-04 12:34	56K