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

	Name	Last modified	Size	Description
	Parent Directory		-
	mazurulm__l1_mazurulm	2021-07-18 16:32	47K
	mazurulm__l2_mazurulm	2021-07-18 16:45	207K
	mazurulm__l17_mazurulm	2021-07-18 16:45	62K
	mazurulm__l20_mazurulm	2021-07-18 16:46	78K
	mazurulm__l32_mazurulm	2021-07-18 16:47	196K
	mazurulm__l33_mazurulm	2021-07-18 16:47	104K
	mazurulm__l34_mazurulm	2021-07-18 16:48	219K
	mazurulm__l35_mazurulm	2021-07-18 16:48	213K
	mazurulm__l37_mazurulm	2021-07-18 16:49	78K
	mazurulm__l38_mazurulm	2021-07-18 16:50	265K
	mazurulm__l39_mazurulm	2021-07-18 16:50	412K
	mazurulm__l40_mazurulm	2021-07-18 16:51	508K
	mazurulm__t1_mazurulm	2021-07-18 16:32	49K
	mazurulm__t2_mazurulm	2021-07-18 16:33	52K
	mazurulm__t3_mazurulm	2021-07-18 16:33	68K
	mazurulm__t4_mazurulm	2021-07-18 16:34	42K
	mazurulm__t5_mazurulm	2021-07-18 16:34	90K
	mazurulm__t6_mazurulm	2021-07-18 16:35	55K
	mazurulm__t7_mazurulm	2021-07-18 16:35	107K
	mazurulm__t8_mazurulm	2021-07-18 16:36	71K
	mazurulm__t9_mazurulm	2021-07-18 16:36	59K
	mazurulm__t10_mazurulm	2021-07-18 16:37	71K
	mazurulm__t11_mazurulm	2021-07-18 16:37	67K
	mazurulm__t12_mazurulm	2021-07-18 16:38	59K
	mazurulm__t13_mazurulm	2021-07-18 16:38	82K
	mazurulm__t14_mazurulm	2021-07-18 16:39	97K
	mazurulm__t15_mazurulm	2021-07-18 16:39	100K
	mazurulm__t16_mazurulm	2021-07-18 16:40	117K
	mazurulm__t17_mazurulm	2021-07-18 16:40	89K
	mazurulm__t18_mazurulm	2021-07-18 16:41	70K
	mazurulm__t19_mazurulm	2021-07-18 16:42	77K
	mazurulm__t20_mazurulm	2021-07-18 16:42	58K
	mazurulm__t21_mazurulm	2021-07-18 16:43	66K
	mazurulm__t22_mazurulm	2021-07-18 16:43	113K
	mazurulm__t23_mazurulm	2021-07-18 16:44	83K
	mazurulm__t24_mazurulm	2021-07-18 16:44	82K