Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/waybel14

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel14__l2_waybel14	2017-01-12 22:14	17K
	waybel14__l26_waybel14	2017-01-12 22:14	64K
	waybel14__t1_waybel14	2017-01-12 22:14	27K
	waybel14__t2_waybel14	2017-01-12 22:14	17K
	waybel14__t3_waybel14	2017-01-12 22:14	30K
	waybel14__t4_waybel14	2017-01-12 22:14	30K
	waybel14__t5_waybel14	2017-01-12 22:14	27K
	waybel14__t6_waybel14	2017-01-12 22:14	27K
	waybel14__t7_waybel14	2017-01-12 22:14	40K
	waybel14__t8_waybel14	2017-01-12 22:14	41K
	waybel14__t9_waybel14	2017-01-12 22:14	39K
	waybel14__t10_waybel14	2017-01-12 22:14	25K
	waybel14__t11_waybel14	2017-01-12 22:14	25K
	waybel14__t12_waybel14	2017-01-12 22:14	50K
	waybel14__t13_waybel14	2017-01-12 22:14	50K
	waybel14__t14_waybel14	2017-01-12 22:14	50K
	waybel14__t15_waybel14	2017-01-12 22:14	41K
	waybel14__t16_waybel14	2017-01-12 22:14	40K
	waybel14__t17_waybel14	2017-01-12 22:14	68K
	waybel14__t18_waybel14	2017-01-12 22:14	60K
	waybel14__t19_waybel14	2017-01-12 22:14	57K
	waybel14__t20_waybel14	2017-01-12 22:14	56K
	waybel14__t21_waybel14	2017-01-12 22:14	44K
	waybel14__t22_waybel14	2017-01-12 22:14	47K
	waybel14__t23_waybel14	2017-01-12 22:14	46K
	waybel14__t24_waybel14	2017-01-12 22:14	40K
	waybel14__t25_waybel14	2017-01-12 22:14	59K
	waybel14__t26_waybel14	2017-01-12 22:14	43K
	waybel14__t27_waybel14	2017-01-12 22:14	84K
	waybel14__t28_waybel14	2017-01-12 22:14	67K
	waybel14__t29_waybel14	2017-01-12 22:14	100K
	waybel14__t30_waybel14	2017-01-12 22:14	103K
	waybel14__t31_waybel14	2017-01-12 22:14	79K
	waybel14__t32_waybel14	2017-01-12 22:14	70K
	waybel14__t33_waybel14	2017-01-12 22:14	52K
	waybel14__t34_waybel14	2017-01-12 22:14	57K
	waybel14__t35_waybel14	2017-01-12 22:14	47K
	waybel14__t36_waybel14	2017-01-12 22:14	67K
	waybel14__t37_waybel14	2017-01-12 22:14	77K
	waybel14__t38_waybel14	2017-01-12 22:14	47K
	waybel14__t39_waybel14	2017-01-12 22:14	61K
	waybel14__t40_waybel14	2017-01-12 22:14	50K
	waybel14__t41_waybel14	2017-01-12 22:14	50K
	waybel14__t42_waybel14	2017-01-12 22:14	72K
	waybel14__t43_waybel14	2017-01-12 22:14	69K
	waybel14__t44_waybel14	2017-01-12 22:14	89K
	waybel14__t45_waybel14	2017-01-12 22:14	73K