Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/jordan_a

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan_a__t26_jordan_a	2017-01-12 22:14	383K
	jordan_a__t30_jordan_a	2017-01-12 22:14	141K
	jordan_a__t23_jordan_a	2017-01-12 22:14	139K
	jordan_a__t17_jordan_a	2017-01-12 22:14	128K
	jordan_a__t34_jordan_a	2017-01-12 22:14	125K
	jordan_a__t16_jordan_a	2017-01-12 22:14	124K
	jordan_a__t10_jordan_a	2017-01-12 22:14	123K
	jordan_a__t12_jordan_a	2017-01-12 22:14	123K
	jordan_a__t13_jordan_a	2017-01-12 22:14	123K
	jordan_a__t11_jordan_a	2017-01-12 22:14	121K
	jordan_a__t9_jordan_a	2017-01-12 22:14	121K
	jordan_a__t8_jordan_a	2017-01-12 22:14	120K
	jordan_a__t15_jordan_a	2017-01-12 22:14	111K
	jordan_a__t14_jordan_a	2017-01-12 22:14	111K
	jordan_a__t28_jordan_a	2017-01-12 22:14	109K
	jordan_a__t25_jordan_a	2017-01-12 22:14	107K
	jordan_a__t24_jordan_a	2017-01-12 22:14	107K
	jordan_a__t21_jordan_a	2017-01-12 22:14	107K
	jordan_a__t6_jordan_a	2017-01-12 22:14	89K
	jordan_a__t5_jordan_a	2017-01-12 22:14	89K
	jordan_a__t20_jordan_a	2017-01-12 22:14	88K
	jordan_a__t18_jordan_a	2017-01-12 22:14	86K
	jordan_a__t19_jordan_a	2017-01-12 22:14	85K
	jordan_a__t35_jordan_a	2017-01-12 22:14	83K
	jordan_a__t4_jordan_a	2017-01-12 22:14	80K
	jordan_a__t3_jordan_a	2017-01-12 22:14	80K
	jordan_a__t27_jordan_a	2017-01-12 22:14	72K
	jordan_a__t7_jordan_a	2017-01-12 22:14	72K
	jordan_a__t32_jordan_a	2017-01-12 22:14	69K
	jordan_a__t31_jordan_a	2017-01-12 22:14	69K
	jordan_a__t29_jordan_a	2017-01-12 22:14	67K
	jordan_a__t36_jordan_a	2017-01-12 22:14	67K
	jordan_a__t22_jordan_a	2017-01-12 22:14	67K
	jordan_a__t33_jordan_a	2017-01-12 22:14	63K
	jordan_a__t1_jordan_a	2017-01-12 22:14	55K
	jordan_a__l9_jordan_a	2017-01-12 22:14	52K
	jordan_a__t2_jordan_a	2017-01-12 22:14	33K