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

	Name	Last modified	Size	Description
	Parent Directory		-
	csspace2__l1_csspace2	2017-01-13 00:48	66K
	csspace2__l2_csspace2	2017-01-13 00:48	49K
	csspace2__l3_csspace2	2017-01-13 00:48	228K
	csspace2__l4_csspace2	2017-01-13 00:48	100K
	csspace2__l5_csspace2	2017-01-13 00:48	61K
	csspace2__l6_csspace2	2017-01-13 00:48	82K
	csspace2__l7_csspace2	2017-01-13 00:48	86K
	csspace2__l8_csspace2	2017-01-13 00:48	105K
	csspace2__l9_csspace2	2017-01-13 00:48	103K
	csspace2__l10_csspace2	2017-01-13 00:48	76K
	csspace2__l11_csspace2	2017-01-13 00:48	109K
	csspace2__l12_csspace2	2017-01-13 00:48	121K
	csspace2__l13_csspace2	2017-01-13 00:48	123K
	csspace2__l14_csspace2	2017-01-13 00:48	84K
	csspace2__l15_csspace2	2017-01-13 00:48	111K
	csspace2__l16_csspace2	2017-01-13 00:48	229K
	csspace2__l17_csspace2	2017-01-13 00:48	98K
	csspace2__l18_csspace2	2017-01-13 00:48	68K
	csspace2__l19_csspace2	2017-01-13 00:48	121K
	csspace2__l22_csspace2	2017-01-13 00:48	222K
	csspace2__l23_csspace2	2017-01-13 00:48	68K
	csspace2__l24_csspace2	2017-01-13 00:48	165K
	csspace2__l25_csspace2	2017-01-13 00:48	171K
	csspace2__t1_csspace2	2017-01-13 00:48	188K
	csspace2__t2_csspace2	2017-01-13 00:48	383K
	csspace2__t3_csspace2	2017-01-13 00:48	43K
	csspace2__t4_csspace2	2017-01-13 00:48	50K
	csspace2__t5_csspace2	2017-01-13 00:48	43K
	csspace2__t7_csspace2	2017-01-13 00:48	50K
	csspace2__t8_csspace2	2017-01-13 00:48	66K
	csspace2__t9_csspace2	2017-01-13 00:48	55K
	csspace2__t10_csspace2	2017-01-13 00:48	65K
	csspace2__t11_csspace2	2017-01-13 00:48	74K
	csspace2__t12_csspace2	2017-01-13 00:48	73K
	csspace2__t13_csspace2	2017-01-13 00:48	94K
	csspace2__t14_csspace2	2017-01-13 00:48	55K
	csspace2__t15_csspace2	2017-01-13 00:48	62K
	csspace2__t16_csspace2	2017-01-13 00:48	66K
	csspace2__t17_csspace2	2017-01-13 00:48	62K
	csspace2__t18_csspace2	2017-01-13 00:48	66K