Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/functor3

	Name	Last modified	Size	Description
	Parent Directory		-
	functor3__l4_functor3	2013-09-04 12:31	24K
	functor3__l32_functor3	2013-09-04 12:31	46K
	functor3__t1_functor3	2013-09-04 12:30	11K
	functor3__t2_functor3	2013-09-04 12:30	39K
	functor3__t3_functor3	2013-09-04 12:30	41K
	functor3__t4_functor3	2013-09-04 12:30	36K
	functor3__t5_functor3	2013-09-04 12:30	38K
	functor3__t6_functor3	2013-09-04 12:30	38K
	functor3__t7_functor3	2013-09-04 12:30	42K
	functor3__t8_functor3	2013-09-04 12:30	43K
	functor3__t9_functor3	2013-09-04 12:30	43K
	functor3__t10_functor3	2013-09-04 12:30	31K
	functor3__t11_functor3	2013-09-04 12:30	34K
	functor3__t12_functor3	2013-09-04 12:30	33K
	functor3__t13_functor3	2013-09-04 12:30	38K
	functor3__t14_functor3	2013-09-04 12:30	37K
	functor3__t15_functor3	2013-09-04 12:30	35K
	functor3__t16_functor3	2013-09-04 12:30	37K
	functor3__t17_functor3	2013-09-04 12:30	37K
	functor3__t18_functor3	2013-09-04 12:30	36K
	functor3__t19_functor3	2013-09-04 12:30	37K
	functor3__t20_functor3	2013-09-04 12:30	36K
	functor3__t21_functor3	2013-09-04 12:30	34K
	functor3__t22_functor3	2013-09-04 12:30	43K
	functor3__t23_functor3	2013-09-04 12:30	36K
	functor3__t24_functor3	2013-09-04 12:30	36K
	functor3__t25_functor3	2013-09-04 12:30	35K
	functor3__t26_functor3	2013-09-04 12:30	35K
	functor3__t27_functor3	2013-09-04 12:30	39K
	functor3__t28_functor3	2013-09-04 12:30	42K
	functor3__t29_functor3	2013-09-04 12:30	41K
	functor3__t30_functor3	2013-09-04 12:30	36K
	functor3__t31_functor3	2013-09-04 12:30	46K
	functor3__t32_functor3	2013-09-04 12:30	34K
	functor3__t33_functor3	2013-09-04 12:30	33K
	functor3__t34_functor3	2013-09-04 12:31	33K
	functor3__t35_functor3	2013-09-04 12:31	43K
	functor3__t36_functor3	2013-09-04 12:31	42K
	functor3__t37_functor3	2013-09-04 12:31	44K
	functor3__t38_functor3	2013-09-04 12:31	29K
	functor3__t39_functor3	2013-09-04 12:31	35K
	functor3__t40_functor3	2013-09-04 12:31	35K
	functor3__t41_functor3	2013-09-04 12:31	31K
	functor3__t42_functor3	2013-09-04 12:31	35K
	functor3__t43_functor3	2013-09-04 12:31	30K