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

	Name	Last modified	Size	Description
	Parent Directory		-
	huffman1__t31_huffman1.vout	2021-07-25 14:36	6.8K
	huffman1__t31_huffman1	2021-07-17 21:29	92K
	huffman1__t30_huffman1.vout	2021-07-25 20:20	4.7K
	huffman1__t30_huffman1	2021-07-17 21:28	72K
	huffman1__t29_huffman1.vout	2021-07-25 20:17	6.8K
	huffman1__t29_huffman1	2021-07-17 21:27	94K
	huffman1__t28_huffman1.vout	2021-07-25 20:40	4.7K
	huffman1__t28_huffman1	2021-07-17 21:26	84K
	huffman1__t27_huffman1.vout	2021-07-25 14:49	6.8K
	huffman1__t27_huffman1	2021-07-17 21:25	89K
	huffman1__t26_huffman1.vout	2021-07-25 20:29	6.8K
	huffman1__t26_huffman1	2021-07-17 21:24	102K
	huffman1__t25_huffman1.vout	2021-07-25 18:44	6.8K
	huffman1__t25_huffman1	2021-07-17 21:23	102K
	huffman1__t24_huffman1.vout	2021-07-25 14:52	6.8K
	huffman1__t24_huffman1	2021-07-17 21:22	98K
	huffman1__t23_huffman1.vout	2021-07-25 15:51	4.7K
	huffman1__t23_huffman1	2021-07-17 21:21	66K
	huffman1__t22_huffman1.vout	2021-07-25 19:18	6.8K
	huffman1__t22_huffman1	2021-07-17 21:21	87K
	huffman1__t21_huffman1.vout	2021-07-25 19:56	6.8K
	huffman1__t21_huffman1	2021-07-17 21:20	111K
	huffman1__t20_huffman1.vout	2021-07-25 18:03	7.3K
	huffman1__t20_huffman1	2021-07-17 21:32	84K
	huffman1__t19_huffman1.vout	2021-07-25 16:26	6.8K
	huffman1__t19_huffman1	2021-07-17 21:31	103K
	huffman1__t18_huffman1.vout	2021-07-25 15:41	3.7K
	huffman1__t18_huffman1	2021-07-17 21:31	61K
	huffman1__t17_huffman1.vout	2021-07-25 20:08	3.7K
	huffman1__t17_huffman1	2021-07-17 21:19	201K
	huffman1__t16_huffman1.vout	2021-07-25 18:06	20K
	huffman1__t16_huffman1.vmin1out	2021-07-25 21:00	20K
	huffman1__t16_huffman1.vmin1	2021-07-25 20:57	2.2K
	huffman1__t16_huffman1.depvmin1	2021-07-25 21:03	272
	huffman1__t16_huffman1.depv1	2021-07-25 20:57	272
	huffman1__t16_huffman1	2021-07-17 21:18	49K
	huffman1__t15_huffman1.vout	2021-07-25 15:57	10K
	huffman1__t15_huffman1	2021-07-17 21:17	48K
	huffman1__t14_huffman1.vout	2021-07-25 15:59	7.3K
	huffman1__t14_huffman1	2021-07-17 21:16	58K
	huffman1__t13_huffman1.vout	2021-07-25 19:39	7.3K
	huffman1__t13_huffman1	2021-07-17 21:16	67K
	huffman1__t12_huffman1.vout	2021-07-25 15:32	4.2K
	huffman1__t12_huffman1	2021-07-17 21:15	59K
	huffman1__t11_huffman1.vout	2021-07-25 18:50	4.7K
	huffman1__t11_huffman1	2021-07-17 21:14	57K
	huffman1__t10_huffman1.vout	2021-07-25 17:44	7.3K
	huffman1__t10_huffman1	2021-07-17 21:30	61K
	huffman1__t9_huffman1.vout	2021-07-25 14:53	4.7K
	huffman1__t9_huffman1	2021-07-17 21:14	58K
	huffman1__t8_huffman1.vout	2021-07-25 18:58	5.9K
	huffman1__t8_huffman1	2021-07-17 21:13	45K
	huffman1__t7_huffman1.vout	2021-07-25 18:52	7.3K
	huffman1__t7_huffman1	2021-07-17 21:12	44K
	huffman1__t6_huffman1.vout	2021-07-25 17:19	7.3K
	huffman1__t6_huffman1	2021-07-17 21:12	67K
	huffman1__t5_huffman1.vout	2021-07-25 17:52	3.7K
	huffman1__t5_huffman1	2021-07-17 21:11	64K
	huffman1__t4_huffman1.vout	2021-07-25 15:50	36K
	huffman1__t4_huffman1.vmin1out	2021-07-25 21:00	37K
	huffman1__t4_huffman1.vmin1	2021-07-25 20:57	2.5K
	huffman1__t4_huffman1.depvmin1	2021-07-25 21:03	252
	huffman1__t4_huffman1.depv1	2021-07-25 20:57	252
	huffman1__t4_huffman1	2021-07-17 21:10	43K
	huffman1__t3_huffman1.vout	2021-07-25 17:52	7.3K
	huffman1__t3_huffman1	2021-07-17 21:10	47K
	huffman1__t2_huffman1.vout	2021-07-25 15:21	7.3K
	huffman1__t2_huffman1	2021-07-17 21:09	48K
	huffman1__t1_huffman1.vout	2021-07-25 18:46	7.3K
	huffman1__t1_huffman1	2021-07-17 21:08	43K
	huffman1__l19_huffman1.vout	2021-07-25 19:00	7.3K
	huffman1__l19_huffman1	2021-07-17 21:35	58K
	huffman1__l18_huffman1.vout	2021-07-25 17:56	5.3K
	huffman1__l18_huffman1.vmin1out	2021-07-25 21:00	5.2K
	huffman1__l18_huffman1.vmin1	2021-07-25 20:57	407
	huffman1__l18_huffman1.depvmin1	2021-07-25 21:03	58
	huffman1__l18_huffman1.depv1	2021-07-25 20:57	58
	huffman1__l18_huffman1	2021-07-17 21:35	35K
	huffman1__l17_huffman1.vout	2021-07-25 18:51	23K
	huffman1__l17_huffman1.vmin1out	2021-07-25 20:59	24K
	huffman1__l17_huffman1.vmin1	2021-07-25 20:57	1.9K
	huffman1__l17_huffman1.depvmin1	2021-07-25 21:03	266
	huffman1__l17_huffman1.depv1	2021-07-25 20:57	292
	huffman1__l17_huffman1	2021-07-17 21:34	37K
	huffman1__l16_huffman1.vout	2021-07-25 14:49	7.5K
	huffman1__l16_huffman1.vmin1out	2021-07-25 20:59	6.9K
	huffman1__l16_huffman1.vmin1	2021-07-25 20:57	1.0K
	huffman1__l16_huffman1.depvmin1	2021-07-25 21:03	101
	huffman1__l16_huffman1.depv1	2021-07-25 20:57	126
	huffman1__l16_huffman1	2021-07-17 21:33	41K
	huffman1__l15_huffman1.vout	2021-07-25 16:48	9.0K
	huffman1__l15_huffman1.vmin1out	2021-07-25 20:59	8.9K
	huffman1__l15_huffman1.vmin1	2021-07-25 20:57	633
	huffman1__l15_huffman1.depvmin1	2021-07-25 21:03	69
	huffman1__l15_huffman1.depv1	2021-07-25 20:57	69
	huffman1__l15_huffman1	2021-07-17 21:33	36K