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

	Name	Last modified	Size	Description
	Parent Directory		-
	hahnban__l29_hahnban	2021-07-18 23:30	137K
	hahnban__l30_hahnban	2021-07-18 23:31	45K
	hahnban__l31_hahnban	2021-07-18 23:31	51K
	hahnban__l32_hahnban	2021-07-18 23:32	56K
	hahnban__l33_hahnban	2021-07-18 23:32	56K
	hahnban__t1_hahnban	2021-07-18 23:18	55K
	hahnban__t2_hahnban	2021-07-18 23:19	46K
	hahnban__t3_hahnban	2021-07-18 23:19	46K
	hahnban__t4_hahnban	2021-07-18 23:20	46K
	hahnban__t5_hahnban	2021-07-18 23:20	48K
	hahnban__t6_hahnban	2021-07-18 23:21	46K
	hahnban__t7_hahnban	2021-07-18 23:21	31K
	hahnban__t8_hahnban	2021-07-18 23:21	46K
	hahnban__t9_hahnban	2021-07-18 23:22	58K
	hahnban__t10_hahnban	2021-07-18 23:22	49K
	hahnban__t11_hahnban	2021-07-18 23:23	67K
	hahnban__t12_hahnban	2021-07-18 23:23	53K
	hahnban__t13_hahnban	2021-07-18 23:24	53K
	hahnban__t14_hahnban	2021-07-18 23:24	30K
	hahnban__t15_hahnban	2021-07-18 23:25	54K
	hahnban__t16_hahnban	2021-07-18 23:25	64K
	hahnban__t17_hahnban	2021-07-18 23:26	61K
	hahnban__t18_hahnban	2021-07-18 23:26	47K
	hahnban__t19_hahnban	2021-07-18 23:27	55K
	hahnban__t20_hahnban	2021-07-18 23:27	76K
	hahnban__t21_hahnban	2021-07-18 23:28	119K
	hahnban__t22_hahnban	2021-07-18 23:29	102K
	hahnban__t23_hahnban	2021-07-18 23:29	59K
	hahnban__t24_hahnban	2021-07-18 23:30	58K