Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/prgcor_2

	Name	Last modified	Size	Description
	Parent Directory		-
	prgcor_2__e1_7	2017-01-05 21:24	78K
	prgcor_2__e5_6	2017-01-05 21:24	79K
	prgcor_2__e8_5_1_1	2017-01-05 21:24	75K
	prgcor_2__e9_4	2017-01-05 21:24	67K
	prgcor_2__e18_5_1_2_1	2017-01-05 21:24	64K