Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/ntalgo_1

	Name	Last modified	Size	Description
	Parent Directory		-
	ntalgo_1__l2_ntalgo_1	2017-01-13 00:44	35K
	ntalgo_1__l3_ntalgo_1	2017-01-13 00:44	61K
	ntalgo_1__l4_ntalgo_1	2017-01-13 00:44	63K
	ntalgo_1__l6_ntalgo_1	2017-01-13 00:44	97K
	ntalgo_1__l7_ntalgo_1	2017-01-13 00:44	74K
	ntalgo_1__l8_ntalgo_1	2017-01-13 00:44	75K
	ntalgo_1__l10_ntalgo_1	2017-01-13 00:44	79K
	ntalgo_1__l11_ntalgo_1	2017-01-13 00:44	83K
	ntalgo_1__l13_ntalgo_1	2017-01-13 00:44	92K
	ntalgo_1__l14_ntalgo_1	2017-01-13 00:44	71K
	ntalgo_1__l18_ntalgo_1	2017-01-13 00:44	76K
	ntalgo_1__l19_ntalgo_1	2017-01-13 00:44	30K
	ntalgo_1__l20_ntalgo_1	2017-01-13 00:44	95K
	ntalgo_1__l23_ntalgo_1	2017-01-13 00:44	88K
	ntalgo_1__l29_ntalgo_1	2017-01-13 00:44	67K
	ntalgo_1__l30_ntalgo_1	2017-01-13 00:44	177K
	ntalgo_1__l31_ntalgo_1	2017-01-13 00:44	93K
	ntalgo_1__l32_ntalgo_1	2017-01-13 00:44	90K
	ntalgo_1__l34_ntalgo_1	2017-01-13 00:44	71K
	ntalgo_1__s1_ntalgo_1	2017-01-13 00:44	72K
	ntalgo_1__t1_ntalgo_1	2017-01-13 00:44	31K
	ntalgo_1__t2_ntalgo_1	2017-01-13 00:44	103K
	ntalgo_1__t3_ntalgo_1	2017-01-13 00:44	51K
	ntalgo_1__t4_ntalgo_1	2017-01-13 00:44	58K
	ntalgo_1__t5_ntalgo_1	2017-01-13 00:44	50K
	ntalgo_1__t6_ntalgo_1	2017-01-13 00:44	131K
	ntalgo_1__t7_ntalgo_1	2017-01-13 00:44	43K
	ntalgo_1__t8_ntalgo_1	2017-01-13 00:44	68K
	ntalgo_1__t9_ntalgo_1	2017-01-13 00:44	27K
	ntalgo_1__t10_ntalgo_1	2017-01-13 00:44	30K
	ntalgo_1__t11_ntalgo_1	2017-01-13 00:44	215K
	ntalgo_1__t12_ntalgo_1	2017-01-13 00:44	112K
	ntalgo_1__t13_ntalgo_1	2017-01-13 00:44	56K
	ntalgo_1__t14_ntalgo_1	2017-01-13 00:44	144K
	ntalgo_1__t15_ntalgo_1	2017-01-13 00:44	182K