Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/functor2

	Name	Last modified	Size	Description
	Parent Directory		-
	functor2__l12_functor2	2013-09-04 12:05	18K
	functor2__l15_functor2	2013-09-04 12:05	19K
	functor2__t1_functor2	2013-09-04 12:05	20K
	functor2__t2_functor2	2013-09-04 12:05	12K
	functor2__t3_functor2	2013-09-04 12:05	14K
	functor2__t4_functor2	2013-09-04 12:05	14K
	functor2__t5_functor2	2013-09-04 12:05	18K
	functor2__t6_functor2	2013-09-04 12:05	17K
	functor2__t7_functor2	2013-09-04 12:05	8.8K
	functor2__t8_functor2	2013-09-04 12:05	19K
	functor2__t9_functor2	2013-09-04 12:05	20K
	functor2__t10_functor2	2013-09-04 12:05	19K
	functor2__t11_functor2	2013-09-04 12:05	21K