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

	Name	Last modified	Size	Description
	Parent Directory		-
	substut1__e1_14_1_1	2017-01-12 23:27	60K
	substut1__e1_15_1	2017-01-12 23:27	52K
	substut1__e1_32_1_1	2017-01-12 23:27	33K
	substut1__e1_83_1_1	2017-01-12 23:27	47K
	substut1__e2_7_1_1	2017-01-12 23:27	42K
	substut1__e2_15_2	2017-01-12 23:27	52K
	substut1__e2_15_3	2017-01-12 23:27	52K
	substut1__e2_15_4	2017-01-12 23:27	53K
	substut1__e2_15_5	2017-01-12 23:27	52K
	substut1__e2_17_1_1	2017-01-12 23:27	31K
	substut1__e2_17_1_1_1_1	2017-01-12 23:27	40K
	substut1__e2_25_1_1	2017-01-12 23:27	35K
	substut1__e2_99_1_1	2017-01-12 23:27	46K
	substut1__e3_18_1_1	2017-01-12 23:27	30K
	substut1__e3_19_1_1	2017-01-12 23:27	30K
	substut1__e3_76_1	2017-01-12 23:27	50K
	substut1__e4_76_1_1	2017-01-12 23:27	47K
	substut1__e5_76_1	2017-01-12 23:27	48K
	substut1__e5_82	2017-01-12 23:27	53K
	substut1__e6_53	2017-01-12 23:27	47K
	substut1__e6_69_1	2017-01-12 23:27	44K
	substut1__e6_77_1	2017-01-12 23:27	49K
	substut1__e6_98_1	2017-01-12 23:27	46K
	substut1__e8_76_1_3	2017-01-12 23:27	47K