Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/prgcor_2

	Name	Last modified	Size	Description
	Parent Directory		-
	prgcor_2__t1_prgcor_2	2024-07-28 21:29	34K
	prgcor_2__t1_prgcor_2.depv1	2024-08-03 10:19	166
	prgcor_2__t1_prgcor_2.depvmin1	2024-08-03 10:24	166
	prgcor_2__t1_prgcor_2.vmin1	2024-08-03 10:19	2.4K
	prgcor_2__t1_prgcor_2.vmin1out	2024-08-03 10:20	64K
	prgcor_2__t1_prgcor_2.vout	2024-08-03 10:00	66K
	prgcor_2__t2_prgcor_2	2024-07-28 21:31	45K
	prgcor_2__t2_prgcor_2.vout	2024-08-03 07:46	7.3K
	prgcor_2__t3_prgcor_2	2024-07-28 21:33	65K
	prgcor_2__t3_prgcor_2.vout	2024-08-03 06:16	6.8K
	prgcor_2__t4_prgcor_2	2024-07-28 21:34	70K
	prgcor_2__t4_prgcor_2.vout	2024-08-03 08:10	6.8K
	prgcor_2__t5_prgcor_2	2024-07-28 21:36	45K
	prgcor_2__t5_prgcor_2.vout	2024-08-03 05:35	6.8K
	prgcor_2__t6_prgcor_2	2024-07-28 21:38	48K
	prgcor_2__t6_prgcor_2.vout	2024-08-03 09:11	6.8K
	prgcor_2__t7_prgcor_2	2024-07-28 21:39	53K
	prgcor_2__t7_prgcor_2.vout	2024-08-03 08:06	6.8K
	prgcor_2__t8_prgcor_2	2024-07-28 21:41	52K
	prgcor_2__t8_prgcor_2.vout	2024-08-03 05:08	6.8K
	prgcor_2__t9_prgcor_2	2024-07-28 21:43	54K
	prgcor_2__t9_prgcor_2.vout	2024-08-03 04:18	6.8K