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

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_1__l33_altcat_1	2017-01-13 00:46	85K
	altcat_1__s1_altcat_1	2017-01-13 00:45	48K
	altcat_1__s2_altcat_1	2017-01-13 00:45	43K
	altcat_1__s3_altcat_1	2017-01-13 00:45	40K
	altcat_1__s4_altcat_1	2017-01-13 00:45	30K
	altcat_1__t1_altcat_1	2017-01-13 00:45	37K
	altcat_1__t2_altcat_1	2017-01-13 00:45	43K
	altcat_1__t3_altcat_1	2017-01-13 00:45	36K
	altcat_1__t4_altcat_1	2017-01-13 00:45	31K
	altcat_1__t5_altcat_1	2017-01-13 00:45	50K
	altcat_1__t6_altcat_1	2017-01-13 00:45	50K
	altcat_1__t7_altcat_1	2017-01-13 00:45	48K
	altcat_1__t8_altcat_1	2017-01-13 00:45	43K
	altcat_1__t9_altcat_1	2017-01-13 00:45	46K
	altcat_1__t10_altcat_1	2017-01-13 00:45	48K
	altcat_1__t11_altcat_1	2017-01-13 00:45	54K
	altcat_1__t12_altcat_1	2017-01-13 00:45	58K
	altcat_1__t13_altcat_1	2017-01-13 00:45	68K
	altcat_1__t14_altcat_1	2017-01-13 00:45	63K
	altcat_1__t15_altcat_1	2017-01-13 00:45	59K
	altcat_1__t16_altcat_1	2017-01-13 00:45	84K
	altcat_1__t17_altcat_1	2017-01-13 00:45	66K
	altcat_1__t18_altcat_1	2017-01-13 00:45	60K
	altcat_1__t19_altcat_1	2017-01-13 00:46	52K
	altcat_1__t20_altcat_1	2017-01-13 00:46	64K
	altcat_1__t21_altcat_1	2017-01-13 00:46	64K
	altcat_1__t22_altcat_1	2017-01-13 00:46	53K
	altcat_1__t23_altcat_1	2017-01-13 00:46	66K
	altcat_1__t24_altcat_1	2017-01-13 00:46	63K
	altcat_1__t25_altcat_1	2017-01-13 00:46	70K