Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/bspace

	Name	Last modified	Size	Description
	Parent Directory		-
	bspace__l28_bspace	2017-01-13 00:29	99K
	bspace__l29_bspace	2017-01-13 00:29	109K
	bspace__s1_bspace	2017-01-13 00:29	50K
	bspace__t1_bspace	2017-01-13 00:29	42K
	bspace__t2_bspace	2017-01-13 00:29	42K
	bspace__t3_bspace	2017-01-13 00:29	81K
	bspace__t4_bspace	2017-01-13 00:29	80K
	bspace__t5_bspace	2017-01-13 00:29	91K
	bspace__t6_bspace	2017-01-13 00:29	91K
	bspace__t7_bspace	2017-01-13 00:29	121K
	bspace__t8_bspace	2017-01-13 00:29	82K
	bspace__t9_bspace	2017-01-13 00:29	81K
	bspace__t10_bspace	2017-01-13 00:29	81K
	bspace__t11_bspace	2017-01-13 00:29	82K
	bspace__t12_bspace	2017-01-13 00:29	83K
	bspace__t13_bspace	2017-01-13 00:29	83K
	bspace__t14_bspace	2017-01-13 00:29	81K
	bspace__t15_bspace	2017-01-13 00:29	95K
	bspace__t16_bspace	2017-01-13 00:29	82K
	bspace__t17_bspace	2017-01-13 00:29	90K
	bspace__t18_bspace	2017-01-13 00:29	97K
	bspace__t19_bspace	2017-01-13 00:29	82K
	bspace__t20_bspace	2017-01-13 00:29	91K
	bspace__t21_bspace	2017-01-13 00:29	99K
	bspace__t22_bspace	2017-01-13 00:29	100K
	bspace__t23_bspace	2017-01-13 00:29	100K
	bspace__t24_bspace	2017-01-13 00:29	101K
	bspace__t25_bspace	2017-01-13 00:29	108K
	bspace__t26_bspace	2017-01-13 00:29	108K
	bspace__t27_bspace	2017-01-13 00:29	108K
	bspace__t28_bspace	2017-01-13 00:29	97K
	bspace__t29_bspace	2017-01-13 00:29	112K
	bspace__t30_bspace	2017-01-13 00:29	94K
	bspace__t31_bspace	2017-01-13 00:29	113K
	bspace__t32_bspace	2017-01-13 00:29	107K
	bspace__t33_bspace	2017-01-13 00:29	191K
	bspace__t34_bspace	2017-01-13 00:29	129K
	bspace__t35_bspace	2017-01-13 00:29	108K
	bspace__t36_bspace	2017-01-13 00:29	185K
	bspace__t37_bspace	2017-01-13 00:29	94K
	bspace__t38_bspace	2017-01-13 00:29	152K
	bspace__t39_bspace	2017-01-13 00:29	108K
	bspace__t40_bspace	2017-01-13 00:29	87K
	bspace__t41_bspace	2017-01-13 00:29	104K
	bspace__t42_bspace	2017-01-13 00:29	96K
	bspace__t43_bspace	2017-01-13 00:29	100K