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

	Name	Last modified	Size	Description
	Parent Directory		-
	dilworth__t1_dilworth	2013-09-04 12:55	28K
	dilworth__t2_dilworth	2013-09-04 12:55	26K
	dilworth__t3_dilworth	2013-09-04 12:55	27K
	dilworth__t4_dilworth	2013-09-04 12:55	29K
	dilworth__t5_dilworth	2013-09-04 12:55	47K
	dilworth__t6_dilworth	2013-09-04 12:55	28K
	dilworth__t7_dilworth	2013-09-04 12:55	29K
	dilworth__t8_dilworth	2013-09-04 12:55	29K
	dilworth__t9_dilworth	2013-09-04 12:55	28K
	dilworth__t10_dilworth	2013-09-04 12:55	27K
	dilworth__t11_dilworth	2013-09-04 12:55	29K
	dilworth__t12_dilworth	2013-09-04 12:55	29K
	dilworth__t13_dilworth	2013-09-04 12:55	29K
	dilworth__t14_dilworth	2013-09-04 12:55	29K
	dilworth__t15_dilworth	2013-09-04 12:55	25K
	dilworth__t16_dilworth	2013-09-04 12:55	25K
	dilworth__t17_dilworth	2013-09-04 12:55	28K
	dilworth__t18_dilworth	2013-09-04 12:55	36K
	dilworth__t19_dilworth	2013-09-04 12:55	34K
	dilworth__t20_dilworth	2013-09-04 12:55	36K
	dilworth__t21_dilworth	2013-09-04 12:55	35K
	dilworth__t22_dilworth	2013-09-04 12:55	30K
	dilworth__t23_dilworth	2013-09-04 12:55	42K
	dilworth__t24_dilworth	2013-09-04 12:55	30K
	dilworth__t25_dilworth	2013-09-04 12:55	30K
	dilworth__t26_dilworth	2013-09-04 12:55	34K
	dilworth__t27_dilworth	2013-09-04 12:55	34K
	dilworth__t28_dilworth	2013-09-04 12:55	34K
	dilworth__t29_dilworth	2013-09-04 12:55	36K
	dilworth__t30_dilworth	2013-09-04 12:55	34K
	dilworth__t31_dilworth	2013-09-04 12:55	36K
	dilworth__t32_dilworth	2013-09-04 12:55	34K
	dilworth__t33_dilworth	2013-09-04 12:55	34K
	dilworth__t34_dilworth	2013-09-04 12:55	39K
	dilworth__t35_dilworth	2013-09-04 12:55	39K
	dilworth__t36_dilworth	2013-09-04 12:55	41K
	dilworth__t37_dilworth	2013-09-04 12:55	34K
	dilworth__t38_dilworth	2013-09-04 12:55	41K
	dilworth__t39_dilworth	2013-09-04 12:55	34K
	dilworth__t40_dilworth	2013-09-04 12:55	31K
	dilworth__t41_dilworth	2013-09-04 12:55	31K
	dilworth__t42_dilworth	2013-09-04 12:55	36K
	dilworth__t43_dilworth	2013-09-04 12:55	39K
	dilworth__t44_dilworth	2013-09-04 12:55	36K
	dilworth__t45_dilworth	2013-09-04 12:55	39K
	dilworth__t46_dilworth	2013-09-04 12:55	41K
	dilworth__t47_dilworth	2013-09-04 12:55	45K
	dilworth__t48_dilworth	2013-09-04 12:55	46K
	dilworth__t49_dilworth	2013-09-04 12:55	60K
	dilworth__t50_dilworth	2013-09-04 12:55	41K
	dilworth__t51_dilworth	2013-09-04 12:55	79K
	dilworth__t52_dilworth	2013-09-04 12:55	54K
	dilworth__t53_dilworth	2013-09-04 12:55	87K
	dilworth__t54_dilworth	2013-09-04 12:55	78K
	dilworth__t55_dilworth	2013-09-04 12:55	66K
	dilworth__t56_dilworth	2013-09-04 12:55	55K