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

	Name	Last modified	Size	Description
	Parent Directory		-
	hallmar1__s1_hallmar1	2021-07-18 15:18	32K
	hallmar1__s2_hallmar1	2021-07-18 15:18	32K
	hallmar1__t1_hallmar1	2021-07-18 15:18	41K
	hallmar1__t2_hallmar1	2021-07-18 15:19	41K
	hallmar1__t3_hallmar1	2021-07-18 15:19	42K
	hallmar1__t4_hallmar1	2021-07-18 15:19	40K
	hallmar1__t5_hallmar1	2021-07-18 15:20	41K
	hallmar1__t6_hallmar1	2021-07-18 15:20	43K
	hallmar1__t7_hallmar1	2021-07-18 15:18	40K
	hallmar1__t8_hallmar1	2021-07-18 15:20	45K
	hallmar1__t9_hallmar1	2021-07-18 15:21	44K
	hallmar1__t10_hallmar1	2021-07-18 15:21	46K
	hallmar1__t11_hallmar1	2021-07-18 15:21	48K
	hallmar1__t12_hallmar1	2021-07-18 15:22	44K
	hallmar1__t13_hallmar1	2021-07-18 15:22	44K
	hallmar1__t14_hallmar1	2021-07-18 15:22	46K
	hallmar1__t15_hallmar1	2021-07-18 15:22	49K
	hallmar1__t16_hallmar1	2021-07-18 15:23	46K
	hallmar1__t17_hallmar1	2021-07-18 15:23	61K
	hallmar1__t18_hallmar1	2021-07-18 15:24	55K
	hallmar1__t19_hallmar1	2021-07-18 15:24	41K
	hallmar1__t20_hallmar1	2021-07-18 15:24	44K
	hallmar1__t21_hallmar1	2021-07-18 15:24	40K
	hallmar1__t22_hallmar1	2021-07-18 15:25	40K
	hallmar1__t23_hallmar1	2021-07-18 15:25	42K
	hallmar1__t24_hallmar1	2021-07-18 15:25	48K
	hallmar1__t25_hallmar1	2021-07-18 15:26	40K
	hallmar1__t26_hallmar1	2021-07-18 15:26	40K
	hallmar1__t27_hallmar1	2021-07-18 15:26	45K
	hallmar1__t28_hallmar1	2021-07-18 15:27	41K
	hallmar1__t29_hallmar1	2021-07-18 15:27	80K
	hallmar1__t30_hallmar1	2021-07-18 15:27	87K
	hallmar1__t31_hallmar1	2021-07-18 15:28	62K
	hallmar1__t32_hallmar1	2021-07-18 15:28	47K