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

	Name	Last modified	Size	Description
	Parent Directory		-
	comput_1__e1_63_1_1	2017-01-12 23:22	76K
	comput_1__e1_130_1_1	2017-01-12 23:22	77K
	comput_1__e2_95_1_1	2017-01-12 23:22	76K
	comput_1__e3_75_1	2017-01-12 23:22	70K
	comput_1__e3_91_1_2_4	2017-01-12 23:22	70K
	comput_1__e3_91_1_2_7	2017-01-12 23:22	70K
	comput_1__e3_99_3	2017-01-12 23:22	70K
	comput_1__e3_100_2	2017-01-12 23:22	81K
	comput_1__e3_102_1	2017-01-12 23:22	83K
	comput_1__e3_103_1	2017-01-12 23:22	84K
	comput_1__e3_131	2017-01-12 23:22	71K
	comput_1__e3_132_2_1_2	2017-01-12 23:22	73K
	comput_1__e3_133	2017-01-12 23:22	72K
	comput_1__e3_134	2017-01-12 23:22	73K
	comput_1__e3_170	2017-01-12 23:22	95K
	comput_1__e4_91_1_2_2	2017-01-12 23:22	70K
	comput_1__e4_113_1	2017-01-12 23:22	76K
	comput_1__e5_159	2017-01-12 23:22	75K
	comput_1__e5_161	2017-01-12 23:22	78K
	comput_1__e5_172	2017-01-12 23:22	76K
	comput_1__e6_115	2017-01-12 23:22	57K
	comput_1__e7_170	2017-01-12 23:22	98K
	comput_1__e8_108_1	2017-01-12 23:22	87K
	comput_1__e8_114_1_2_1	2017-01-12 23:22	74K
	comput_1__e8_115	2017-01-12 23:22	57K
	comput_1__e8_176	2017-01-12 23:22	77K
	comput_1__e9_89	2017-01-12 23:22	77K
	comput_1__e9_90	2017-01-12 23:22	69K
	comput_1__e9_92_1_1	2017-01-12 23:22	75K
	comput_1__e9_93	2017-01-12 23:22	69K
	comput_1__e9_130_1_2	2017-01-12 23:22	81K
	comput_1__e10_174	2017-01-12 23:22	74K
	comput_1__e14_88_1_2	2017-01-12 23:22	70K
	comput_1__e15_170	2017-01-12 23:22	75K
	comput_1__e16_88_1_1	2017-01-12 23:22	96K
	comput_1__e16_91_1_2	2017-01-12 23:22	78K
	comput_1__e17_94	2017-01-12 23:22	80K
	comput_1__e20_91_1_2	2017-01-12 23:22	78K