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

	Name	Last modified	Size	Description
	Parent Directory		-
	prvect_1__t1_prvect_1.vout	2021-07-25 20:02	2.0K
	prvect_1__l6_prvect_1.vout	2021-07-25 19:26	2.0K
	prvect_1__t12_prvect_1.vout	2021-07-25 19:47	2.0K
	prvect_1__t11_prvect_1.vout	2021-07-25 15:16	2.0K
	prvect_1__l7_prvect_1.vout	2021-07-25 16:55	3.7K
	prvect_1__l5_prvect_1.vout	2021-07-25 20:56	3.7K
	prvect_1__t5_prvect_1.vout	2021-07-25 20:48	3.7K
	prvect_1__l10_prvect_1.vout	2021-07-25 15:27	3.7K
	prvect_1__t4_prvect_1.vout	2021-07-25 14:26	3.7K
	prvect_1__t9_prvect_1.vout	2021-07-25 15:58	4.1K
	prvect_1__t18_prvect_1.vout	2021-07-25 17:15	4.1K
	prvect_1__t8_prvect_1.vout	2021-07-25 14:27	4.1K
	prvect_1__t6_prvect_1.vout	2021-07-25 14:33	4.1K
	prvect_1__t13_prvect_1.vout	2021-07-25 14:52	4.1K
	prvect_1__t17_prvect_1.vout	2021-07-25 19:06	4.1K
	prvect_1__t16_prvect_1.vout	2021-07-25 16:43	4.2K
	prvect_1__t7_prvect_1.vout	2021-07-25 15:22	4.2K
	prvect_1__t10_prvect_1.vout	2021-07-25 14:34	6.8K
	prvect_1__t2_prvect_1.vout	2021-07-25 17:23	7.3K
	prvect_1__l3_prvect_1.vout	2021-07-25 16:47	7.3K
	prvect_1__t15_prvect_1.vout	2021-07-25 16:28	7.3K
	prvect_1__t19_prvect_1.vout	2021-07-25 20:16	7.3K
	prvect_1__t20_prvect_1.vout	2021-07-25 18:10	7.3K
	prvect_1__t14_prvect_1.vout	2021-07-25 18:45	7.4K
	prvect_1__t3_prvect_1.vout	2021-07-25 15:36	7.8K
	prvect_1__l5_prvect_1	2021-07-17 17:18	20K
	prvect_1__l6_prvect_1	2021-07-17 17:19	22K
	prvect_1__t12_prvect_1	2021-07-17 17:24	22K
	prvect_1__t11_prvect_1	2021-07-17 17:24	23K
	prvect_1__t1_prvect_1	2021-07-17 17:19	24K
	prvect_1__t13_prvect_1	2021-07-17 17:25	25K
	prvect_1__t16_prvect_1	2021-07-17 17:26	25K
	prvect_1__t17_prvect_1	2021-07-17 17:27	26K
	prvect_1__l7_prvect_1	2021-07-17 17:29	26K
	prvect_1__t18_prvect_1	2021-07-17 17:27	26K
	prvect_1__t19_prvect_1	2021-07-17 17:27	26K
	prvect_1__t3_prvect_1	2021-07-17 17:20	26K
	prvect_1__t4_prvect_1	2021-07-17 17:21	27K
	prvect_1__t6_prvect_1	2021-07-17 17:22	27K
	prvect_1__t7_prvect_1	2021-07-17 17:22	27K
	prvect_1__l10_prvect_1	2021-07-17 17:30	28K
	prvect_1__t5_prvect_1	2021-07-17 17:21	28K
	prvect_1__t15_prvect_1	2021-07-17 17:26	28K
	prvect_1__t14_prvect_1	2021-07-17 17:25	29K
	prvect_1__l3_prvect_1	2021-07-17 17:28	29K
	prvect_1__t2_prvect_1	2021-07-17 17:20	29K
	prvect_1__t8_prvect_1	2021-07-17 17:23	29K
	prvect_1__t20_prvect_1	2021-07-17 17:28	31K
	prvect_1__t9_prvect_1	2021-07-17 17:23	35K
	prvect_1__t10_prvect_1	2021-07-17 17:24	38K