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

	Name	Last modified	Size	Description
	Parent Directory		-
	nomin_3__t1_nomin_3	2021-07-18 14:33	20K
	nomin_3__t2_nomin_3	2021-07-18 14:33	21K
	nomin_3__t3_nomin_3	2021-07-18 14:34	30K
	nomin_3__t4_nomin_3	2021-07-18 14:34	28K
	nomin_3__t5_nomin_3	2021-07-18 14:35	31K
	nomin_3__t6_nomin_3	2021-07-18 14:35	28K
	nomin_3__t7_nomin_3	2021-07-18 14:35	26K
	nomin_3__t8_nomin_3	2021-07-18 14:34	24K
	nomin_3__t9_nomin_3	2021-07-18 14:36	29K
	nomin_3__t10_nomin_3	2021-07-18 14:34	29K
	nomin_3__t11_nomin_3	2021-07-18 14:36	23K
	nomin_3__t12_nomin_3	2021-07-18 14:36	22K
	nomin_3__t13_nomin_3	2021-07-18 14:36	24K
	nomin_3__t14_nomin_3	2021-07-18 14:37	28K
	nomin_3__t15_nomin_3	2021-07-18 14:37	24K
	nomin_3__t16_nomin_3	2021-07-18 14:37	24K
	nomin_3__t17_nomin_3	2021-07-18 14:38	23K
	nomin_3__t18_nomin_3	2021-07-18 14:38	25K
	nomin_3__t19_nomin_3	2021-07-18 14:38	29K
	nomin_3__t20_nomin_3	2021-07-18 14:38	35K
	nomin_3__t21_nomin_3	2021-07-18 14:39	38K
	nomin_3__t22_nomin_3	2021-07-18 14:39	37K
	nomin_3__t23_nomin_3	2021-07-18 14:40	73K
	nomin_3__t24_nomin_3	2021-07-18 14:40	39K
	nomin_3__t25_nomin_3	2021-07-18 14:40	31K
	nomin_3__t26_nomin_3	2021-07-18 14:41	88K
	nomin_3__t27_nomin_3	2021-07-18 14:41	27K
	nomin_3__t28_nomin_3	2021-07-18 14:41	24K
	nomin_3__t29_nomin_3	2021-07-18 14:42	35K
	nomin_3__t30_nomin_3	2021-07-18 14:42	37K
	nomin_3__t31_nomin_3	2021-07-18 14:42	35K
	nomin_3__t32_nomin_3	2021-07-18 14:43	44K
	nomin_3__t33_nomin_3	2021-07-18 14:43	46K