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

	Name	Last modified	Size	Description
	Parent Directory		-
	metrizts__l2_metrizts	2021-07-18 23:21	71K
	metrizts__l6_metrizts	2021-07-18 23:22	82K
	metrizts__l7_metrizts	2021-07-18 23:22	61K
	metrizts__l14_metrizts	2021-07-18 23:23	79K
	metrizts__l18_metrizts	2021-07-18 23:23	35K
	metrizts__l23_metrizts	2021-07-18 23:24	114K
	metrizts__l25_metrizts	2021-07-18 23:24	45K
	metrizts__l33_metrizts	2021-07-18 23:25	41K
	metrizts__l35_metrizts	2021-07-18 23:25	44K
	metrizts__l36_metrizts	2021-07-18 23:25	36K
	metrizts__l37_metrizts	2021-07-18 23:26	95K
	metrizts__l39_metrizts	2021-07-18 23:27	105K
	metrizts__l40_metrizts	2021-07-18 23:27	98K
	metrizts__t1_metrizts	2021-07-18 23:08	73K
	metrizts__t2_metrizts	2021-07-18 23:08	100K
	metrizts__t3_metrizts	2021-07-18 23:09	87K
	metrizts__t4_metrizts	2021-07-18 23:09	68K
	metrizts__t5_metrizts	2021-07-18 23:10	84K
	metrizts__t6_metrizts	2021-07-18 23:11	87K
	metrizts__t7_metrizts	2021-07-18 23:11	84K
	metrizts__t8_metrizts	2021-07-18 23:12	68K
	metrizts__t9_metrizts	2021-07-18 23:12	60K
	metrizts__t10_metrizts	2021-07-18 23:13	69K
	metrizts__t11_metrizts	2021-07-18 23:13	69K
	metrizts__t12_metrizts	2021-07-18 23:14	73K
	metrizts__t13_metrizts	2021-07-18 23:14	95K
	metrizts__t14_metrizts	2021-07-18 23:15	85K
	metrizts__t15_metrizts	2021-07-18 23:15	80K
	metrizts__t16_metrizts	2021-07-18 23:16	60K
	metrizts__t17_metrizts	2021-07-18 23:16	112K
	metrizts__t18_metrizts	2021-07-18 23:17	65K
	metrizts__t19_metrizts	2021-07-18 23:17	51K
	metrizts__t20_metrizts	2021-07-18 23:18	49K
	metrizts__t21_metrizts	2021-07-18 23:18	49K
	metrizts__t22_metrizts	2021-07-18 23:18	50K
	metrizts__t23_metrizts	2021-07-18 23:19	109K
	metrizts__t24_metrizts	2021-07-18 23:20	44K
	metrizts__t25_metrizts	2021-07-18 23:20	55K
	metrizts__t26_metrizts	2021-07-18 23:21	86K