Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/funcsdom

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__l6_funcsdom	2016-03-08 13:05	20K
	funcsdom__l21_funcsdom	2016-03-08 13:05	64K
	funcsdom__l33_funcsdom	2016-03-08 13:05	56K
	funcsdom__l38_funcsdom	2016-03-08 13:05	55K
	funcsdom__t1_funcsdom	2016-03-08 13:05	43K
	funcsdom__t2_funcsdom	2016-03-08 13:05	53K
	funcsdom__t3_funcsdom	2016-03-08 13:05	36K
	funcsdom__t4_funcsdom	2016-03-08 13:05	61K
	funcsdom__t5_funcsdom	2016-03-08 13:05	38K
	funcsdom__t6_funcsdom	2016-03-08 13:05	38K
	funcsdom__t7_funcsdom	2016-03-08 13:05	38K
	funcsdom__t8_funcsdom	2016-03-08 13:05	38K
	funcsdom__t9_funcsdom	2016-03-08 13:05	56K
	funcsdom__t10_funcsdom	2016-03-08 13:05	55K
	funcsdom__t11_funcsdom	2016-03-08 13:05	56K
	funcsdom__t12_funcsdom	2016-03-08 13:05	57K
	funcsdom__t13_funcsdom	2016-03-08 13:05	58K
	funcsdom__t14_funcsdom	2016-03-08 13:05	64K
	funcsdom__t15_funcsdom	2016-03-08 13:05	59K
	funcsdom__t16_funcsdom	2016-03-08 13:05	59K
	funcsdom__t17_funcsdom	2016-03-08 13:05	29K
	funcsdom__t18_funcsdom	2016-03-08 13:05	51K
	funcsdom__t19_funcsdom	2016-03-08 13:05	44K
	funcsdom__t20_funcsdom	2016-03-08 13:05	47K
	funcsdom__t21_funcsdom	2016-03-08 13:05	38K
	funcsdom__t22_funcsdom	2016-03-08 13:05	47K
	funcsdom__t23_funcsdom	2016-03-08 13:05	63K
	funcsdom__t24_funcsdom	2016-03-08 13:05	48K
	funcsdom__t25_funcsdom	2016-03-08 13:05	69K
	funcsdom__t26_funcsdom	2016-03-08 13:05	65K
	funcsdom__t27_funcsdom	2016-03-08 13:05	48K