Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from/ideal_1

	Name	Last modified	Size	Description
	Parent Directory		-
	ideal_1__e2_62	2017-01-13 00:14	96K
	ideal_1__e2_63	2017-01-13 00:14	105K
	ideal_1__e2_65	2017-01-13 00:14	94K
	ideal_1__e2_66	2017-01-13 00:14	102K
	ideal_1__e2_68	2017-01-13 00:14	94K
	ideal_1__e2_69	2017-01-13 00:14	102K
	ideal_1__e2_114_1_2	2017-01-13 00:14	65K
	ideal_1__e3_162_1_1_1	2017-01-13 00:14	106K
	ideal_1__e4_30	2017-01-13 00:14	86K
	ideal_1__e5_31	2017-01-13 00:14	83K
	ideal_1__e6_162	2017-01-13 00:14	117K
	ideal_1__e6_165	2017-01-13 00:14	112K
	ideal_1__e7_162_1_1_2	2017-01-13 00:14	106K
	ideal_1__e8_163	2017-01-13 00:14	98K
	ideal_1__e8_166_4	2017-01-13 00:14	106K
	ideal_1__e9_87_3	2017-01-13 00:14	112K
	ideal_1__e9_88_3	2017-01-13 00:14	112K
	ideal_1__e9_89_3	2017-01-13 00:14	112K
	ideal_1__e11_91_1	2017-01-13 00:14	120K
	ideal_1__e11_92_1	2017-01-13 00:14	124K
	ideal_1__e11_127_1	2017-01-13 00:14	120K
	ideal_1__e11_128_1	2017-01-13 00:14	127K
	ideal_1__e11_130_1	2017-01-13 00:14	131K
	ideal_1__e11_139_1	2017-01-13 00:14	118K
	ideal_1__e11_140_1	2017-01-13 00:14	116K
	ideal_1__e14_166	2017-01-13 00:14	130K
	ideal_1__e16_165	2017-01-13 00:14	118K
	ideal_1__e17_149_1	2017-01-13 00:14	131K
	ideal_1__e17_166	2017-01-13 00:14	107K
	ideal_1__e21_146_1_1_1	2017-01-13 00:14	121K