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

	Name	Last modified	Size	Description
	Parent Directory		-
	osafree__t1_osafree	2017-01-13 00:42	95K
	osafree__t2_osafree	2017-01-13 00:42	95K
	osafree__t3_osafree	2017-01-13 00:42	116K
	osafree__t4_osafree	2017-01-13 00:42	92K
	osafree__t5_osafree	2017-01-13 00:42	135K
	osafree__t6_osafree	2017-01-13 00:42	125K
	osafree__t7_osafree	2017-01-13 00:42	148K
	osafree__t8_osafree	2017-01-13 00:42	121K
	osafree__t9_osafree	2017-01-13 00:42	120K
	osafree__t10_osafree	2017-01-13 00:42	127K
	osafree__t11_osafree	2017-01-13 00:42	165K
	osafree__t12_osafree	2017-01-13 00:42	164K
	osafree__t13_osafree	2017-01-13 00:42	139K
	osafree__t14_osafree	2017-01-13 00:42	113K
	osafree__t15_osafree	2017-01-13 00:42	121K
	osafree__t16_osafree	2017-01-13 00:42	119K
	osafree__t17_osafree	2017-01-13 00:42	150K
	osafree__t18_osafree	2017-01-13 00:42	149K
	osafree__t19_osafree	2017-01-13 00:42	186K
	osafree__t20_osafree	2017-01-13 00:42	174K
	osafree__t21_osafree	2017-01-13 00:42	177K
	osafree__t22_osafree	2017-01-13 00:42	192K
	osafree__t23_osafree	2017-01-13 00:42	96K
	osafree__t24_osafree	2017-01-13 00:42	141K
	osafree__t25_osafree	2017-01-13 00:42	157K
	osafree__t26_osafree	2017-01-13 00:42	243K
	osafree__t27_osafree	2017-01-13 00:42	155K
	osafree__t28_osafree	2017-01-13 00:42	119K
	osafree__t29_osafree	2017-01-13 00:42	99K
	osafree__t30_osafree	2017-01-13 00:42	149K
	osafree__t31_osafree	2017-01-13 00:42	127K
	osafree__t32_osafree	2017-01-13 00:42	146K
	osafree__t33_osafree	2017-01-13 00:42	199K
	osafree__t34_osafree	2017-01-13 00:42	155K
	osafree__t35_osafree	2017-01-13 00:42	159K
	osafree__t36_osafree	2017-01-13 00:42	154K
	osafree__t37_osafree	2017-01-13 00:42	239K
	osafree__t38_osafree	2017-01-13 00:42	242K
	osafree__t39_osafree	2017-01-13 00:42	123K
	osafree__t40_osafree	2017-01-13 00:42	268K
	osafree__t41_osafree	2017-01-13 00:42	233K
	osafree__t42_osafree	2017-01-13 00:42	188K
	osafree__t43_osafree	2017-01-13 00:42	185K
	osafree__t44_osafree	2017-01-13 00:42	229K
	osafree__t45_osafree	2017-01-13 00:42	213K
	osafree__t46_osafree	2017-01-13 00:43	119K
	osafree__t47_osafree	2017-01-13 00:43	108K