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

	Name	Last modified	Size	Description
	Parent Directory		-
	trees_a__t10_trees_a.depv1	2021-07-25 20:57	37
	trees_a__t10_trees_a.depvmin1	2021-07-25 21:03	37
	trees_a__t1_trees_a.depv1	2021-07-25 20:57	48
	trees_a__t1_trees_a.depvmin1	2021-07-25 21:03	48
	trees_a__t3_trees_a.depv1	2021-07-25 20:57	79
	trees_a__t3_trees_a.depvmin1	2021-07-25 21:03	79
	trees_a__t13_trees_a.depvmin1	2021-07-25 21:03	161
	trees_a__t13_trees_a.depv1	2021-07-25 20:57	176
	trees_a__t4_trees_a.depv1	2021-07-25 20:57	189
	trees_a__t4_trees_a.depvmin1	2021-07-25 21:03	189
	trees_a__t3_trees_a.vmin1	2021-07-25 20:57	1.0K
	trees_a__t1_trees_a.vmin1	2021-07-25 20:57	1.2K
	trees_a__t4_trees_a.vmin1	2021-07-25 20:57	1.9K
	trees_a__t10_trees_a.vmin1	2021-07-25 20:57	1.9K
	trees_a__t13_trees_a.vmin1	2021-07-25 20:57	2.5K
	trees_a__t7_trees_a.vout	2021-07-25 19:09	3.7K
	trees_a__t9_trees_a.vout	2021-07-25 20:33	4.1K
	trees_a__t5_trees_a.vout	2021-07-25 17:12	5.3K
	trees_a__t14_trees_a.vout	2021-07-25 20:21	6.8K
	trees_a__t15_trees_a.vout	2021-07-25 20:03	6.8K
	trees_a__t11_trees_a.vout	2021-07-25 15:52	6.8K
	trees_a__t2_trees_a.vout	2021-07-25 18:29	7.3K
	trees_a__t12_trees_a.vout	2021-07-25 18:51	7.3K
	trees_a__t6_trees_a.vout	2021-07-25 17:52	7.3K
	trees_a__t8_trees_a.vout	2021-07-25 20:07	7.3K
	trees_a__t16_trees_a.vout	2021-07-25 17:03	7.3K
	trees_a__t1_trees_a	2021-07-18 03:21	9.9K
	trees_a__t3_trees_a	2021-07-18 03:24	11K
	trees_a__t4_trees_a	2021-07-18 03:24	12K
	trees_a__t5_trees_a	2021-07-18 03:25	13K
	trees_a__t6_trees_a	2021-07-18 03:25	13K
	trees_a__t9_trees_a	2021-07-18 03:22	14K
	trees_a__t13_trees_a	2021-07-18 03:26	15K
	trees_a__t15_trees_a	2021-07-18 03:27	15K
	trees_a__t11_trees_a	2021-07-18 03:23	15K
	trees_a__t10_trees_a	2021-07-18 03:22	15K
	trees_a__t12_trees_a	2021-07-18 03:26	16K
	trees_a__t8_trees_a	2021-07-18 03:22	16K
	trees_a__t2_trees_a	2021-07-18 03:24	16K
	trees_a__t14_trees_a	2021-07-18 03:26	17K
	trees_a__t7_trees_a	2021-07-18 03:25	18K
	trees_a__t3_trees_a.vmin1out	2021-07-25 20:57	25K
	trees_a__t3_trees_a.vout	2021-07-25 17:03	25K
	trees_a__t13_trees_a.vmin1out	2021-07-25 20:58	25K
	trees_a__t16_trees_a	2021-07-18 03:23	26K
	trees_a__t1_trees_a.vmin1out	2021-07-25 21:01	31K
	trees_a__t13_trees_a.vout	2021-07-25 19:25	34K
	trees_a__t1_trees_a.vout	2021-07-25 20:32	34K
	trees_a__t4_trees_a.vout	2021-07-25 20:55	36K
	trees_a__t4_trees_a.vmin1out	2021-07-25 21:02	37K
	trees_a__t10_trees_a.vmin1out	2021-07-25 21:02	67K
	trees_a__t10_trees_a.vout	2021-07-25 14:55	146K