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

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_1__l4_amistd_1	2021-07-19 04:52	95K
	amistd_1__l10_amistd_1	2021-07-19 04:53	105K
	amistd_1__l13_amistd_1	2021-07-19 04:53	121K
	amistd_1__l18_amistd_1	2021-07-19 04:54	126K
	amistd_1__l19_amistd_1	2021-07-19 04:55	101K
	amistd_1__l30_amistd_1	2021-07-19 04:56	99K
	amistd_1__t1_amistd_1	2021-07-19 04:40	83K
	amistd_1__t2_amistd_1	2021-07-19 04:41	100K
	amistd_1__t3_amistd_1	2021-07-19 04:42	232K
	amistd_1__t4_amistd_1	2021-07-19 04:43	117K
	amistd_1__t5_amistd_1	2021-07-19 04:43	96K
	amistd_1__t6_amistd_1	2021-07-19 04:44	107K
	amistd_1__t7_amistd_1	2021-07-19 04:45	117K
	amistd_1__t8_amistd_1	2021-07-19 04:46	123K
	amistd_1__t9_amistd_1	2021-07-19 04:37	91K
	amistd_1__t10_amistd_1	2021-07-19 04:38	94K
	amistd_1__t11_amistd_1	2021-07-19 04:39	97K
	amistd_1__t12_amistd_1	2021-07-19 04:47	115K
	amistd_1__t13_amistd_1	2021-07-19 04:47	93K
	amistd_1__t14_amistd_1	2021-07-19 04:48	99K
	amistd_1__t17_amistd_1	2021-07-19 04:49	96K
	amistd_1__t18_amistd_1	2021-07-19 04:50	86K
	amistd_1__t19_amistd_1	2021-07-19 04:50	81K
	amistd_1__t20_amistd_1	2021-07-19 04:51	131K
	amistd_1__t21_amistd_1	2021-07-19 04:39	78K