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

	Name	Last modified	Size	Description
	Parent Directory		-
	ndiff_5__e1_33_1_1	2017-01-12 23:29	82K
	ndiff_5__e1_44_1_1	2017-01-12 23:29	90K
	ndiff_5__e2_31	2017-01-12 23:29	73K
	ndiff_5__e2_62	2017-01-12 23:29	98K
	ndiff_5__e2_62_1	2017-01-12 23:29	100K
	ndiff_5__e3_34_1_1	2017-01-12 23:29	87K
	ndiff_5__e3_76_2	2017-01-12 23:29	102K
	ndiff_5__e3_77_1_2	2017-01-12 23:29	107K
	ndiff_5__e4_32	2017-01-12 23:29	78K
	ndiff_5__e4_62_7	2017-01-12 23:29	100K
	ndiff_5__e5_7	2017-01-12 23:29	87K
	ndiff_5__e5_63_1_2	2017-01-12 23:29	83K
	ndiff_5__e7_1_1	2017-01-12 23:29	87K
	ndiff_5__e7_28_1	2017-01-12 23:29	82K
	ndiff_5__e7_29_1	2017-01-12 23:29	68K
	ndiff_5__e8_62	2017-01-12 23:29	97K
	ndiff_5__e8_62_7	2017-01-12 23:29	84K
	ndiff_5__e10_77_1_2_2	2017-01-12 23:29	82K
	ndiff_5__e11_30_1	2017-01-12 23:29	70K
	ndiff_5__e11_65	2017-01-12 23:29	117K
	ndiff_5__e14_65	2017-01-12 23:29	94K
	ndiff_5__e16_77_1_2_2	2017-01-12 23:30	82K
	ndiff_5__e17_65	2017-01-12 23:29	85K
	ndiff_5__e18_30_1	2017-01-12 23:29	83K
	ndiff_5__e18_76_2_4	2017-01-12 23:29	84K
	ndiff_5__e20_76	2017-01-12 23:29	89K
	ndiff_5__e21_77_1_2_2	2017-01-12 23:30	68K
	ndiff_5__e22_31	2017-01-12 23:29	76K
	ndiff_5__e26_76_2_4	2017-01-12 23:29	84K