Index of /~mptp/1147/MPTP2/problems_thf_isof_from/rlvect_3

	Name	Last modified	Size	Description
	Parent Directory		-
	rlvect_3__e1_33	2017-01-13 00:14	33K
	rlvect_3__e2_34	2017-01-13 00:14	33K
	rlvect_3__e3_9	2017-01-13 00:14	42K
	rlvect_3__e3_18	2017-01-13 00:14	41K
	rlvect_3__e3_33_1_2	2017-01-13 00:14	45K
	rlvect_3__e3_33_2_1_1_1	2017-01-13 00:14	49K
	rlvect_3__e3_34_1_2	2017-01-13 00:14	45K
	rlvect_3__e3_34_3_1_1_1	2017-01-13 00:14	49K
	rlvect_3__e4_14_1	2017-01-13 00:14	44K
	rlvect_3__e6_30_1	2017-01-13 00:14	51K
	rlvect_3__e11_3_1_1	2017-01-13 00:14	44K
	rlvect_3__e11_33_2_1_1_1	2017-01-13 00:14	52K
	rlvect_3__e11_34_3_1_1_1	2017-01-13 00:14	52K
	rlvect_3__e18_30_1	2017-01-13 00:14	50K
	rlvect_3__e42_2	2017-01-13 00:14	46K
	rlvect_3__e70_2	2017-01-13 00:14	46K
	rlvect_3__e92_2	2017-01-13 00:14	52K