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

	Name	Last modified	Size	Description
	Parent Directory		-
	closure1__t9_closure1.depvmin1	2021-07-25 21:03	115
	closure1__t1_closure1.depvmin1	2021-07-25 21:03	46
	closure1__t9_closure1.vmin1out	2021-07-25 21:01	21K
	closure1__t1_closure1.vmin1out	2021-07-25 20:58	15K
	closure1__t9_closure1.vmin1	2021-07-25 20:57	2.0K
	closure1__t1_closure1.vmin1	2021-07-25 20:57	484
	closure1__t9_closure1.depv1	2021-07-25 20:57	115
	closure1__t1_closure1.depv1	2021-07-25 20:57	46
	closure1__t16_closure1.vout	2021-07-25 20:41	4.7K
	closure1__t9_closure1.vout	2021-07-25 20:38	27K
	closure1__t19_closure1.vout	2021-07-25 20:29	4.7K
	closure1__t3_closure1.vout	2021-07-25 20:29	7.3K
	closure1__t2_closure1.vout	2021-07-25 20:18	2.0K
	closure1__t14_closure1.vout	2021-07-25 20:13	6.2K
	closure1__t20_closure1.vout	2021-07-25 19:58	4.7K
	closure1__t28_closure1.vout	2021-07-25 19:48	4.7K
	closure1__t10_closure1.vout	2021-07-25 19:42	6.2K
	closure1__t26_closure1.vout	2021-07-25 19:28	7.3K
	closure1__t38_closure1.vout	2021-07-25 19:27	4.7K
	closure1__t31_closure1.vout	2021-07-25 19:18	7.3K
	closure1__t18_closure1.vout	2021-07-25 19:07	4.7K
	closure1__t40_closure1.vout	2021-07-25 18:35	5.3K
	closure1__t34_closure1.vout	2021-07-25 18:30	4.7K
	closure1__t39_closure1.vout	2021-07-25 18:29	3.7K
	closure1__t12_closure1.vout	2021-07-25 18:20	6.2K
	closure1__t1_closure1.vout	2021-07-25 18:14	9.0K
	closure1__t35_closure1.vout	2021-07-25 18:05	4.7K
	closure1__t24_closure1.vout	2021-07-25 17:35	7.3K
	closure1__t11_closure1.vout	2021-07-25 17:32	6.8K
	closure1__t22_closure1.vout	2021-07-25 17:29	4.7K
	closure1__t23_closure1.vout	2021-07-25 17:17	4.7K
	closure1__t25_closure1.vout	2021-07-25 17:10	7.3K
	closure1__l3_closure1.vout	2021-07-25 17:04	7.3K
	closure1__t33_closure1.vout	2021-07-25 16:49	3.7K
	closure1__t5_closure1.vout	2021-07-25 16:42	4.7K
	closure1__t15_closure1.vout	2021-07-25 16:40	6.3K
	closure1__t36_closure1.vout	2021-07-25 16:39	3.7K
	closure1__t30_closure1.vout	2021-07-25 16:20	6.8K
	closure1__t27_closure1.vout	2021-07-25 16:10	7.3K
	closure1__t37_closure1.vout	2021-07-25 15:58	4.7K
	closure1__t21_closure1.vout	2021-07-25 15:54	4.7K
	closure1__t6_closure1.vout	2021-07-25 15:53	7.3K
	closure1__t32_closure1.vout	2021-07-25 15:41	3.7K
	closure1__t17_closure1.vout	2021-07-25 15:31	4.7K
	closure1__t7_closure1.vout	2021-07-25 15:07	6.8K
	closure1__t4_closure1.vout	2021-07-25 15:02	6.2K
	closure1__t29_closure1.vout	2021-07-25 14:54	7.3K
	closure1__t8_closure1.vout	2021-07-25 14:52	4.7K
	closure1__t13_closure1.vout	2021-07-25 14:47	2.0K
	closure1__l29_closure1.vout	2021-07-25 14:27	4.7K
	closure1__l29_closure1	2021-07-18 01:55	29K
	closure1__l3_closure1	2021-07-18 01:55	21K
	closure1__t32_closure1	2021-07-18 01:54	29K
	closure1__t1_closure1	2021-07-18 01:54	8.2K
	closure1__t40_closure1	2021-07-18 01:54	49K
	closure1__t39_closure1	2021-07-18 01:53	47K
	closure1__t37_closure1	2021-07-18 01:53	27K
	closure1__t36_closure1	2021-07-18 01:52	26K
	closure1__t35_closure1	2021-07-18 01:52	24K
	closure1__t34_closure1	2021-07-18 01:51	24K
	closure1__t33_closure1	2021-07-18 01:51	39K
	closure1__t31_closure1	2021-07-18 01:51	20K
	closure1__t30_closure1	2021-07-18 01:50	41K
	closure1__t29_closure1	2021-07-18 01:50	22K
	closure1__t28_closure1	2021-07-18 01:50	26K
	closure1__t27_closure1	2021-07-18 01:49	35K
	closure1__t26_closure1	2021-07-18 01:49	32K
	closure1__t25_closure1	2021-07-18 01:48	32K
	closure1__t24_closure1	2021-07-18 01:48	32K
	closure1__t23_closure1	2021-07-18 01:48	29K
	closure1__t22_closure1	2021-07-18 01:47	27K
	closure1__t21_closure1	2021-07-18 01:47	27K
	closure1__t20_closure1	2021-07-18 01:47	27K
	closure1__t19_closure1	2021-07-18 01:46	28K
	closure1__t18_closure1	2021-07-18 01:46	26K
	closure1__t17_closure1	2021-07-18 01:46	22K
	closure1__t16_closure1	2021-07-18 01:45	23K
	closure1__t15_closure1	2021-07-18 01:45	27K
	closure1__t14_closure1	2021-07-18 01:45	18K
	closure1__t13_closure1	2021-07-18 01:45	21K
	closure1__t12_closure1	2021-07-18 01:44	18K
	closure1__t11_closure1	2021-07-18 01:44	34K
	closure1__t10_closure1	2021-07-18 01:44	15K
	closure1__t9_closure1	2021-07-18 01:43	17K
	closure1__t8_closure1	2021-07-18 01:43	22K
	closure1__t7_closure1	2021-07-18 01:43	27K
	closure1__t6_closure1	2021-07-18 01:43	26K
	closure1__t5_closure1	2021-07-18 01:42	17K
	closure1__t4_closure1	2021-07-18 01:42	20K
	closure1__t3_closure1	2021-07-18 01:42	20K
	closure1__t38_closure1	2021-07-18 01:42	26K
	closure1__t2_closure1	2021-07-18 01:41	8.0K