Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/eqrel_1

	Name	Last modified	Size	Description
	Parent Directory		-
	eqrel_1__e1_16	2017-01-05 21:13	45K
	eqrel_1__e1_21_1	2017-01-05 21:13	45K
	eqrel_1__e1_35_1	2017-01-05 21:13	60K
	eqrel_1__e1_38_1_1	2017-01-05 21:13	45K
	eqrel_1__e1_40_1_1	2017-01-05 21:13	31K
	eqrel_1__e2_90_1_1	2017-01-05 21:13	48K
	eqrel_1__e3_81	2017-01-05 21:13	49K
	eqrel_1__e6_43_1	2017-01-05 21:13	48K
	eqrel_1__e9_35_1_2	2017-01-05 21:13	48K
	eqrel_1__e10_35	2017-01-05 21:13	59K