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

	Name	Last modified	Size	Description
	Parent Directory		-
	bintree2__l1_bintree2	2021-07-18 13:19	37K
	bintree2__l2_bintree2	2021-07-18 13:19	32K
	bintree2__l11_bintree2	2021-07-18 13:19	32K
	bintree2__s1_bintree2	2021-07-18 13:20	67K
	bintree2__s2_bintree2	2021-07-18 13:20	69K
	bintree2__t1_bintree2	2021-07-18 13:21	38K
	bintree2__t2_bintree2	2021-07-18 13:21	56K
	bintree2__t3_bintree2	2021-07-18 13:21	59K
	bintree2__t4_bintree2	2021-07-18 13:22	50K
	bintree2__t5_bintree2	2021-07-18 13:22	42K
	bintree2__t6_bintree2	2021-07-18 13:22	44K
	bintree2__t7_bintree2	2021-07-18 13:23	45K
	bintree2__t8_bintree2	2021-07-18 13:23	51K
	bintree2__t9_bintree2	2021-07-18 13:24	63K
	bintree2__t10_bintree2	2021-07-18 13:24	52K
	bintree2__t11_bintree2	2021-07-18 13:24	42K
	bintree2__t12_bintree2	2021-07-18 13:25	80K
	bintree2__t13_bintree2	2021-07-18 13:25	69K
	bintree2__t14_bintree2	2021-07-18 13:26	78K
	bintree2__t15_bintree2	2021-07-18 13:26	59K
	bintree2__t16_bintree2	2021-07-18 13:27	63K
	bintree2__t17_bintree2	2021-07-18 13:27	82K
	bintree2__t18_bintree2	2021-07-18 13:28	126K
	bintree2__t19_bintree2	2021-07-18 13:29	49K
	bintree2__t20_bintree2	2021-07-18 13:29	44K
	bintree2__t21_bintree2	2021-07-18 13:29	76K
	bintree2__t22_bintree2	2021-07-18 13:30	54K
	bintree2__t23_bintree2	2021-07-18 13:30	59K
	bintree2__t24_bintree2	2021-07-18 13:31	86K