Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/sheffer1

	Name	Last modified	Size	Description
	Parent Directory		-
	sheffer1__t1_sheffer1	2021-07-18 15:08	20K
	sheffer1__t2_sheffer1	2021-07-18 15:08	14K
	sheffer1__t3_sheffer1	2021-07-18 15:09	14K
	sheffer1__t4_sheffer1	2021-07-18 15:09	15K
	sheffer1__t5_sheffer1	2021-07-18 15:09	15K
	sheffer1__t6_sheffer1	2021-07-18 15:09	15K
	sheffer1__t7_sheffer1	2021-07-18 15:10	15K
	sheffer1__t8_sheffer1	2021-07-18 15:10	16K
	sheffer1__t9_sheffer1	2021-07-18 15:10	16K
	sheffer1__t10_sheffer1	2021-07-18 15:10	15K
	sheffer1__t11_sheffer1	2021-07-18 15:11	15K
	sheffer1__t12_sheffer1	2021-07-18 15:11	12K
	sheffer1__t13_sheffer1	2021-07-18 15:11	16K
	sheffer1__t14_sheffer1	2021-07-18 15:11	12K
	sheffer1__t15_sheffer1	2021-07-18 15:12	16K
	sheffer1__t16_sheffer1	2021-07-18 15:12	16K
	sheffer1__t17_sheffer1	2021-07-18 15:12	16K
	sheffer1__t18_sheffer1	2021-07-18 15:12	13K
	sheffer1__t19_sheffer1	2021-07-18 15:13	13K
	sheffer1__t20_sheffer1	2021-07-18 15:13	17K
	sheffer1__t21_sheffer1	2021-07-18 15:13	18K
	sheffer1__t22_sheffer1	2021-07-18 15:07	14K
	sheffer1__t23_sheffer1	2021-07-18 15:13	16K
	sheffer1__t24_sheffer1	2021-07-18 15:14	22K
	sheffer1__t25_sheffer1	2021-07-18 15:14	25K
	sheffer1__t26_sheffer1	2021-07-18 15:14	32K
	sheffer1__t27_sheffer1	2021-07-18 15:15	37K
	sheffer1__t28_sheffer1	2021-07-18 15:15	36K
	sheffer1__t29_sheffer1	2021-07-18 15:08	26K
	sheffer1__t30_sheffer1	2021-07-18 15:08	25K
	sheffer1__t31_sheffer1	2021-07-18 15:16	26K
	sheffer1__t32_sheffer1	2021-07-18 15:16	27K
	sheffer1__t33_sheffer1	2021-07-18 15:17	30K
	sheffer1__t34_sheffer1	2021-07-18 15:17	30K
	sheffer1__t35_sheffer1	2021-07-18 15:17	31K
	sheffer1__t36_sheffer1	2021-07-18 15:18	31K
	sheffer1__t37_sheffer1	2021-07-18 15:18	34K