Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from/sfmastr3

	Name	Last modified	Size	Description
	Parent Directory		-
	sfmastr3__e7_30	2017-01-12 23:59	150K
	sfmastr3__e7_38_5_2	2017-01-12 23:59	243K
	sfmastr3__e8_23	2017-01-12 23:59	163K
	sfmastr3__e10_48	2017-01-12 23:59	266K
	sfmastr3__e11_22	2017-01-12 23:59	169K
	sfmastr3__e23_48	2017-01-12 23:59	231K
	sfmastr3__e43_39	2017-01-12 23:59	242K