Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/convfun1

	Name	Last modified	Size	Description
	Parent Directory		-
	convfun1__l8_convfun1	2021-07-18 20:22	82K
	convfun1__l9_convfun1	2021-07-18 20:23	88K
	convfun1__l10_convfun1	2021-07-18 20:24	132K
	convfun1__l11_convfun1	2021-07-18 20:24	87K
	convfun1__l12_convfun1	2021-07-18 20:25	73K
	convfun1__l13_convfun1	2021-07-18 20:25	75K
	convfun1__l14_convfun1	2021-07-18 20:26	115K
	convfun1__l15_convfun1	2021-07-18 20:26	75K
	convfun1__l16_convfun1	2021-07-18 20:27	72K
	convfun1__l17_convfun1	2021-07-18 20:27	72K
	convfun1__l18_convfun1	2021-07-18 20:28	87K
	convfun1__l21_convfun1	2021-07-18 20:28	45K
	convfun1__l26_convfun1	2021-07-18 20:28	84K
	convfun1__l28_convfun1	2021-07-18 20:29	122K
	convfun1__t1_convfun1	2021-07-18 20:16	65K
	convfun1__t2_convfun1	2021-07-18 20:16	68K
	convfun1__t3_convfun1	2021-07-18 20:17	132K
	convfun1__t4_convfun1	2021-07-18 20:18	134K
	convfun1__t5_convfun1	2021-07-18 20:18	94K
	convfun1__t6_convfun1	2021-07-18 20:19	129K
	convfun1__t7_convfun1	2021-07-18 20:20	168K
	convfun1__t8_convfun1	2021-07-18 20:21	161K
	convfun1__t9_convfun1	2021-07-18 20:22	190K