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

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__l4_funcsdom	2021-07-18 23:34	16K
	funcsdom__l21_funcsdom	2021-07-18 23:47	73K
	funcsdom__l33_funcsdom	2021-07-18 23:47	66K
	funcsdom__l38_funcsdom	2021-07-18 23:48	66K
	funcsdom__t1_funcsdom	2021-07-18 23:35	55K
	funcsdom__t2_funcsdom	2021-07-18 23:35	59K
	funcsdom__t3_funcsdom	2021-07-18 23:36	45K
	funcsdom__t4_funcsdom	2021-07-18 23:36	68K
	funcsdom__t5_funcsdom	2021-07-18 23:37	51K
	funcsdom__t6_funcsdom	2021-07-18 23:37	52K
	funcsdom__t7_funcsdom	2021-07-18 23:37	51K
	funcsdom__t8_funcsdom	2021-07-18 23:38	52K
	funcsdom__t9_funcsdom	2021-07-18 23:38	66K
	funcsdom__t10_funcsdom	2021-07-18 23:39	62K
	funcsdom__t11_funcsdom	2021-07-18 23:39	67K
	funcsdom__t12_funcsdom	2021-07-18 23:39	65K
	funcsdom__t13_funcsdom	2021-07-18 23:40	66K
	funcsdom__t14_funcsdom	2021-07-18 23:40	73K
	funcsdom__t15_funcsdom	2021-07-18 23:41	65K
	funcsdom__t16_funcsdom	2021-07-18 23:41	65K
	funcsdom__t17_funcsdom	2021-07-18 23:42	61K
	funcsdom__t18_funcsdom	2021-07-18 23:42	69K
	funcsdom__t20_funcsdom	2021-07-18 23:43	73K
	funcsdom__t22_funcsdom	2021-07-18 23:43	58K
	funcsdom__t23_funcsdom	2021-07-18 23:44	69K
	funcsdom__t24_funcsdom	2021-07-18 23:34	58K
	funcsdom__t25_funcsdom	2021-07-18 23:44	80K
	funcsdom__t26_funcsdom	2021-07-18 23:45	75K
	funcsdom__t27_funcsdom	2021-07-18 23:34	58K
	funcsdom__t28_funcsdom	2021-07-18 23:45	70K
	funcsdom__t29_funcsdom	2021-07-18 23:46	73K
	funcsdom__t30_funcsdom	2021-07-18 23:46	77K