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

	Name	Last modified	Size	Description
	Parent Directory		-
	limfunc3__l1_limfunc3	2021-07-18 15:45	26K
	limfunc3__l2_limfunc3	2021-07-18 15:45	52K
	limfunc3__l3_limfunc3	2021-07-18 15:45	28K
	limfunc3__l4_limfunc3	2021-07-18 15:46	53K
	limfunc3__t1_limfunc3	2021-07-18 15:32	48K
	limfunc3__t2_limfunc3	2021-07-18 15:32	62K
	limfunc3__t3_limfunc3	2021-07-18 15:33	83K
	limfunc3__t4_limfunc3	2021-07-18 15:33	36K
	limfunc3__t5_limfunc3	2021-07-18 15:33	44K
	limfunc3__t6_limfunc3	2021-07-18 15:34	59K
	limfunc3__t7_limfunc3	2021-07-18 15:34	48K
	limfunc3__t8_limfunc3	2021-07-18 15:34	40K
	limfunc3__t9_limfunc3	2021-07-18 15:35	64K
	limfunc3__t10_limfunc3	2021-07-18 15:35	62K
	limfunc3__t11_limfunc3	2021-07-18 15:36	62K
	limfunc3__t14_limfunc3	2021-07-18 15:36	96K
	limfunc3__t15_limfunc3	2021-07-18 15:36	97K
	limfunc3__t18_limfunc3	2021-07-18 15:37	57K
	limfunc3__t19_limfunc3	2021-07-18 15:37	64K
	limfunc3__t20_limfunc3	2021-07-18 15:38	56K
	limfunc3__t21_limfunc3	2021-07-18 15:31	54K
	limfunc3__t22_limfunc3	2021-07-18 15:38	56K
	limfunc3__t23_limfunc3	2021-07-18 15:31	54K
	limfunc3__t26_limfunc3	2021-07-18 15:39	63K
	limfunc3__t27_limfunc3	2021-07-18 15:39	63K
	limfunc3__t28_limfunc3	2021-07-18 15:39	65K
	limfunc3__t29_limfunc3	2021-07-18 15:40	56K
	limfunc3__t31_limfunc3	2021-07-18 15:40	57K
	limfunc3__t32_limfunc3	2021-07-18 15:40	56K
	limfunc3__t33_limfunc3	2021-07-18 15:41	92K
	limfunc3__t34_limfunc3	2021-07-18 15:41	75K
	limfunc3__t35_limfunc3	2021-07-18 15:42	56K
	limfunc3__t36_limfunc3	2021-07-18 15:42	66K
	limfunc3__t37_limfunc3	2021-07-18 15:42	58K
	limfunc3__t38_limfunc3	2021-07-18 15:43	92K
	limfunc3__t42_limfunc3	2021-07-18 15:43	66K
	limfunc3__t44_limfunc3	2021-07-18 15:44	58K
	limfunc3__t47_limfunc3	2021-07-18 15:44	67K
	limfunc3__t48_limfunc3	2021-07-18 15:45	70K