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

	Name	Last modified	Size	Description
	Parent Directory		-
	convfun1__l8_convfun1	2013-09-04 12:54	46K
	convfun1__l9_convfun1	2013-09-04 12:54	48K
	convfun1__l10_convfun1	2013-09-04 12:54	73K
	convfun1__l11_convfun1	2013-09-04 12:54	50K
	convfun1__l12_convfun1	2013-09-04 12:54	41K
	convfun1__l13_convfun1	2013-09-04 12:54	43K
	convfun1__l14_convfun1	2013-09-04 12:54	65K
	convfun1__l15_convfun1	2013-09-04 12:54	41K
	convfun1__l16_convfun1	2013-09-04 12:54	41K
	convfun1__l17_convfun1	2013-09-04 12:54	41K
	convfun1__l18_convfun1	2013-09-04 12:54	49K
	convfun1__l21_convfun1	2013-09-04 12:54	30K
	convfun1__l26_convfun1	2013-09-04 12:54	47K
	convfun1__l28_convfun1	2013-09-04 12:54	69K
	convfun1__t1_convfun1	2013-09-04 12:54	38K
	convfun1__t2_convfun1	2013-09-04 12:54	39K
	convfun1__t3_convfun1	2013-09-04 12:54	75K
	convfun1__t4_convfun1	2013-09-04 12:54	78K
	convfun1__t5_convfun1	2013-09-04 12:54	58K
	convfun1__t6_convfun1	2013-09-04 12:54	75K
	convfun1__t7_convfun1	2013-09-04 12:54	95K
	convfun1__t8_convfun1	2013-09-04 12:54	95K
	convfun1__t9_convfun1	2013-09-04 12:54	111K