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

	Name	Last modified	Size	Description
	Parent Directory		-
	algseq_1__l10_algseq_1	2013-09-04 12:08	10K
	algseq_1__l11_algseq_1	2013-09-04 12:08	9.5K
	algseq_1__l21_algseq_1	2013-09-04 12:08	15K
	algseq_1__t1_algseq_1	2013-09-04 12:08	3.9K
	algseq_1__t2_algseq_1	2013-09-04 12:08	5.2K
	algseq_1__t3_algseq_1	2013-09-04 12:08	17K
	algseq_1__t4_algseq_1	2013-09-04 12:08	4.3K
	algseq_1__t5_algseq_1	2013-09-04 12:08	3.5K
	algseq_1__t6_algseq_1	2013-09-04 12:08	4.8K
	algseq_1__t7_algseq_1	2013-09-04 12:08	4.8K
	algseq_1__t8_algseq_1	2013-09-04 12:08	11K
	algseq_1__t9_algseq_1	2013-09-04 12:08	10K
	algseq_1__t10_algseq_1	2013-09-04 12:08	20K
	algseq_1__t11_algseq_1	2013-09-04 12:08	10K
	algseq_1__t12_algseq_1	2013-09-04 12:08	13K
	algseq_1__t13_algseq_1	2013-09-04 12:08	11K
	algseq_1__t14_algseq_1	2013-09-04 12:08	12K
	algseq_1__t15_algseq_1	2013-09-04 12:08	13K
	algseq_1__t16_algseq_1	2013-09-04 12:08	13K
	algseq_1__t17_algseq_1	2013-09-04 12:08	16K