Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/random_1

	Name	Last modified	Size	Description
	Parent Directory		-
	random_1__e1_30_1_1	2017-01-12 23:14	46K
	random_1__e2_12	2017-01-12 23:14	49K
	random_1__e2_26	2017-01-12 23:14	45K
	random_1__e2_28	2017-01-12 23:14	45K
	random_1__e4_20	2017-01-12 23:14	47K
	random_1__e5_56	2017-01-12 23:14	56K
	random_1__e6_6	2017-01-12 23:14	49K
	random_1__e7_57	2017-01-12 23:14	51K
	random_1__e13_20	2017-01-12 23:14	50K
	random_1__e14_19	2017-01-12 23:14	68K
	random_1__e21_19	2017-01-12 23:14	68K
	random_1__e24_21	2017-01-12 23:14	54K
	random_1__e27_21	2017-01-12 23:14	54K
	random_1__e38_21	2017-01-12 23:14	68K
	random_1__e46_19	2017-01-12 23:14	68K
	random_1__e46_21	2017-01-12 23:14	68K