Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/waybel16

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel16__t1_waybel16	2017-01-12 22:14	30K
	waybel16__t2_waybel16	2017-01-12 22:14	30K
	waybel16__t3_waybel16	2017-01-12 22:14	20K
	waybel16__t4_waybel16	2017-01-12 22:14	20K
	waybel16__t5_waybel16	2017-01-12 22:14	44K
	waybel16__t6_waybel16	2017-01-12 22:14	44K
	waybel16__t7_waybel16	2017-01-12 22:14	38K
	waybel16__t8_waybel16	2017-01-12 22:14	38K
	waybel16__t9_waybel16	2017-01-12 22:14	37K
	waybel16__t10_waybel16	2017-01-12 22:14	38K
	waybel16__t11_waybel16	2017-01-12 22:14	34K
	waybel16__t12_waybel16	2017-01-12 22:14	35K
	waybel16__t13_waybel16	2017-01-12 22:14	36K
	waybel16__t14_waybel16	2017-01-12 22:14	38K
	waybel16__t15_waybel16	2017-01-12 22:14	37K
	waybel16__t16_waybel16	2017-01-12 22:14	39K
	waybel16__t17_waybel16	2017-01-12 22:14	34K
	waybel16__t18_waybel16	2017-01-12 22:14	36K
	waybel16__t19_waybel16	2017-01-12 22:14	16K
	waybel16__t20_waybel16	2017-01-12 22:14	36K
	waybel16__t21_waybel16	2017-01-12 22:14	29K
	waybel16__t22_waybel16	2017-01-12 22:14	35K
	waybel16__t23_waybel16	2017-01-12 22:14	26K
	waybel16__t24_waybel16	2017-01-12 22:14	34K
	waybel16__t25_waybel16	2017-01-12 22:14	29K
	waybel16__t26_waybel16	2017-01-12 22:14	35K
	waybel16__t27_waybel16	2017-01-12 22:14	11K
	waybel16__t28_waybel16	2017-01-12 22:14	24K
	waybel16__t29_waybel16	2017-01-12 22:14	72K
	waybel16__t30_waybel16	2017-01-12 22:14	65K
	waybel16__t31_waybel16	2017-01-12 22:14	48K
	waybel16__t32_waybel16	2017-01-12 22:14	27K
	waybel16__t33_waybel16	2017-01-12 22:14	28K
	waybel16__t34_waybel16	2017-01-12 22:14	32K
	waybel16__t35_waybel16	2017-01-12 22:14	49K
	waybel16__t36_waybel16	2017-01-12 22:14	39K