Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/connsp_2

	Name	Last modified	Size	Description
	Parent Directory		-
	connsp_2__l12_connsp_2	2016-03-08 13:05	23K
	connsp_2__t1_connsp_2	2016-03-08 13:05	21K
	connsp_2__t2_connsp_2	2016-03-08 13:05	20K
	connsp_2__t3_connsp_2	2016-03-08 13:05	17K
	connsp_2__t4_connsp_2	2016-03-08 13:05	17K
	connsp_2__t5_connsp_2	2016-03-08 13:05	18K
	connsp_2__t6_connsp_2	2016-03-08 13:05	18K
	connsp_2__t7_connsp_2	2016-03-08 13:05	17K
	connsp_2__t8_connsp_2	2016-03-08 13:05	19K
	connsp_2__t9_connsp_2	2016-03-08 13:05	28K
	connsp_2__t10_connsp_2	2016-03-08 13:05	27K
	connsp_2__t11_connsp_2	2016-03-08 13:05	25K
	connsp_2__t12_connsp_2	2016-03-08 13:05	19K
	connsp_2__t13_connsp_2	2016-03-08 13:05	33K
	connsp_2__t14_connsp_2	2016-03-08 13:05	32K
	connsp_2__t15_connsp_2	2016-03-08 13:05	22K
	connsp_2__t16_connsp_2	2016-03-08 13:05	27K
	connsp_2__t17_connsp_2	2016-03-08 13:05	24K
	connsp_2__t18_connsp_2	2016-03-08 13:05	34K
	connsp_2__t19_connsp_2	2016-03-08 13:05	32K
	connsp_2__t20_connsp_2	2016-03-08 13:05	24K
	connsp_2__t21_connsp_2	2016-03-08 13:05	37K
	connsp_2__t22_connsp_2	2016-03-08 13:05	17K
	connsp_2__t23_connsp_2	2016-03-08 13:05	17K
	connsp_2__t24_connsp_2	2016-03-08 13:05	17K
	connsp_2__t25_connsp_2	2016-03-08 13:05	17K
	connsp_2__t26_connsp_2	2016-03-08 13:05	32K
	connsp_2__t27_connsp_2	2016-03-08 13:05	19K
	connsp_2__t28_connsp_2	2016-03-08 13:05	19K
	connsp_2__t29_connsp_2	2016-03-08 13:05	17K