Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/bhsp_4

	Name	Last modified	Size	Description
	Parent Directory		-
	bhsp_4__e1_1_1_1	2017-01-05 21:21	63K
	bhsp_4__e1_42_1_1	2017-01-05 21:21	62K
	bhsp_4__e3_32_1	2017-01-05 21:21	66K
	bhsp_4__e4_15	2017-01-05 21:21	65K
	bhsp_4__e4_39	2017-01-05 21:21	71K
	bhsp_4__e7_1_1_2	2017-01-05 21:21	61K
	bhsp_4__e9_40_1	2017-01-05 21:21	78K
	bhsp_4__e9_40_2	2017-01-05 21:21	78K
	bhsp_4__e9_53	2017-01-05 21:21	85K
	bhsp_4__e10_16	2017-01-05 21:21	74K