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

	Name	Last modified	Size	Description
	Parent Directory		-
	csspace3__t9_csspace3.vout	2021-07-25 15:45	4.7K
	csspace3__t9_csspace3	2021-07-18 03:59	117K
	csspace3__t8_csspace3.vout	2021-07-25 15:29	2.0K
	csspace3__t8_csspace3	2021-07-18 03:57	29K
	csspace3__t7_csspace3.vout	2021-07-25 15:48	4.7K
	csspace3__t7_csspace3	2021-07-18 03:57	86K
	csspace3__t6_csspace3.vout	2021-07-25 20:40	6.3K
	csspace3__t6_csspace3	2021-07-18 03:56	77K
	csspace3__t5_csspace3.vout	2021-07-25 15:38	84K
	csspace3__t5_csspace3.vmin1out	2021-07-25 20:59	81K
	csspace3__t5_csspace3.vmin1	2021-07-25 20:57	8.0K
	csspace3__t5_csspace3.depvmin1	2021-07-25 21:03	338
	csspace3__t5_csspace3.depv1	2021-07-25 20:57	338
	csspace3__t5_csspace3	2021-07-18 03:53	38K
	csspace3__t3_csspace3.vout	2021-07-25 15:27	7.3K
	csspace3__t3_csspace3	2021-07-18 03:55	39K
	csspace3__t2_csspace3.vout	2021-07-25 15:21	24K
	csspace3__t2_csspace3.vmin1out	2021-07-25 20:59	28K
	csspace3__t2_csspace3.vmin1	2021-07-25 20:57	2.5K
	csspace3__t2_csspace3.depvmin1	2021-07-25 21:03	39
	csspace3__t2_csspace3.depv1	2021-07-25 20:57	39
	csspace3__t2_csspace3	2021-07-18 03:52	27K
	csspace3__t1_csspace3.vout	2021-07-25 19:00	4.1K
	csspace3__t1_csspace3	2021-07-18 03:55	55K
	csspace3__l13_csspace3.vout	2021-07-25 18:05	4.7K
	csspace3__l13_csspace3	2021-07-18 03:59	61K
	csspace3__l7_csspace3.vout	2021-07-25 16:08	54K
	csspace3__l7_csspace3.vmin1out	2021-07-25 21:01	70K
	csspace3__l7_csspace3.vmin1	2021-07-25 20:57	5.7K
	csspace3__l7_csspace3.depvmin1	2021-07-25 21:03	149
	csspace3__l7_csspace3.depv1	2021-07-25 20:57	149
	csspace3__l7_csspace3	2021-07-18 03:54	33K
	csspace3__l3_csspace3.vout	2021-07-25 14:40	9.8K
	csspace3__l3_csspace3.vmin1out	2021-07-25 20:58	10K
	csspace3__l3_csspace3.vmin1	2021-07-25 20:57	1.3K
	csspace3__l3_csspace3.depvmin1	2021-07-25 21:03	91
	csspace3__l3_csspace3.depv1	2021-07-25 20:57	91
	csspace3__l3_csspace3	2021-07-18 03:53	32K