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

	Name	Last modified	Size	Description
	Parent Directory		-
	irrat_1__s1_irrat_1	2017-01-13 00:40	54K
	irrat_1__t1_irrat_1	2017-01-13 00:40	65K
	irrat_1__t2_irrat_1	2017-01-13 00:40	82K
	irrat_1__t3_irrat_1	2017-01-13 00:41	62K
	irrat_1__t4_irrat_1	2017-01-13 00:41	82K
	irrat_1__t5_irrat_1	2017-01-13 00:41	90K
	irrat_1__t6_irrat_1	2017-01-13 00:41	112K
	irrat_1__t7_irrat_1	2017-01-13 00:41	107K
	irrat_1__t8_irrat_1	2017-01-13 00:41	118K
	irrat_1__t9_irrat_1	2017-01-13 00:41	58K
	irrat_1__t10_irrat_1	2017-01-13 00:41	63K
	irrat_1__t11_irrat_1	2017-01-13 00:41	48K
	irrat_1__t12_irrat_1	2017-01-13 00:41	129K
	irrat_1__t13_irrat_1	2017-01-13 00:41	108K
	irrat_1__t14_irrat_1	2017-01-13 00:41	122K
	irrat_1__t15_irrat_1	2017-01-13 00:41	72K
	irrat_1__t16_irrat_1	2017-01-13 00:41	86K
	irrat_1__t17_irrat_1	2017-01-13 00:41	80K
	irrat_1__t18_irrat_1	2017-01-13 00:41	137K
	irrat_1__t19_irrat_1	2017-01-13 00:41	117K
	irrat_1__t20_irrat_1	2017-01-13 00:41	95K
	irrat_1__t21_irrat_1	2017-01-13 00:41	107K
	irrat_1__t22_irrat_1	2017-01-13 00:41	92K
	irrat_1__t23_irrat_1	2017-01-13 00:41	91K
	irrat_1__t24_irrat_1	2017-01-13 00:41	109K
	irrat_1__t25_irrat_1	2017-01-13 00:41	76K
	irrat_1__t26_irrat_1	2017-01-13 00:41	81K
	irrat_1__t27_irrat_1	2017-01-13 00:41	73K
	irrat_1__t28_irrat_1	2017-01-13 00:41	83K
	irrat_1__t29_irrat_1	2017-01-13 00:41	77K
	irrat_1__t30_irrat_1	2017-01-13 00:41	127K
	irrat_1__t31_irrat_1	2017-01-13 00:41	87K
	irrat_1__t32_irrat_1	2017-01-13 00:41	65K
	irrat_1__t33_irrat_1	2017-01-13 00:40	59K
	irrat_1__t34_irrat_1	2017-01-13 00:41	94K
	irrat_1__t35_irrat_1	2017-01-13 00:41	88K
	irrat_1__t36_irrat_1	2017-01-13 00:41	85K
	irrat_1__t37_irrat_1	2017-01-13 00:41	91K
	irrat_1__t38_irrat_1	2017-01-13 00:41	89K
	irrat_1__t39_irrat_1	2017-01-13 00:41	143K
	irrat_1__t40_irrat_1	2017-01-13 00:41	80K
	irrat_1__t41_irrat_1	2017-01-13 00:41	124K