Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/combgras

	Name	Last modified	Size	Description
	Parent Directory		-
	combgras__t1_combgras	2017-01-12 22:14	32K
	combgras__t2_combgras	2017-01-12 22:14	110K
	combgras__t3_combgras	2017-01-12 22:14	30K
	combgras__t4_combgras	2017-01-12 22:14	25K
	combgras__t5_combgras	2017-01-12 22:14	25K
	combgras__t6_combgras	2017-01-12 22:14	31K
	combgras__t7_combgras	2017-01-12 22:14	403K
	combgras__t8_combgras	2017-01-12 22:14	30K
	combgras__t9_combgras	2017-01-12 22:14	31K
	combgras__t10_combgras	2017-01-12 22:14	73K
	combgras__t11_combgras	2017-01-12 22:14	153K
	combgras__t12_combgras	2017-01-12 22:14	162K
	combgras__t13_combgras	2017-01-12 22:14	344K
	combgras__t14_combgras	2017-01-12 22:14	348K
	combgras__t15_combgras	2017-01-12 22:14	350K
	combgras__t16_combgras	2017-01-12 22:14	37K
	combgras__t17_combgras	2017-01-12 22:14	35K
	combgras__t18_combgras	2017-01-12 22:14	35K
	combgras__t19_combgras	2017-01-12 22:14	34K
	combgras__t20_combgras	2017-01-12 22:14	37K
	combgras__t21_combgras	2017-01-12 22:14	42K
	combgras__t22_combgras	2017-01-12 22:14	39K
	combgras__t23_combgras	2017-01-12 22:14	361K
	combgras__t24_combgras	2017-01-12 22:14	74K
	combgras__t25_combgras	2017-01-12 22:14	94K
	combgras__t26_combgras	2017-01-12 22:14	63K
	combgras__t27_combgras	2017-01-12 22:14	51K
	combgras__t28_combgras	2017-01-12 22:14	64K
	combgras__t29_combgras	2017-01-12 22:14	52K
	combgras__t30_combgras	2017-01-12 22:14	52K
	combgras__t31_combgras	2017-01-12 22:14	173K
	combgras__t32_combgras	2017-01-12 22:14	257K
	combgras__t33_combgras	2017-01-12 22:14	64K
	combgras__t34_combgras	2017-01-12 22:14	72K
	combgras__t35_combgras	2017-01-12 22:14	157K