Index of /~mptp/1147/MPTP2/problems_thf_isof_from/fin_topo

	Name	Last modified	Size	Description
	Parent Directory		-
	fin_topo__e1_3_1	2017-01-13 00:14	38K
	fin_topo__e1_16_1_1	2017-01-13 00:14	30K
	fin_topo__e1_20_1_1	2017-01-13 00:14	29K
	fin_topo__e1_20_2_1	2017-01-13 00:14	29K
	fin_topo__e1_20_3_1	2017-01-13 00:14	31K
	fin_topo__e1_21_2_1	2017-01-13 00:14	29K
	fin_topo__e6_3_1	2017-01-13 00:14	37K
	fin_topo__e6_33_1	2017-01-13 00:14	55K
	fin_topo__e9_1	2017-01-13 00:14	37K
	fin_topo__e11_2	2017-01-13 00:14	37K
	fin_topo__e17_33_1	2017-01-13 00:14	47K
	fin_topo__e18_3_1	2017-01-13 00:14	29K
	fin_topo__e21_3_1	2017-01-13 00:14	46K
	fin_topo__e21_33	2017-01-13 00:14	47K
	fin_topo__e54_3_1	2017-01-13 00:14	40K