Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/fraenkel

	Name	Last modified	Size	Description
	Parent Directory		-
	fraenkel__s1_fraenkel	2017-01-12 22:13	9.6K
	fraenkel__s2_fraenkel	2017-01-12 22:13	10K
	fraenkel__s3_fraenkel	2017-01-12 22:13	10K
	fraenkel__s4_fraenkel	2017-01-12 22:13	11K
	fraenkel__s5_fraenkel	2017-01-12 22:13	9.9K
	fraenkel__s6_fraenkel	2017-01-12 22:13	9.9K
	fraenkel__s7_fraenkel	2017-01-12 22:13	10K
	fraenkel__s8_fraenkel	2017-01-12 22:13	12K
	fraenkel__s9_fraenkel	2017-01-12 22:13	21K
	fraenkel__s10_fraenkel	2017-01-12 22:13	9.3K
	fraenkel__s11_fraenkel	2017-01-12 22:13	4.7K
	fraenkel__s12_fraenkel	2017-01-12 22:13	4.7K
	fraenkel__s13_fraenkel	2017-01-12 22:13	10K
	fraenkel__s14_fraenkel	2017-01-12 22:13	5.0K
	fraenkel__s15_fraenkel	2017-01-12 22:13	5.7K
	fraenkel__s16_fraenkel	2017-01-12 22:13	10K
	fraenkel__s17_fraenkel	2017-01-12 22:13	9.5K
	fraenkel__s18_fraenkel	2017-01-12 22:13	4.9K
	fraenkel__s19_fraenkel	2017-01-12 22:13	10K
	fraenkel__s20_fraenkel	2017-01-12 22:13	2.3K
	fraenkel__s21_fraenkel	2017-01-12 22:13	15K
	fraenkel__s22_fraenkel	2017-01-12 22:13	24K
	fraenkel__s23_fraenkel	2017-01-12 22:13	15K
	fraenkel__s24_fraenkel	2017-01-12 22:13	11K
	fraenkel__s25_fraenkel	2017-01-12 22:13	34K
	fraenkel__s26_fraenkel	2017-01-12 22:13	18K
	fraenkel__s27_fraenkel	2017-01-12 22:13	19K
	fraenkel__s28_fraenkel	2017-01-12 22:13	19K
	fraenkel__t1_fraenkel	2017-01-12 22:13	18K
	fraenkel__t2_fraenkel	2017-01-12 22:13	16K
	fraenkel__t3_fraenkel	2017-01-12 22:13	16K
	fraenkel__t4_fraenkel	2017-01-12 22:13	27K
	fraenkel__t5_fraenkel	2017-01-12 22:13	25K
	fraenkel__t6_fraenkel	2017-01-12 22:13	966