Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/chain_1

	Name	Last modified	Size	Description
	Parent Directory		-
	chain_1__e1_71_1_1	2017-01-12 23:27	46K
	chain_1__e1_73_1_1	2017-01-12 23:27	56K
	chain_1__e1_98_1_1	2017-01-12 23:27	52K
	chain_1__e1_100_1_1	2017-01-12 23:27	52K
	chain_1__e2_18_1_1	2017-01-12 23:27	38K
	chain_1__e2_30	2017-01-12 23:27	28K
	chain_1__e2_31	2017-01-12 23:27	28K
	chain_1__e2_36	2017-01-12 23:27	48K
	chain_1__e2_67_1_1	2017-01-12 23:27	47K
	chain_1__e2_72	2017-01-12 23:27	47K
	chain_1__e2_76	2017-01-12 23:27	57K
	chain_1__e3_23	2017-01-12 23:27	37K
	chain_1__e3_24	2017-01-12 23:27	37K
	chain_1__e3_25	2017-01-12 23:27	41K
	chain_1__e3_35_1_1	2017-01-12 23:27	46K
	chain_1__e3_41_1_1_1	2017-01-12 23:27	48K
	chain_1__e3_42_1_1	2017-01-12 23:27	49K
	chain_1__e3_42_1_2	2017-01-12 23:27	49K
	chain_1__e3_42_1_3	2017-01-12 23:27	49K
	chain_1__e3_45_1_1	2017-01-12 23:27	49K
	chain_1__e3_79_2_1_1_1	2017-01-12 23:27	48K
	chain_1__e3_79_2_4_1_1	2017-01-12 23:27	48K
	chain_1__e4_12_1	2017-01-12 23:27	34K
	chain_1__e4_13_1	2017-01-12 23:27	34K
	chain_1__e4_43_1	2017-01-12 23:27	49K
	chain_1__e4_59_2_4	2017-01-12 23:27	49K
	chain_1__e4_70_1	2017-01-12 23:27	49K
	chain_1__e5_45_1_1	2017-01-12 23:27	45K
	chain_1__e5_87_1_1_4_1_2	2017-01-12 23:27	59K
	chain_1__e6_67_1_1	2017-01-12 23:27	47K
	chain_1__e7_45_1_1	2017-01-12 23:27	45K
	chain_1__e7_97_1_1_1_1	2017-01-12 23:27	58K
	chain_1__e11_87_1_1	2017-01-12 23:27	57K
	chain_1__e14_45_1_1	2017-01-12 23:27	60K
	chain_1__e17_87_1_1_1_1_2	2017-01-12 23:27	57K
	chain_1__e19_45_1_1	2017-01-12 23:27	53K
	chain_1__e20_87_1_1_1_1_2	2017-01-12 23:27	57K
	chain_1__e31_87_1_1_1_1_2	2017-01-12 23:27	57K
	chain_1__e34_87_1_1_1_1_2	2017-01-12 23:27	57K