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

	Name	Last modified	Size	Description
	Parent Directory		-
	convex1__l9_convex1	2013-09-04 12:05	25K
	convex1__l10_convex1	2013-09-04 12:05	28K
	convex1__l11_convex1	2013-09-04 12:05	18K
	convex1__l12_convex1	2013-09-04 12:05	27K
	convex1__l13_convex1	2013-09-04 12:05	28K
	convex1__l20_convex1	2013-09-04 12:05	25K
	convex1__l21_convex1	2013-09-04 12:05	25K
	convex1__l22_convex1	2013-09-04 12:05	16K
	convex1__l23_convex1	2013-09-04 12:05	18K
	convex1__l24_convex1	2013-09-04 12:05	55K
	convex1__l37_convex1	2013-09-04 12:05	42K
	convex1__l38_convex1	2013-09-04 12:05	52K
	convex1__l39_convex1	2013-09-04 12:05	24K
	convex1__l40_convex1	2013-09-04 12:05	45K
	convex1__l41_convex1	2013-09-04 12:05	85K
	convex1__t1_convex1	2013-09-04 12:05	34K
	convex1__t2_convex1	2013-09-04 12:05	34K
	convex1__t3_convex1	2013-09-04 12:05	35K
	convex1__t4_convex1	2013-09-04 12:05	33K
	convex1__t5_convex1	2013-09-04 12:05	34K
	convex1__t6_convex1	2013-09-04 12:05	37K
	convex1__t7_convex1	2013-09-04 12:05	37K
	convex1__t8_convex1	2013-09-04 12:05	37K
	convex1__t9_convex1	2013-09-04 12:05	34K
	convex1__t10_convex1	2013-09-04 12:05	28K
	convex1__t11_convex1	2013-09-04 12:05	38K
	convex1__t12_convex1	2013-09-04 12:05	29K
	convex1__t13_convex1	2013-09-04 12:05	32K
	convex1__t14_convex1	2013-09-04 12:05	27K
	convex1__t15_convex1	2013-09-04 12:05	31K
	convex1__t16_convex1	2013-09-04 12:05	33K
	convex1__t17_convex1	2013-09-04 12:05	42K
	convex1__t18_convex1	2013-09-04 12:05	42K
	convex1__t19_convex1	2013-09-04 12:05	42K
	convex1__t20_convex1	2013-09-04 12:05	42K
	convex1__t21_convex1	2013-09-04 12:05	34K
	convex1__t22_convex1	2013-09-04 12:05	35K
	convex1__t23_convex1	2013-09-04 12:05	26K
	convex1__t24_convex1	2013-09-04 12:05	30K
	convex1__t25_convex1	2013-09-04 12:05	47K
	convex1__t26_convex1	2013-09-04 12:05	50K
	convex1__t27_convex1	2013-09-04 12:05	29K
	convex1__t28_convex1	2013-09-04 12:05	34K
	convex1__t29_convex1	2013-09-04 12:05	34K
	convex1__t30_convex1	2013-09-04 12:05	16K
	convex1__t31_convex1	2013-09-04 12:05	18K
	convex1__t32_convex1	2013-09-04 12:05	25K
	convex1__t33_convex1	2013-09-04 12:05	25K
	convex1__t34_convex1	2013-09-04 12:05	27K
	convex1__t35_convex1	2013-09-04 12:05	16K
	convex1__t36_convex1	2013-09-04 12:05	15K
	convex1__t37_convex1	2013-09-04 12:05	27K
	convex1__t38_convex1	2013-09-04 12:05	26K
	convex1__t39_convex1	2013-09-04 12:05	25K
	convex1__t40_convex1	2013-09-04 12:05	15K
	convex1__t41_convex1	2013-09-04 12:05	18K