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

	Name	Last modified	Size	Description
	Parent Directory		-
	valuat_1__e1_5_1_1	2017-01-12 23:14	27K
	valuat_1__e1_14_1_1	2017-01-12 23:14	49K
	valuat_1__e1_15_2	2017-01-12 23:14	53K
	valuat_1__e2_10_1_1	2017-01-12 23:14	32K
	valuat_1__e2_15_3	2017-01-12 23:14	52K
	valuat_1__e2_15_4	2017-01-12 23:14	52K
	valuat_1__e2_36_1	2017-01-12 23:14	26K
	valuat_1__e2_37	2017-01-12 23:14	48K
	valuat_1__e2_40	2017-01-12 23:14	44K
	valuat_1__e2_41	2017-01-12 23:14	24K
	valuat_1__e3_15	2017-01-12 23:14	51K
	valuat_1__e8_15	2017-01-12 23:14	52K
	valuat_1__e11_14_1_2	2017-01-12 23:14	55K