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

	Name	Last modified	Size	Description
	Parent Directory		-
	topreal8__l13_topreal8	2021-07-18 21:55	44K
	topreal8__l34_topreal8	2021-07-18 21:55	69K
	topreal8__l35_topreal8	2021-07-18 21:56	179K
	topreal8__t1_topreal8	2021-07-18 21:39	29K
	topreal8__t2_topreal8	2021-07-18 21:39	37K
	topreal8__t3_topreal8	2021-07-18 21:39	53K
	topreal8__t4_topreal8	2021-07-18 21:40	39K
	topreal8__t5_topreal8	2021-07-18 21:40	46K
	topreal8__t6_topreal8	2021-07-18 21:40	42K
	topreal8__t7_topreal8	2021-07-18 21:41	51K
	topreal8__t8_topreal8	2021-07-18 21:41	40K
	topreal8__t9_topreal8	2021-07-18 21:41	62K
	topreal8__t10_topreal8	2021-07-18 21:42	38K
	topreal8__t11_topreal8	2021-07-18 21:42	38K
	topreal8__t12_topreal8	2021-07-18 21:42	85K
	topreal8__t13_topreal8	2021-07-18 21:43	78K
	topreal8__t14_topreal8	2021-07-18 21:43	57K
	topreal8__t15_topreal8	2021-07-18 21:44	86K
	topreal8__t16_topreal8	2021-07-18 21:44	60K
	topreal8__t17_topreal8	2021-07-18 21:44	83K
	topreal8__t18_topreal8	2021-07-18 21:45	62K
	topreal8__t19_topreal8	2021-07-18 21:45	66K
	topreal8__t20_topreal8	2021-07-18 21:46	65K
	topreal8__t21_topreal8	2021-07-18 21:46	86K
	topreal8__t22_topreal8	2021-07-18 21:47	59K
	topreal8__t23_topreal8	2021-07-18 21:47	54K
	topreal8__t24_topreal8	2021-07-18 21:48	87K
	topreal8__t25_topreal8	2021-07-18 21:48	96K
	topreal8__t26_topreal8	2021-07-18 21:49	99K
	topreal8__t27_topreal8	2021-07-18 21:49	398K
	topreal8__t28_topreal8	2021-07-18 21:50	61K
	topreal8__t29_topreal8	2021-07-18 21:50	62K
	topreal8__t30_topreal8	2021-07-18 21:51	66K
	topreal8__t31_topreal8	2021-07-18 21:51	59K
	topreal8__t32_topreal8	2021-07-18 21:52	179K
	topreal8__t33_topreal8	2021-07-18 21:52	198K
	topreal8__t34_topreal8	2021-07-18 21:53	114K
	topreal8__t35_topreal8	2021-07-18 21:54	184K
	topreal8__t36_topreal8	2021-07-18 21:54	424K