Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/algstr_1

	Name	Last modified	Size	Description
	Parent Directory		-
	algstr_1__l7_algstr_1	2016-03-08 13:04	30K
	algstr_1__l8_algstr_1	2016-03-08 13:04	30K
	algstr_1__l9_algstr_1	2016-03-08 13:04	30K
	algstr_1__l10_algstr_1	2016-03-08 13:04	29K
	algstr_1__l16_algstr_1	2016-03-08 13:04	29K
	algstr_1__l17_algstr_1	2016-03-08 13:04	29K
	algstr_1__l22_algstr_1	2016-03-08 13:04	29K
	algstr_1__l23_algstr_1	2016-03-08 13:04	29K
	algstr_1__l24_algstr_1	2016-03-08 13:04	29K
	algstr_1__l26_algstr_1	2016-03-08 13:04	31K
	algstr_1__l27_algstr_1	2016-03-08 13:04	22K
	algstr_1__l28_algstr_1	2016-03-08 13:04	23K
	algstr_1__l29_algstr_1	2016-03-08 13:04	23K
	algstr_1__l31_algstr_1	2016-03-08 13:04	31K
	algstr_1__l36_algstr_1	2016-03-08 13:04	30K
	algstr_1__l37_algstr_1	2016-03-08 13:04	27K
	algstr_1__l38_algstr_1	2016-03-08 13:04	26K
	algstr_1__l41_algstr_1	2016-03-08 13:04	40K
	algstr_1__l42_algstr_1	2016-03-08 13:04	40K
	algstr_1__l43_algstr_1	2016-03-08 13:04	38K
	algstr_1__l44_algstr_1	2016-03-08 13:04	38K
	algstr_1__l45_algstr_1	2016-03-08 13:04	32K
	algstr_1__l46_algstr_1	2016-03-08 13:04	32K
	algstr_1__l50_algstr_1	2016-03-08 13:04	38K
	algstr_1__l51_algstr_1	2016-03-08 13:04	33K
	algstr_1__t1_algstr_1	2016-03-08 13:04	23K
	algstr_1__t2_algstr_1	2016-03-08 13:04	24K
	algstr_1__t3_algstr_1	2016-03-08 13:04	24K
	algstr_1__t4_algstr_1	2016-03-08 13:04	27K
	algstr_1__t5_algstr_1	2016-03-08 13:04	30K
	algstr_1__t6_algstr_1	2016-03-08 13:04	27K
	algstr_1__t7_algstr_1	2016-03-08 13:04	29K
	algstr_1__t8_algstr_1	2016-03-08 13:04	28K
	algstr_1__t9_algstr_1	2016-03-08 13:04	27K
	algstr_1__t10_algstr_1	2016-03-08 13:04	29K
	algstr_1__t11_algstr_1	2016-03-08 13:04	30K
	algstr_1__t12_algstr_1	2016-03-08 13:04	27K
	algstr_1__t13_algstr_1	2016-03-08 13:04	27K
	algstr_1__t14_algstr_1	2016-03-08 13:04	18K
	algstr_1__t15_algstr_1	2016-03-08 13:04	18K
	algstr_1__t16_algstr_1	2016-03-08 13:04	28K
	algstr_1__t17_algstr_1	2016-03-08 13:04	28K