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

	Name	Last modified	Size	Description
	Parent Directory		-
	metric_3__l20_metric_3	2021-07-18 19:50	12K
	metric_3__l32_metric_3	2021-07-18 20:03	228K
	metric_3__s1_metric_3	2021-07-18 19:51	20K
	metric_3__s2_metric_3	2021-07-18 19:51	24K
	metric_3__s3_metric_3	2021-07-18 19:51	28K
	metric_3__t1_metric_3	2021-07-18 19:52	63K
	metric_3__t2_metric_3	2021-07-18 19:52	30K
	metric_3__t3_metric_3	2021-07-18 19:53	64K
	metric_3__t4_metric_3	2021-07-18 19:53	69K
	metric_3__t5_metric_3	2021-07-18 19:53	35K
	metric_3__t6_metric_3	2021-07-18 19:54	69K
	metric_3__t7_metric_3	2021-07-18 19:54	73K
	metric_3__t8_metric_3	2021-07-18 19:55	40K
	metric_3__t9_metric_3	2021-07-18 19:55	73K
	metric_3__t10_metric_3	2021-07-18 19:56	72K
	metric_3__t11_metric_3	2021-07-18 19:56	42K
	metric_3__t12_metric_3	2021-07-18 19:56	227K
	metric_3__t13_metric_3	2021-07-18 19:57	75K
	metric_3__t14_metric_3	2021-07-18 19:57	77K
	metric_3__t15_metric_3	2021-07-18 19:58	47K
	metric_3__t16_metric_3	2021-07-18 19:58	83K
	metric_3__t17_metric_3	2021-07-18 19:58	52K
	metric_3__t18_metric_3	2021-07-18 19:58	80K
	metric_3__t19_metric_3	2021-07-18 19:59	45K
	metric_3__t20_metric_3	2021-07-18 19:59	23K
	metric_3__t21_metric_3	2021-07-18 19:59	57K
	metric_3__t22_metric_3	2021-07-18 20:00	65K
	metric_3__t23_metric_3	2021-07-18 20:00	36K
	metric_3__t24_metric_3	2021-07-18 20:00	69K
	metric_3__t25_metric_3	2021-07-18 20:01	63K
	metric_3__t26_metric_3	2021-07-18 20:01	28K
	metric_3__t27_metric_3	2021-07-18 20:02	61K
	metric_3__t28_metric_3	2021-07-18 20:02	70K
	metric_3__t29_metric_3	2021-07-18 20:02	40K
	metric_3__t30_metric_3	2021-07-18 20:03	74K