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

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel13__l26_waybel13	2017-01-13 00:34	113K
	waybel13__l28_waybel13	2017-01-13 00:34	87K
	waybel13__l29_waybel13	2017-01-13 00:34	87K
	waybel13__l30_waybel13	2017-01-13 00:34	83K
	waybel13__l37_waybel13	2017-01-13 00:34	87K
	waybel13__t1_waybel13	2017-01-13 00:34	45K
	waybel13__t2_waybel13	2017-01-13 00:34	59K
	waybel13__t3_waybel13	2017-01-13 00:34	22K
	waybel13__t4_waybel13	2017-01-13 00:34	47K
	waybel13__t5_waybel13	2017-01-13 00:34	61K
	waybel13__t6_waybel13	2017-01-13 00:34	81K
	waybel13__t7_waybel13	2017-01-13 00:34	133K
	waybel13__t8_waybel13	2017-01-13 00:34	97K
	waybel13__t9_waybel13	2017-01-13 00:34	77K
	waybel13__t10_waybel13	2017-01-13 00:34	81K
	waybel13__t11_waybel13	2017-01-13 00:34	93K
	waybel13__t12_waybel13	2017-01-13 00:34	59K
	waybel13__t13_waybel13	2017-01-13 00:34	83K
	waybel13__t14_waybel13	2017-01-13 00:34	85K
	waybel13__t15_waybel13	2017-01-13 00:34	62K
	waybel13__t16_waybel13	2017-01-13 00:34	89K
	waybel13__t17_waybel13	2017-01-13 00:34	72K
	waybel13__t18_waybel13	2017-01-13 00:34	52K
	waybel13__t19_waybel13	2017-01-13 00:34	52K
	waybel13__t20_waybel13	2017-01-13 00:34	55K
	waybel13__t21_waybel13	2017-01-13 00:34	51K
	waybel13__t22_waybel13	2017-01-13 00:34	52K
	waybel13__t23_waybel13	2017-01-13 00:34	71K
	waybel13__t24_waybel13	2017-01-13 00:34	102K
	waybel13__t25_waybel13	2017-01-13 00:34	96K
	waybel13__t26_waybel13	2017-01-13 00:34	44K
	waybel13__t27_waybel13	2017-01-13 00:34	70K
	waybel13__t28_waybel13	2017-01-13 00:34	59K
	waybel13__t29_waybel13	2017-01-13 00:34	78K
	waybel13__t30_waybel13	2017-01-13 00:34	80K
	waybel13__t31_waybel13	2017-01-13 00:34	77K
	waybel13__t32_waybel13	2017-01-13 00:34	84K
	waybel13__t33_waybel13	2017-01-13 00:34	74K
	waybel13__t34_waybel13	2017-01-13 00:34	86K
	waybel13__t35_waybel13	2017-01-13 00:34	87K