Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/waybel13

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel13__l26_waybel13	2017-01-13 19:11	72K
	waybel13__l28_waybel13	2017-01-13 19:11	53K
	waybel13__l29_waybel13	2017-01-13 19:11	53K
	waybel13__l30_waybel13	2017-01-13 19:11	53K
	waybel13__l37_waybel13	2017-01-13 19:11	53K
	waybel13__t1_waybel13	2017-01-13 19:11	27K
	waybel13__t2_waybel13	2017-01-13 19:11	36K
	waybel13__t3_waybel13	2017-01-13 19:11	15K
	waybel13__t4_waybel13	2017-01-13 19:11	28K
	waybel13__t5_waybel13	2017-01-13 19:11	37K
	waybel13__t6_waybel13	2017-01-13 19:11	50K
	waybel13__t7_waybel13	2017-01-13 19:11	84K
	waybel13__t8_waybel13	2017-01-13 19:11	62K
	waybel13__t9_waybel13	2017-01-13 19:11	49K
	waybel13__t10_waybel13	2017-01-13 19:11	50K
	waybel13__t11_waybel13	2017-01-13 19:11	57K
	waybel13__t12_waybel13	2017-01-13 19:11	36K
	waybel13__t13_waybel13	2017-01-13 19:11	52K
	waybel13__t14_waybel13	2017-01-13 19:11	54K
	waybel13__t15_waybel13	2017-01-13 19:11	38K
	waybel13__t16_waybel13	2017-01-13 19:11	56K
	waybel13__t17_waybel13	2017-01-13 19:11	44K
	waybel13__t18_waybel13	2017-01-13 19:11	34K
	waybel13__t19_waybel13	2017-01-13 19:11	34K
	waybel13__t20_waybel13	2017-01-13 19:11	37K
	waybel13__t21_waybel13	2017-01-13 19:11	33K
	waybel13__t22_waybel13	2017-01-13 19:11	34K
	waybel13__t23_waybel13	2017-01-13 19:11	43K
	waybel13__t24_waybel13	2017-01-13 19:11	63K
	waybel13__t25_waybel13	2017-01-13 19:11	61K
	waybel13__t26_waybel13	2017-01-13 19:11	30K
	waybel13__t27_waybel13	2017-01-13 19:11	43K
	waybel13__t28_waybel13	2017-01-13 19:11	36K
	waybel13__t29_waybel13	2017-01-13 19:11	49K
	waybel13__t30_waybel13	2017-01-13 19:11	51K
	waybel13__t31_waybel13	2017-01-13 19:11	48K
	waybel13__t32_waybel13	2017-01-13 19:11	53K
	waybel13__t33_waybel13	2017-01-13 19:11	46K
	waybel13__t34_waybel13	2017-01-13 19:11	53K
	waybel13__t35_waybel13	2017-01-13 19:11	53K