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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan12__l1_jordan12	2017-01-13 00:48	41K
	jordan12__l2_jordan12	2017-01-13 00:48	35K
	jordan12__l22_jordan12	2017-01-13 00:48	81K
	jordan12__l24_jordan12	2017-01-13 00:48	80K
	jordan12__l30_jordan12	2017-01-13 00:48	87K
	jordan12__t1_jordan12	2017-01-13 00:48	48K
	jordan12__t2_jordan12	2017-01-13 00:48	43K
	jordan12__t3_jordan12	2017-01-13 00:48	71K
	jordan12__t4_jordan12	2017-01-13 00:48	135K
	jordan12__t5_jordan12	2017-01-13 00:48	70K
	jordan12__t6_jordan12	2017-01-13 00:48	95K
	jordan12__t7_jordan12	2017-01-13 00:48	79K
	jordan12__t8_jordan12	2017-01-13 00:48	84K
	jordan12__t9_jordan12	2017-01-13 00:48	92K
	jordan12__t10_jordan12	2017-01-13 00:48	72K
	jordan12__t11_jordan12	2017-01-13 00:48	74K
	jordan12__t12_jordan12	2017-01-13 00:48	73K
	jordan12__t13_jordan12	2017-01-13 00:48	87K
	jordan12__t14_jordan12	2017-01-13 00:48	79K
	jordan12__t15_jordan12	2017-01-13 00:48	86K
	jordan12__t16_jordan12	2017-01-13 00:48	82K
	jordan12__t17_jordan12	2017-01-13 00:48	82K
	jordan12__t18_jordan12	2017-01-13 00:48	70K
	jordan12__t19_jordan12	2017-01-13 00:48	69K
	jordan12__t20_jordan12	2017-01-13 00:48	73K
	jordan12__t21_jordan12	2017-01-13 00:48	80K
	jordan12__t22_jordan12	2017-01-13 00:48	123K
	jordan12__t23_jordan12	2017-01-13 00:48	89K
	jordan12__t24_jordan12	2017-01-13 00:48	63K
	jordan12__t25_jordan12	2017-01-13 00:48	58K
	jordan12__t26_jordan12	2017-01-13 00:48	58K
	jordan12__t27_jordan12	2017-01-13 00:48	62K
	jordan12__t28_jordan12	2017-01-13 00:48	64K
	jordan12__t29_jordan12	2017-01-13 00:48	75K
	jordan12__t30_jordan12	2017-01-13 00:48	102K
	jordan12__t31_jordan12	2017-01-13 00:48	106K
	jordan12__t32_jordan12	2017-01-13 00:48	238K
	jordan12__t33_jordan12	2017-01-13 00:48	131K
	jordan12__t34_jordan12	2017-01-13 00:48	250K
	jordan12__t35_jordan12	2017-01-13 00:48	111K