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

	Name	Last modified	Size	Description
	Parent Directory		-
	weierstr__l15_weierstr	2013-09-04 12:29	23K
	weierstr__l31_weierstr	2013-09-04 12:29	15K
	weierstr__t1_weierstr	2013-09-04 12:29	39K
	weierstr__t2_weierstr	2013-09-04 12:29	32K
	weierstr__t3_weierstr	2013-09-04 12:29	35K
	weierstr__t4_weierstr	2013-09-04 12:29	20K
	weierstr__t5_weierstr	2013-09-04 12:29	24K
	weierstr__t6_weierstr	2013-09-04 12:29	24K
	weierstr__t7_weierstr	2013-09-04 12:29	28K
	weierstr__t8_weierstr	2013-09-04 12:29	26K
	weierstr__t9_weierstr	2013-09-04 12:29	19K
	weierstr__t10_weierstr	2013-09-04 12:29	24K
	weierstr__t11_weierstr	2013-09-04 12:29	37K
	weierstr__t12_weierstr	2013-09-04 12:29	41K
	weierstr__t13_weierstr	2013-09-04 12:29	23K
	weierstr__t14_weierstr	2013-09-04 12:29	22K
	weierstr__t15_weierstr	2013-09-04 12:29	22K
	weierstr__t16_weierstr	2013-09-04 12:29	36K
	weierstr__t17_weierstr	2013-09-04 12:29	24K
	weierstr__t18_weierstr	2013-09-04 12:29	24K
	weierstr__t19_weierstr	2013-09-04 12:29	32K
	weierstr__t20_weierstr	2013-09-04 12:29	35K
	weierstr__t21_weierstr	2013-09-04 12:29	29K
	weierstr__t22_weierstr	2013-09-04 12:29	34K
	weierstr__t23_weierstr	2013-09-04 12:29	29K
	weierstr__t24_weierstr	2013-09-04 12:29	40K
	weierstr__t25_weierstr	2013-09-04 12:29	24K
	weierstr__t26_weierstr	2013-09-04 12:29	24K
	weierstr__t27_weierstr	2013-09-04 12:29	40K
	weierstr__t28_weierstr	2013-09-04 12:29	24K
	weierstr__t29_weierstr	2013-09-04 12:29	24K
	weierstr__t30_weierstr	2013-09-04 12:29	27K
	weierstr__t31_weierstr	2013-09-04 12:29	28K
	weierstr__t32_weierstr	2013-09-04 12:29	28K
	weierstr__t33_weierstr	2013-09-04 12:29	27K
	weierstr__t34_weierstr	2013-09-04 12:29	37K