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

	Name	Last modified	Size	Description
	Parent Directory		-
	fraenkel__s1_fraenkel	2017-01-13 00:27	14K
	fraenkel__s2_fraenkel	2017-01-13 00:27	14K
	fraenkel__s3_fraenkel	2017-01-13 00:27	14K
	fraenkel__s4_fraenkel	2017-01-13 00:27	15K
	fraenkel__s5_fraenkel	2017-01-13 00:27	14K
	fraenkel__s6_fraenkel	2017-01-13 00:27	14K
	fraenkel__s7_fraenkel	2017-01-13 00:27	14K
	fraenkel__s8_fraenkel	2017-01-13 00:27	16K
	fraenkel__s9_fraenkel	2017-01-13 00:27	30K
	fraenkel__s10_fraenkel	2017-01-13 00:27	13K
	fraenkel__s11_fraenkel	2017-01-13 00:27	6.4K
	fraenkel__s12_fraenkel	2017-01-13 00:27	6.4K
	fraenkel__s13_fraenkel	2017-01-13 00:27	15K
	fraenkel__s14_fraenkel	2017-01-13 00:27	6.7K
	fraenkel__s15_fraenkel	2017-01-13 00:27	7.6K
	fraenkel__s16_fraenkel	2017-01-13 00:27	14K
	fraenkel__s17_fraenkel	2017-01-13 00:27	13K
	fraenkel__s18_fraenkel	2017-01-13 00:27	6.4K
	fraenkel__s19_fraenkel	2017-01-13 00:27	14K
	fraenkel__s20_fraenkel	2017-01-13 00:27	2.7K
	fraenkel__s21_fraenkel	2017-01-13 00:27	21K
	fraenkel__s22_fraenkel	2017-01-13 00:27	34K
	fraenkel__s23_fraenkel	2017-01-13 00:27	21K
	fraenkel__s24_fraenkel	2017-01-13 00:27	16K
	fraenkel__s25_fraenkel	2017-01-13 00:27	48K
	fraenkel__s26_fraenkel	2017-01-13 00:27	26K
	fraenkel__s27_fraenkel	2017-01-13 00:27	27K
	fraenkel__s28_fraenkel	2017-01-13 00:27	27K
	fraenkel__t1_fraenkel	2017-01-13 00:27	27K
	fraenkel__t2_fraenkel	2017-01-13 00:27	24K
	fraenkel__t3_fraenkel	2017-01-13 00:27	24K
	fraenkel__t4_fraenkel	2017-01-13 00:27	39K
	fraenkel__t5_fraenkel	2017-01-13 00:27	36K
	fraenkel__t6_fraenkel	2017-01-13 00:27	1.3K