Index of /~mptp/1147/MPTP2/problems_thf_tls1/partit_2

	Name	Last modified	Size	Description
	Parent Directory		-
	partit_2__l14_partit_2	2017-01-13 19:20	54K
	partit_2__t1_partit_2	2017-01-13 19:20	18K
	partit_2__t2_partit_2	2017-01-13 19:20	29K
	partit_2__t3_partit_2	2017-01-13 19:20	18K
	partit_2__t4_partit_2	2017-01-13 19:20	29K
	partit_2__t5_partit_2	2017-01-13 19:20	23K
	partit_2__t6_partit_2	2017-01-13 19:20	30K
	partit_2__t7_partit_2	2017-01-13 19:20	9.1K
	partit_2__t8_partit_2	2017-01-13 19:20	12K
	partit_2__t9_partit_2	2017-01-13 19:20	17K
	partit_2__t10_partit_2	2017-01-13 19:20	31K
	partit_2__t11_partit_2	2017-01-13 19:20	32K
	partit_2__t12_partit_2	2017-01-13 19:20	31K
	partit_2__t13_partit_2	2017-01-13 19:20	26K
	partit_2__t14_partit_2	2017-01-13 19:20	29K
	partit_2__t15_partit_2	2017-01-13 19:20	45K
	partit_2__t16_partit_2	2017-01-13 19:20	25K
	partit_2__t17_partit_2	2017-01-13 19:20	50K
	partit_2__t18_partit_2	2017-01-13 19:20	17K
	partit_2__t19_partit_2	2017-01-13 19:20	24K
	partit_2__t20_partit_2	2017-01-13 19:20	16K
	partit_2__t21_partit_2	2017-01-13 19:20	17K
	partit_2__t22_partit_2	2017-01-13 19:20	19K
	partit_2__t23_partit_2	2017-01-13 19:20	18K
	partit_2__t24_partit_2	2017-01-13 19:20	18K
	partit_2__t25_partit_2	2017-01-13 19:20	19K
	partit_2__t26_partit_2	2017-01-13 19:20	18K
	partit_2__t27_partit_2	2017-01-13 19:20	19K
	partit_2__t28_partit_2	2017-01-13 19:20	18K
	partit_2__t29_partit_2	2017-01-13 19:20	19K
	partit_2__t30_partit_2	2017-01-13 19:20	29K
	partit_2__t31_partit_2	2017-01-13 19:20	19K