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

	Name	Last modified	Size	Description
	Parent Directory		-
	abcmiz_1__e1_19_1_1	2017-01-12 23:23	43K
	abcmiz_1__e1_28	2017-01-12 23:23	41K
	abcmiz_1__e1_41_1_1	2017-01-12 23:23	51K
	abcmiz_1__e1_74_1_1	2017-01-12 23:23	58K
	abcmiz_1__e1_78_1_2	2017-01-12 23:23	50K
	abcmiz_1__e1_235_1	2017-01-12 23:23	99K
	abcmiz_1__e1_246_1_2_5	2017-01-12 23:23	108K
	abcmiz_1__e1_272_1_1	2017-01-12 23:23	92K
	abcmiz_1__e2_166_1_2	2017-01-12 23:23	82K
	abcmiz_1__e2_206_1_2	2017-01-12 23:23	47K
	abcmiz_1__e2_242_1_1	2017-01-12 23:23	84K
	abcmiz_1__e2_263	2017-01-12 23:23	91K
	abcmiz_1__e2_269_1_1	2017-01-12 23:23	81K
	abcmiz_1__e3_74_1_1	2017-01-12 23:23	46K
	abcmiz_1__e3_164_1_1	2017-01-12 23:23	80K
	abcmiz_1__e3_164_1_1_2	2017-01-12 23:23	77K
	abcmiz_1__e4_9	2017-01-12 23:23	114K
	abcmiz_1__e4_209_1	2017-01-12 23:23	110K
	abcmiz_1__e5_21	2017-01-12 23:23	48K
	abcmiz_1__e5_230	2017-01-12 23:23	108K
	abcmiz_1__e5_246_1_1	2017-01-12 23:23	111K
	abcmiz_1__e5_251	2017-01-12 23:23	101K
	abcmiz_1__e6_20	2017-01-12 23:23	46K
	abcmiz_1__e6_264	2017-01-12 23:23	106K
	abcmiz_1__e6_274	2017-01-12 23:23	103K
	abcmiz_1__e7_219	2017-01-12 23:23	66K
	abcmiz_1__e7_222_1	2017-01-12 23:23	80K
	abcmiz_1__e8_24	2017-01-12 23:23	47K
	abcmiz_1__e9_235_1_1	2017-01-12 23:23	107K
	abcmiz_1__e10_25	2017-01-12 23:23	45K
	abcmiz_1__e10_230	2017-01-12 23:23	91K
	abcmiz_1__e11_19_1_2	2017-01-12 23:23	51K
	abcmiz_1__e12_29	2017-01-12 23:23	45K