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

	Name	Last modified	Size	Description
	Parent Directory		-
	ntalgo_1__l2_ntalgo_1	2017-01-13 19:13	23K
	ntalgo_1__l3_ntalgo_1	2017-01-13 19:13	39K
	ntalgo_1__l4_ntalgo_1	2017-01-13 19:13	41K
	ntalgo_1__l6_ntalgo_1	2017-01-13 19:13	71K
	ntalgo_1__l7_ntalgo_1	2017-01-13 19:13	48K
	ntalgo_1__l8_ntalgo_1	2017-01-13 19:13	50K
	ntalgo_1__l10_ntalgo_1	2017-01-13 19:13	52K
	ntalgo_1__l11_ntalgo_1	2017-01-13 19:13	55K
	ntalgo_1__l13_ntalgo_1	2017-01-13 19:13	68K
	ntalgo_1__l14_ntalgo_1	2017-01-13 19:13	46K
	ntalgo_1__l18_ntalgo_1	2017-01-13 19:13	51K
	ntalgo_1__l19_ntalgo_1	2017-01-13 19:13	20K
	ntalgo_1__l20_ntalgo_1	2017-01-13 19:13	70K
	ntalgo_1__l23_ntalgo_1	2017-01-13 19:13	70K
	ntalgo_1__l29_ntalgo_1	2017-01-13 19:13	52K
	ntalgo_1__l30_ntalgo_1	2017-01-13 19:13	154K
	ntalgo_1__l31_ntalgo_1	2017-01-13 19:13	65K
	ntalgo_1__l32_ntalgo_1	2017-01-13 19:13	63K
	ntalgo_1__l34_ntalgo_1	2017-01-13 19:13	55K
	ntalgo_1__s1_ntalgo_1	2017-01-13 19:13	47K
	ntalgo_1__t1_ntalgo_1	2017-01-13 19:13	20K
	ntalgo_1__t2_ntalgo_1	2017-01-13 19:13	77K
	ntalgo_1__t3_ntalgo_1	2017-01-13 19:13	35K
	ntalgo_1__t4_ntalgo_1	2017-01-13 19:13	40K
	ntalgo_1__t5_ntalgo_1	2017-01-13 19:13	36K
	ntalgo_1__t6_ntalgo_1	2017-01-13 19:13	100K
	ntalgo_1__t7_ntalgo_1	2017-01-13 19:13	29K
	ntalgo_1__t8_ntalgo_1	2017-01-13 19:13	52K
	ntalgo_1__t9_ntalgo_1	2017-01-13 19:13	18K
	ntalgo_1__t10_ntalgo_1	2017-01-13 19:13	20K
	ntalgo_1__t11_ntalgo_1	2017-01-13 19:13	183K
	ntalgo_1__t12_ntalgo_1	2017-01-13 19:13	84K
	ntalgo_1__t13_ntalgo_1	2017-01-13 19:13	36K
	ntalgo_1__t14_ntalgo_1	2017-01-13 19:13	105K
	ntalgo_1__t15_ntalgo_1	2017-01-13 19:13	159K