Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/fraenkel

	Name	Last modified	Size	Description
	Parent Directory		-
	fraenkel__t6_fraenkel	2021-07-19 02:00	914
	fraenkel__s20_fraenkel	2021-07-19 02:05	2.3K
	fraenkel__s11_fraenkel	2021-07-19 02:03	5.0K
	fraenkel__s12_fraenkel	2021-07-19 02:03	5.0K
	fraenkel__s14_fraenkel	2021-07-19 02:04	5.3K
	fraenkel__s15_fraenkel	2021-07-19 02:04	5.9K
	fraenkel__s18_fraenkel	2021-07-19 02:04	6.3K
	fraenkel__s10_fraenkel	2021-07-19 02:03	9.9K
	fraenkel__s17_fraenkel	2021-07-19 02:04	10K
	fraenkel__s1_fraenkel	2021-07-19 02:01	10K
	fraenkel__s5_fraenkel	2021-07-19 02:02	10K
	fraenkel__s6_fraenkel	2021-07-19 02:02	10K
	fraenkel__s2_fraenkel	2021-07-19 02:01	10K
	fraenkel__s7_fraenkel	2021-07-19 02:02	11K
	fraenkel__s16_fraenkel	2021-07-19 02:04	11K
	fraenkel__s3_fraenkel	2021-07-19 02:01	11K
	fraenkel__s19_fraenkel	2021-07-19 02:05	11K
	fraenkel__s13_fraenkel	2021-07-19 02:03	11K
	fraenkel__s4_fraenkel	2021-07-19 02:01	11K
	fraenkel__s24_fraenkel	2021-07-19 02:06	12K
	fraenkel__s8_fraenkel	2021-07-19 02:02	12K
	fraenkel__s21_fraenkel	2021-07-19 02:05	15K
	fraenkel__s23_fraenkel	2021-07-19 02:06	15K
	fraenkel__t2_fraenkel	2021-07-19 02:08	17K
	fraenkel__t3_fraenkel	2021-07-19 02:08	17K
	fraenkel__s26_fraenkel	2021-07-19 02:07	18K
	fraenkel__t1_fraenkel	2021-07-19 02:07	19K
	fraenkel__s28_fraenkel	2021-07-19 02:07	19K
	fraenkel__s27_fraenkel	2021-07-19 02:07	19K
	fraenkel__s9_fraenkel	2021-07-19 02:03	21K
	fraenkel__s22_fraenkel	2021-07-19 02:05	23K
	fraenkel__t5_fraenkel	2021-07-19 02:08	26K
	fraenkel__t4_fraenkel	2021-07-19 02:08	27K
	fraenkel__s25_fraenkel	2021-07-19 02:06	34K