Index of /~mptp/mml5.63.1382/MPTP2/problems_small/mazurulm

	Name	Last modified	Size	Description
	Parent Directory		-
	mazurulm__t4_mazurulm.depvmin1	2021-07-25 21:03	150
	mazurulm__t2_mazurulm.depvmin1	2021-07-25 21:03	353
	mazurulm__l17_mazurulm.depvmin1	2021-07-25 21:03	325
	mazurulm__t21_mazurulm.depvmin1	2021-07-25 21:03	216
	mazurulm__t19_mazurulm.depvmin1	2021-07-25 21:03	210
	mazurulm__l1_mazurulm.depvmin1	2021-07-25 21:03	172
	mazurulm__t3_mazurulm.depvmin1	2021-07-25 21:03	178
	mazurulm__l17_mazurulm.vmin1out	2021-07-25 21:02	53K
	mazurulm__t4_mazurulm.vmin1out	2021-07-25 21:01	23K
	mazurulm__l1_mazurulm.vmin1out	2021-07-25 21:01	6.0K
	mazurulm__t2_mazurulm.vmin1out	2021-07-25 21:01	15K
	mazurulm__t19_mazurulm.vmin1out	2021-07-25 20:59	32K
	mazurulm__t21_mazurulm.vmin1out	2021-07-25 20:59	62K
	mazurulm__t3_mazurulm.vmin1out	2021-07-25 20:57	21K
	mazurulm__t21_mazurulm.vmin1	2021-07-25 20:57	4.0K
	mazurulm__t19_mazurulm.vmin1	2021-07-25 20:57	3.9K
	mazurulm__t4_mazurulm.vmin1	2021-07-25 20:57	2.1K
	mazurulm__t3_mazurulm.vmin1	2021-07-25 20:57	1.7K
	mazurulm__t2_mazurulm.vmin1	2021-07-25 20:57	2.3K
	mazurulm__l17_mazurulm.vmin1	2021-07-25 20:57	5.2K
	mazurulm__l1_mazurulm.vmin1	2021-07-25 20:57	898
	mazurulm__t4_mazurulm.depv1	2021-07-25 20:57	165
	mazurulm__l17_mazurulm.depv1	2021-07-25 20:57	350
	mazurulm__t21_mazurulm.depv1	2021-07-25 20:57	216
	mazurulm__t19_mazurulm.depv1	2021-07-25 20:57	286
	mazurulm__t2_mazurulm.depv1	2021-07-25 20:57	353
	mazurulm__t3_mazurulm.depv1	2021-07-25 20:57	178
	mazurulm__l1_mazurulm.depv1	2021-07-25 20:57	172
	mazurulm__t17_mazurulm.vout	2021-07-25 20:50	4.7K
	mazurulm__t21_mazurulm.vout	2021-07-25 20:49	64K
	mazurulm__l35_mazurulm.vout	2021-07-25 20:46	3.7K
	mazurulm__l2_mazurulm.vout	2021-07-25 20:42	10K
	mazurulm__t5_mazurulm.vout	2021-07-25 20:27	4.7K
	mazurulm__t16_mazurulm.vout	2021-07-25 20:21	4.7K
	mazurulm__t2_mazurulm.vout	2021-07-25 20:15	16K
	mazurulm__t4_mazurulm.vout	2021-07-25 19:59	24K
	mazurulm__t11_mazurulm.vout	2021-07-25 19:52	1.1K
	mazurulm__t22_mazurulm.vout	2021-07-25 19:37	7.3K
	mazurulm__t10_mazurulm.vout	2021-07-25 19:19	4.1K
	mazurulm__t19_mazurulm.vout	2021-07-25 19:17	54K
	mazurulm__l1_mazurulm.vout	2021-07-25 18:56	7.5K
	mazurulm__t12_mazurulm.vout	2021-07-25 18:51	1.1K
	mazurulm__t9_mazurulm.vout	2021-07-25 18:49	2.0K
	mazurulm__t24_mazurulm.vout	2021-07-25 18:43	6.8K
	mazurulm__t3_mazurulm.vout	2021-07-25 18:41	25K
	mazurulm__l37_mazurulm.vout	2021-07-25 18:40	7.9K
	mazurulm__l39_mazurulm.vout	2021-07-25 18:40	7.3K
	mazurulm__l40_mazurulm.vout	2021-07-25 18:27	7.3K
	mazurulm__l20_mazurulm.vout	2021-07-25 18:26	4.7K
	mazurulm__t14_mazurulm.vout	2021-07-25 18:21	4.7K
	mazurulm__t1_mazurulm.vout	2021-07-25 18:13	11K
	mazurulm__t7_mazurulm.vout	2021-07-25 17:49	4.7K
	mazurulm__t15_mazurulm.vout	2021-07-25 17:26	6.8K
	mazurulm__l32_mazurulm.vout	2021-07-25 17:24	7.3K
	mazurulm__t18_mazurulm.vout	2021-07-25 16:55	4.7K
	mazurulm__t20_mazurulm.vout	2021-07-25 16:43	1.1K
	mazurulm__l33_mazurulm.vout	2021-07-25 16:34	6.8K
	mazurulm__t13_mazurulm.vout	2021-07-25 16:22	6.8K
	mazurulm__l38_mazurulm.vout	2021-07-25 16:05	7.3K
	mazurulm__l17_mazurulm.vout	2021-07-25 14:53	71K
	mazurulm__l34_mazurulm.vout	2021-07-25 14:51	6.8K
	mazurulm__t8_mazurulm.vout	2021-07-25 14:50	4.1K
	mazurulm__t6_mazurulm.vout	2021-07-25 14:37	2.0K
	mazurulm__t23_mazurulm.vout	2021-07-25 14:24	4.7K
	mazurulm__l35_mazurulm	2021-07-18 10:36	124K
	mazurulm__l34_mazurulm	2021-07-18 10:35	129K
	mazurulm__l33_mazurulm	2021-07-18 10:34	65K
	mazurulm__l32_mazurulm	2021-07-18 10:34	115K
	mazurulm__l40_mazurulm	2021-07-18 10:33	287K
	mazurulm__l39_mazurulm	2021-07-18 10:32	231K
	mazurulm__l38_mazurulm	2021-07-18 10:32	151K
	mazurulm__l37_mazurulm	2021-07-18 10:31	48K
	mazurulm__l20_mazurulm	2021-07-18 10:30	49K
	mazurulm__l17_mazurulm	2021-07-18 10:30	38K
	mazurulm__l2_mazurulm	2021-07-18 10:29	121K
	mazurulm__t24_mazurulm	2021-07-18 10:29	51K
	mazurulm__t23_mazurulm	2021-07-18 10:28	52K
	mazurulm__t22_mazurulm	2021-07-18 10:28	68K
	mazurulm__t21_mazurulm	2021-07-18 10:27	41K
	mazurulm__t20_mazurulm	2021-07-18 10:27	36K
	mazurulm__t19_mazurulm	2021-07-18 10:26	48K
	mazurulm__t18_mazurulm	2021-07-18 10:26	44K
	mazurulm__t17_mazurulm	2021-07-18 10:25	56K
	mazurulm__t16_mazurulm	2021-07-18 10:25	73K
	mazurulm__t15_mazurulm	2021-07-18 10:24	62K
	mazurulm__t14_mazurulm	2021-07-18 10:23	61K
	mazurulm__t13_mazurulm	2021-07-18 10:23	51K
	mazurulm__t12_mazurulm	2021-07-18 10:22	36K
	mazurulm__t11_mazurulm	2021-07-18 10:22	41K
	mazurulm__t10_mazurulm	2021-07-18 10:21	44K
	mazurulm__t9_mazurulm	2021-07-18 10:21	36K
	mazurulm__t8_mazurulm	2021-07-18 10:20	44K
	mazurulm__t7_mazurulm	2021-07-18 10:20	66K
	mazurulm__t6_mazurulm	2021-07-18 10:19	34K
	mazurulm__t5_mazurulm	2021-07-18 10:19	57K
	mazurulm__t4_mazurulm	2021-07-18 10:18	25K
	mazurulm__t3_mazurulm	2021-07-18 10:18	42K
	mazurulm__t2_mazurulm	2021-07-18 10:17	32K
	mazurulm__t1_mazurulm	2021-07-18 10:17	30K
	mazurulm__l1_mazurulm	2021-07-18 10:17	29K