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

	Name	Last modified	Size	Description
	Parent Directory		-
	autalg_1__l6_autalg_1	2021-07-18 19:36	39K
	autalg_1__l11_autalg_1	2021-07-18 19:36	26K
	autalg_1__l31_autalg_1	2021-07-18 19:36	40K
	autalg_1__l43_autalg_1	2021-07-18 19:37	68K
	autalg_1__t1_autalg_1	2021-07-18 19:27	39K
	autalg_1__t2_autalg_1	2021-07-18 19:27	23K
	autalg_1__t3_autalg_1	2021-07-18 19:27	23K
	autalg_1__t4_autalg_1	2021-07-18 19:28	25K
	autalg_1__t5_autalg_1	2021-07-18 19:28	25K
	autalg_1__t6_autalg_1	2021-07-18 19:28	28K
	autalg_1__t7_autalg_1	2021-07-18 19:26	32K
	autalg_1__t8_autalg_1	2021-07-18 19:29	36K
	autalg_1__t9_autalg_1	2021-07-18 19:29	44K
	autalg_1__t10_autalg_1	2021-07-18 19:29	7.6K
	autalg_1__t11_autalg_1	2021-07-18 19:29	26K
	autalg_1__t12_autalg_1	2021-07-18 19:29	26K
	autalg_1__t13_autalg_1	2021-07-18 19:30	25K
	autalg_1__t14_autalg_1	2021-07-18 19:30	9.4K
	autalg_1__t15_autalg_1	2021-07-18 19:30	31K
	autalg_1__t16_autalg_1	2021-07-18 19:30	36K
	autalg_1__t17_autalg_1	2021-07-18 19:31	38K
	autalg_1__t18_autalg_1	2021-07-18 19:31	22K
	autalg_1__t19_autalg_1	2021-07-18 19:31	25K
	autalg_1__t20_autalg_1	2021-07-18 19:31	24K
	autalg_1__t21_autalg_1	2021-07-18 19:26	20K
	autalg_1__t22_autalg_1	2021-07-18 19:26	26K
	autalg_1__t23_autalg_1	2021-07-18 19:26	21K
	autalg_1__t24_autalg_1	2021-07-18 19:31	25K
	autalg_1__t25_autalg_1	2021-07-18 19:32	27K
	autalg_1__t26_autalg_1	2021-07-18 19:32	28K
	autalg_1__t27_autalg_1	2021-07-18 19:32	54K
	autalg_1__t28_autalg_1	2021-07-18 19:27	38K
	autalg_1__t29_autalg_1	2021-07-18 19:33	40K
	autalg_1__t30_autalg_1	2021-07-18 19:33	45K
	autalg_1__t31_autalg_1	2021-07-18 19:34	57K
	autalg_1__t32_autalg_1	2021-07-18 19:34	48K
	autalg_1__t33_autalg_1	2021-07-18 19:34	75K
	autalg_1__t34_autalg_1	2021-07-18 19:35	61K
	autalg_1__t35_autalg_1	2021-07-18 19:35	60K