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

	Name	Last modified	Size	Description
	Parent Directory		-
	closure3__l5_closure3	2021-07-18 11:42	11K
	closure3__l5_closure3.vout	2021-07-25 16:21	4.2K
	closure3__t1_closure3	2021-07-18 11:38	11K
	closure3__t1_closure3.depv1	2021-07-25 20:57	71
	closure3__t1_closure3.depvmin1	2021-07-25 21:03	71
	closure3__t1_closure3.vmin1	2021-07-25 20:57	884
	closure3__t1_closure3.vmin1out	2021-07-25 20:59	15K
	closure3__t1_closure3.vout	2021-07-25 18:22	16K
	closure3__t2_closure3	2021-07-18 11:38	17K
	closure3__t2_closure3.depv1	2021-07-25 20:57	53
	closure3__t2_closure3.depvmin1	2021-07-25 21:03	53
	closure3__t2_closure3.vmin1	2021-07-25 20:57	1.3K
	closure3__t2_closure3.vmin1out	2021-07-25 21:01	15K
	closure3__t2_closure3.vout	2021-07-25 15:22	16K
	closure3__t3_closure3	2021-07-18 11:38	53K
	closure3__t3_closure3.vout	2021-07-25 20:29	3.7K
	closure3__t4_closure3	2021-07-18 11:39	8.9K
	closure3__t4_closure3.depv1	2021-07-25 20:57	34
	closure3__t4_closure3.depvmin1	2021-07-25 21:03	34
	closure3__t4_closure3.vmin1	2021-07-25 20:57	429
	closure3__t4_closure3.vmin1out	2021-07-25 21:01	9.4K
	closure3__t4_closure3.vout	2021-07-25 14:53	11K
	closure3__t5_closure3	2021-07-18 11:39	20K
	closure3__t5_closure3.vout	2021-07-25 17:24	3.7K
	closure3__t6_closure3	2021-07-18 11:39	16K
	closure3__t6_closure3.depv1	2021-07-25 20:57	227
	closure3__t6_closure3.depvmin1	2021-07-25 21:03	227
	closure3__t6_closure3.vmin1	2021-07-25 20:57	2.9K
	closure3__t6_closure3.vmin1out	2021-07-25 20:58	30K
	closure3__t6_closure3.vout	2021-07-25 18:03	57K
	closure3__t8_closure3	2021-07-18 11:39	29K
	closure3__t8_closure3.vout	2021-07-25 15:10	3.7K
	closure3__t9_closure3	2021-07-18 11:40	27K
	closure3__t9_closure3.vout	2021-07-25 19:27	6.8K
	closure3__t10_closure3	2021-07-18 11:40	23K
	closure3__t10_closure3.vout	2021-07-25 19:02	6.8K
	closure3__t11_closure3	2021-07-18 11:40	18K
	closure3__t11_closure3.vout	2021-07-25 15:43	7.3K
	closure3__t12_closure3	2021-07-18 11:41	22K
	closure3__t12_closure3.vout	2021-07-25 20:46	7.3K
	closure3__t13_closure3	2021-07-18 11:41	20K
	closure3__t13_closure3.vout	2021-07-25 18:44	6.8K
	closure3__t14_closure3	2021-07-18 11:41	41K
	closure3__t14_closure3.vout	2021-07-25 15:13	7.4K