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

	Name	Last modified	Size	Description
	Parent Directory		-
	functor1__l19_functor1	2013-09-04 12:17	28K
	functor1__t1_functor1	2013-09-04 12:17	20K
	functor1__t2_functor1	2013-09-04 12:17	14K
	functor1__t3_functor1	2013-09-04 12:17	18K
	functor1__t4_functor1	2013-09-04 12:17	41K
	functor1__t5_functor1	2013-09-04 12:17	19K
	functor1__t6_functor1	2013-09-04 12:17	27K
	functor1__t7_functor1	2013-09-04 12:17	31K
	functor1__t8_functor1	2013-09-04 12:17	30K
	functor1__t9_functor1	2013-09-04 12:17	36K
	functor1__t10_functor1	2013-09-04 12:17	21K
	functor1__t11_functor1	2013-09-04 12:17	21K
	functor1__t12_functor1	2013-09-04 12:17	21K
	functor1__t13_functor1	2013-09-04 12:17	24K
	functor1__t14_functor1	2013-09-04 12:17	46K
	functor1__t15_functor1	2013-09-04 12:17	38K
	functor1__t16_functor1	2013-09-04 12:17	24K
	functor1__t17_functor1	2013-09-04 12:17	39K
	functor1__t18_functor1	2013-09-04 12:17	48K
	functor1__t19_functor1	2013-09-04 12:17	48K
	functor1__t20_functor1	2013-09-04 12:17	34K
	functor1__t21_functor1	2013-09-04 12:17	46K