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

	Name	Last modified	Size	Description
	Parent Directory		-
	hahnban1__l1_hahnban1	2021-07-18 17:19	32K
	hahnban1__t2_hahnban1	2021-07-18 17:07	34K
	hahnban1__t3_hahnban1	2021-07-18 17:10	179K
	hahnban1__t4_hahnban1	2021-07-18 17:11	48K
	hahnban1__t5_hahnban1	2021-07-18 17:11	63K
	hahnban1__t6_hahnban1	2021-07-18 17:08	69K
	hahnban1__t7_hahnban1	2021-07-18 17:08	103K
	hahnban1__t9_hahnban1	2021-07-18 17:09	68K
	hahnban1__t10_hahnban1	2021-07-18 17:09	48K
	hahnban1__t11_hahnban1	2021-07-18 17:10	58K
	hahnban1__t12_hahnban1	2021-07-18 17:12	28K
	hahnban1__t13_hahnban1	2021-07-18 17:12	27K
	hahnban1__t14_hahnban1	2021-07-18 17:10	24K
	hahnban1__t15_hahnban1	2021-07-18 17:12	32K
	hahnban1__t16_hahnban1	2021-07-18 17:13	38K
	hahnban1__t17_hahnban1	2021-07-18 17:13	32K
	hahnban1__t18_hahnban1	2021-07-18 17:13	32K
	hahnban1__t19_hahnban1	2021-07-18 17:14	27K
	hahnban1__t20_hahnban1	2021-07-18 17:14	29K
	hahnban1__t21_hahnban1	2021-07-18 17:15	79K
	hahnban1__t22_hahnban1	2021-07-18 17:15	76K
	hahnban1__t23_hahnban1	2021-07-18 17:16	54K
	hahnban1__t24_hahnban1	2021-07-18 17:16	95K
	hahnban1__t27_hahnban1	2021-07-18 17:17	242K
	hahnban1__t28_hahnban1	2021-07-18 17:18	265K
	hahnban1__t29_hahnban1	2021-07-18 17:18	82K