Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/fcont_3

	Name	Last modified	Size	Description
	Parent Directory		-
	fcont_3__t1_fcont_3	2017-01-13 00:42	75K
	fcont_3__t2_fcont_3	2017-01-13 00:42	66K
	fcont_3__t3_fcont_3	2017-01-13 00:42	73K
	fcont_3__t4_fcont_3	2017-01-13 00:42	73K
	fcont_3__t5_fcont_3	2017-01-13 00:42	124K
	fcont_3__t6_fcont_3	2017-01-13 00:42	118K
	fcont_3__t7_fcont_3	2017-01-13 00:42	111K
	fcont_3__t8_fcont_3	2017-01-13 00:42	84K
	fcont_3__t9_fcont_3	2017-01-13 00:42	98K
	fcont_3__t10_fcont_3	2017-01-13 00:42	101K
	fcont_3__t11_fcont_3	2017-01-13 00:42	220K
	fcont_3__t12_fcont_3	2017-01-13 00:42	220K
	fcont_3__t13_fcont_3	2017-01-13 00:42	232K
	fcont_3__t14_fcont_3	2017-01-13 00:42	232K
	fcont_3__t15_fcont_3	2017-01-13 00:42	219K
	fcont_3__t16_fcont_3	2017-01-13 00:42	217K
	fcont_3__t17_fcont_3	2017-01-13 00:42	95K
	fcont_3__t18_fcont_3	2017-01-13 00:42	91K
	fcont_3__t19_fcont_3	2017-01-13 00:42	91K
	fcont_3__t20_fcont_3	2017-01-13 00:42	91K
	fcont_3__t21_fcont_3	2017-01-13 00:42	91K
	fcont_3__t22_fcont_3	2017-01-13 00:42	95K
	fcont_3__t23_fcont_3	2017-01-13 00:42	157K
	fcont_3__t24_fcont_3	2017-01-13 00:42	158K
	fcont_3__t25_fcont_3	2017-01-13 00:42	158K
	fcont_3__t26_fcont_3	2017-01-13 00:42	156K