Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/algstr_1

	Name	Last modified	Size	Description
	Parent Directory		-
	algstr_1__l7_algstr_1	2013-09-04 12:36	18K
	algstr_1__l8_algstr_1	2013-09-04 12:36	18K
	algstr_1__l9_algstr_1	2013-09-04 12:36	18K
	algstr_1__l10_algstr_1	2013-09-04 12:36	17K
	algstr_1__l16_algstr_1	2013-09-04 12:36	17K
	algstr_1__l17_algstr_1	2013-09-04 12:36	17K
	algstr_1__l22_algstr_1	2013-09-04 12:36	17K
	algstr_1__l23_algstr_1	2013-09-04 12:36	17K
	algstr_1__l24_algstr_1	2013-09-04 12:36	17K
	algstr_1__l26_algstr_1	2013-09-04 12:36	18K
	algstr_1__l27_algstr_1	2013-09-04 12:36	13K
	algstr_1__l28_algstr_1	2013-09-04 12:36	14K
	algstr_1__l29_algstr_1	2013-09-04 12:36	14K
	algstr_1__l31_algstr_1	2013-09-04 12:36	18K
	algstr_1__l36_algstr_1	2013-09-04 12:36	18K
	algstr_1__l37_algstr_1	2013-09-04 12:36	16K
	algstr_1__l38_algstr_1	2013-09-04 12:36	16K
	algstr_1__l41_algstr_1	2013-09-04 12:36	24K
	algstr_1__l42_algstr_1	2013-09-04 12:36	24K
	algstr_1__l43_algstr_1	2013-09-04 12:36	23K
	algstr_1__l44_algstr_1	2013-09-04 12:36	23K
	algstr_1__l45_algstr_1	2013-09-04 12:36	19K
	algstr_1__l46_algstr_1	2013-09-04 12:36	19K
	algstr_1__l50_algstr_1	2013-09-04 12:36	23K
	algstr_1__l51_algstr_1	2013-09-04 12:36	19K
	algstr_1__t1_algstr_1	2013-09-04 12:36	14K
	algstr_1__t2_algstr_1	2013-09-04 12:36	14K
	algstr_1__t3_algstr_1	2013-09-04 12:36	14K
	algstr_1__t4_algstr_1	2013-09-04 12:36	16K
	algstr_1__t5_algstr_1	2013-09-04 12:36	18K
	algstr_1__t6_algstr_1	2013-09-04 12:36	16K
	algstr_1__t7_algstr_1	2013-09-04 12:36	17K
	algstr_1__t8_algstr_1	2013-09-04 12:36	16K
	algstr_1__t9_algstr_1	2013-09-04 12:36	16K
	algstr_1__t10_algstr_1	2013-09-04 12:36	17K
	algstr_1__t11_algstr_1	2013-09-04 12:36	18K
	algstr_1__t12_algstr_1	2013-09-04 12:36	16K
	algstr_1__t13_algstr_1	2013-09-04 12:36	16K
	algstr_1__t14_algstr_1	2013-09-04 12:36	11K
	algstr_1__t15_algstr_1	2013-09-04 12:36	11K
	algstr_1__t16_algstr_1	2013-09-04 12:36	17K
	algstr_1__t17_algstr_1	2013-09-04 12:36	17K