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

	Name	Last modified	Size	Description
	Parent Directory		-
	nomin_4__s1_nomin_4	2021-07-18 20:26	23K
	nomin_4__s2_nomin_4	2021-07-18 20:26	27K
	nomin_4__s3_nomin_4	2021-07-18 20:26	24K
	nomin_4__t1_nomin_4	2021-07-18 20:27	14K
	nomin_4__t2_nomin_4	2021-07-18 20:27	14K
	nomin_4__t3_nomin_4	2021-07-18 20:27	15K
	nomin_4__t4_nomin_4	2021-07-18 20:27	19K
	nomin_4__t5_nomin_4	2021-07-18 20:28	30K
	nomin_4__t6_nomin_4	2021-07-18 20:28	29K
	nomin_4__t7_nomin_4	2021-07-18 20:28	21K
	nomin_4__t8_nomin_4	2021-07-18 20:29	27K
	nomin_4__t9_nomin_4	2021-07-18 20:29	24K
	nomin_4__t10_nomin_4	2021-07-18 20:29	1.6K
	nomin_4__t11_nomin_4	2021-07-18 20:29	34K
	nomin_4__t12_nomin_4	2021-07-18 20:29	34K
	nomin_4__t13_nomin_4	2021-07-18 20:30	53K
	nomin_4__t14_nomin_4	2021-07-18 20:30	45K
	nomin_4__t15_nomin_4	2021-07-18 20:31	39K
	nomin_4__t16_nomin_4	2021-07-18 20:31	40K
	nomin_4__t17_nomin_4	2021-07-18 20:32	74K
	nomin_4__t18_nomin_4	2021-07-18 20:32	94K
	nomin_4__t19_nomin_4	2021-07-18 20:33	109K
	nomin_4__t20_nomin_4	2021-07-18 20:34	56K
	nomin_4__t21_nomin_4	2021-07-18 20:34	56K
	nomin_4__t22_nomin_4	2021-07-18 20:35	62K
	nomin_4__t24_nomin_4	2021-07-18 20:35	64K
	nomin_4__t25_nomin_4	2021-07-18 20:36	62K
	nomin_4__t26_nomin_4	2021-07-18 20:36	70K
	nomin_4__t27_nomin_4	2021-07-18 20:37	60K
	nomin_4__t28_nomin_4	2021-07-18 20:37	65K