Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/funcsdom

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__l6_funcsdom	2017-01-13 00:34	31K
	funcsdom__l21_funcsdom	2017-01-13 00:34	96K
	funcsdom__l33_funcsdom	2017-01-13 00:34	82K
	funcsdom__l38_funcsdom	2017-01-13 00:34	82K
	funcsdom__t1_funcsdom	2017-01-13 00:34	64K
	funcsdom__t2_funcsdom	2017-01-13 00:34	81K
	funcsdom__t3_funcsdom	2017-01-13 00:34	54K
	funcsdom__t4_funcsdom	2017-01-13 00:34	93K
	funcsdom__t5_funcsdom	2017-01-13 00:34	56K
	funcsdom__t6_funcsdom	2017-01-13 00:34	57K
	funcsdom__t7_funcsdom	2017-01-13 00:34	56K
	funcsdom__t8_funcsdom	2017-01-13 00:34	57K
	funcsdom__t9_funcsdom	2017-01-13 00:34	85K
	funcsdom__t10_funcsdom	2017-01-13 00:34	83K
	funcsdom__t11_funcsdom	2017-01-13 00:34	81K
	funcsdom__t12_funcsdom	2017-01-13 00:34	87K
	funcsdom__t13_funcsdom	2017-01-13 00:34	88K
	funcsdom__t14_funcsdom	2017-01-13 00:34	96K
	funcsdom__t15_funcsdom	2017-01-13 00:34	89K
	funcsdom__t16_funcsdom	2017-01-13 00:34	90K
	funcsdom__t17_funcsdom	2017-01-13 00:34	44K
	funcsdom__t18_funcsdom	2017-01-13 00:34	75K
	funcsdom__t19_funcsdom	2017-01-13 00:34	65K
	funcsdom__t20_funcsdom	2017-01-13 00:34	68K
	funcsdom__t21_funcsdom	2017-01-13 00:34	56K
	funcsdom__t22_funcsdom	2017-01-13 00:34	68K
	funcsdom__t23_funcsdom	2017-01-13 00:34	93K
	funcsdom__t24_funcsdom	2017-01-13 00:34	72K
	funcsdom__t25_funcsdom	2017-01-13 00:34	99K
	funcsdom__t26_funcsdom	2017-01-13 00:34	97K
	funcsdom__t27_funcsdom	2017-01-13 00:34	71K