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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan22__l1_jordan22	2017-01-13 00:42	86K
	jordan22__l6_jordan22	2017-01-13 00:42	81K
	jordan22__l7_jordan22	2017-01-13 00:42	92K
	jordan22__l36_jordan22	2017-01-13 00:42	89K
	jordan22__t1_jordan22	2017-01-13 00:42	109K
	jordan22__t2_jordan22	2017-01-13 00:42	109K
	jordan22__t3_jordan22	2017-01-13 00:42	95K
	jordan22__t4_jordan22	2017-01-13 00:42	95K
	jordan22__t5_jordan22	2017-01-13 00:42	142K
	jordan22__t6_jordan22	2017-01-13 00:42	162K
	jordan22__t7_jordan22	2017-01-13 00:42	162K
	jordan22__t8_jordan22	2017-01-13 00:42	229K
	jordan22__t9_jordan22	2017-01-13 00:42	108K
	jordan22__t10_jordan22	2017-01-13 00:42	229K
	jordan22__t11_jordan22	2017-01-13 00:42	108K
	jordan22__t12_jordan22	2017-01-13 00:42	106K
	jordan22__t13_jordan22	2017-01-13 00:42	273K
	jordan22__t14_jordan22	2017-01-13 00:42	273K
	jordan22__t15_jordan22	2017-01-13 00:42	142K
	jordan22__t16_jordan22	2017-01-13 00:42	142K
	jordan22__t17_jordan22	2017-01-13 00:42	186K
	jordan22__t18_jordan22	2017-01-13 00:42	186K
	jordan22__t19_jordan22	2017-01-13 00:42	270K
	jordan22__t20_jordan22	2017-01-13 00:42	270K
	jordan22__t21_jordan22	2017-01-13 00:42	284K
	jordan22__t22_jordan22	2017-01-13 00:42	284K
	jordan22__t23_jordan22	2017-01-13 00:42	129K
	jordan22__t24_jordan22	2017-01-13 00:42	129K
	jordan22__t25_jordan22	2017-01-13 00:42	181K
	jordan22__t26_jordan22	2017-01-13 00:42	181K
	jordan22__t27_jordan22	2017-01-13 00:42	129K
	jordan22__t28_jordan22	2017-01-13 00:42	129K
	jordan22__t29_jordan22	2017-01-13 00:42	272K
	jordan22__t30_jordan22	2017-01-13 00:42	399K
	jordan22__t31_jordan22	2017-01-13 00:42	272K
	jordan22__t32_jordan22	2017-01-13 00:42	399K
	jordan22__t33_jordan22	2017-01-13 00:42	355K
	jordan22__t34_jordan22	2017-01-13 00:42	356K
	jordan22__t35_jordan22	2017-01-13 00:42	144K
	jordan22__t36_jordan22	2017-01-13 00:42	144K
	jordan22__t37_jordan22	2017-01-13 00:42	122K
	jordan22__t38_jordan22	2017-01-13 00:42	85K
	jordan22__t39_jordan22	2017-01-13 00:42	85K
	jordan22__t40_jordan22	2017-01-13 00:42	85K
	jordan22__t41_jordan22	2017-01-13 00:42	85K