Index of /~mptp/1147/MPTP2/problems_small_consist/funcsdom

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__l6_funcsdom	2013-09-04 12:04	12K
	funcsdom__l21_funcsdom	2013-09-04 12:04	39K
	funcsdom__l33_funcsdom	2013-09-04 12:04	33K
	funcsdom__l38_funcsdom	2013-09-04 12:04	33K
	funcsdom__t1_funcsdom	2013-09-04 12:04	26K
	funcsdom__t2_funcsdom	2013-09-04 12:04	32K
	funcsdom__t3_funcsdom	2013-09-04 12:04	21K
	funcsdom__t4_funcsdom	2013-09-04 12:04	37K
	funcsdom__t5_funcsdom	2013-09-04 12:04	23K
	funcsdom__t6_funcsdom	2013-09-04 12:04	23K
	funcsdom__t7_funcsdom	2013-09-04 12:04	23K
	funcsdom__t8_funcsdom	2013-09-04 12:04	23K
	funcsdom__t9_funcsdom	2013-09-04 12:04	34K
	funcsdom__t10_funcsdom	2013-09-04 12:04	34K
	funcsdom__t11_funcsdom	2013-09-04 12:04	34K
	funcsdom__t12_funcsdom	2013-09-04 12:04	35K
	funcsdom__t13_funcsdom	2013-09-04 12:04	35K
	funcsdom__t14_funcsdom	2013-09-04 12:04	39K
	funcsdom__t15_funcsdom	2013-09-04 12:04	36K
	funcsdom__t16_funcsdom	2013-09-04 12:04	36K
	funcsdom__t17_funcsdom	2013-09-04 12:04	18K
	funcsdom__t18_funcsdom	2013-09-04 12:04	31K
	funcsdom__t19_funcsdom	2013-09-04 12:04	27K
	funcsdom__t20_funcsdom	2013-09-04 12:04	28K
	funcsdom__t21_funcsdom	2013-09-04 12:04	23K
	funcsdom__t22_funcsdom	2013-09-04 12:04	28K
	funcsdom__t23_funcsdom	2013-09-04 12:04	38K
	funcsdom__t24_funcsdom	2013-09-04 12:04	30K
	funcsdom__t25_funcsdom	2013-09-04 12:04	41K
	funcsdom__t26_funcsdom	2013-09-04 12:04	39K
	funcsdom__t27_funcsdom	2013-09-04 12:04	32K