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

	Name	Last modified	Size	Description
	Parent Directory		-
	prsubset__l3_prsubset	2021-07-17 19:42	50K
	prsubset__l3_prsubset.vout	2021-07-25 17:06	7.3K
	prsubset__l4_prsubset	2021-07-17 19:42	51K
	prsubset__l4_prsubset.vout	2021-07-25 14:48	6.8K
	prsubset__l8_prsubset	2021-07-17 19:43	36K
	prsubset__l8_prsubset.depv1	2021-07-25 20:57	236
	prsubset__l8_prsubset.depvmin1	2021-07-25 21:03	236
	prsubset__l8_prsubset.vmin1	2021-07-25 20:57	2.3K
	prsubset__l8_prsubset.vmin1out	2021-07-25 20:58	27K
	prsubset__l8_prsubset.vout	2021-07-25 18:14	28K
	prsubset__l10_prsubset	2021-07-17 19:43	35K
	prsubset__l10_prsubset.vout	2021-07-25 18:16	3.7K
	prsubset__t1_prsubset	2021-07-17 19:38	67K
	prsubset__t1_prsubset.vout	2021-07-25 20:10	4.2K
	prsubset__t2_prsubset	2021-07-17 19:38	37K
	prsubset__t2_prsubset.vout	2021-07-25 16:51	7.3K
	prsubset__t3_prsubset	2021-07-17 19:39	75K
	prsubset__t3_prsubset.vout	2021-07-25 17:59	3.7K
	prsubset__t4_prsubset	2021-07-17 19:39	24K
	prsubset__t4_prsubset.vout	2021-07-25 16:57	7.8K
	prsubset__t5_prsubset	2021-07-17 19:40	35K
	prsubset__t5_prsubset.vout	2021-07-25 17:11	3.7K
	prsubset__t6_prsubset	2021-07-17 19:40	42K
	prsubset__t6_prsubset.vout	2021-07-25 18:50	7.3K
	prsubset__t7_prsubset	2021-07-17 19:41	86K
	prsubset__t7_prsubset.vout	2021-07-25 15:55	3.7K