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

	Name	Last modified	Size	Description
	Parent Directory		-
	rfinseq2__l18_rfinseq2	2013-09-04 12:58	43K
	rfinseq2__l20_rfinseq2	2013-09-04 12:58	43K
	rfinseq2__l25_rfinseq2	2013-09-04 12:58	43K
	rfinseq2__l27_rfinseq2	2013-09-04 12:58	49K
	rfinseq2__t1_rfinseq2	2013-09-04 12:58	30K
	rfinseq2__t2_rfinseq2	2013-09-04 12:58	30K
	rfinseq2__t3_rfinseq2	2013-09-04 12:58	31K
	rfinseq2__t4_rfinseq2	2013-09-04 12:58	31K
	rfinseq2__t5_rfinseq2	2013-09-04 12:58	36K
	rfinseq2__t6_rfinseq2	2013-09-04 12:58	36K
	rfinseq2__t7_rfinseq2	2013-09-04 12:58	40K
	rfinseq2__t8_rfinseq2	2013-09-04 12:58	40K
	rfinseq2__t9_rfinseq2	2013-09-04 12:58	36K
	rfinseq2__t10_rfinseq2	2013-09-04 12:58	35K
	rfinseq2__t11_rfinseq2	2013-09-04 12:58	38K
	rfinseq2__t12_rfinseq2	2013-09-04 12:58	38K
	rfinseq2__t13_rfinseq2	2013-09-04 12:58	41K
	rfinseq2__t14_rfinseq2	2013-09-04 12:58	27K
	rfinseq2__t15_rfinseq2	2013-09-04 12:58	27K
	rfinseq2__t16_rfinseq2	2013-09-04 12:58	34K
	rfinseq2__t17_rfinseq2	2013-09-04 12:58	32K
	rfinseq2__t18_rfinseq2	2013-09-04 12:58	34K
	rfinseq2__t19_rfinseq2	2013-09-04 12:58	25K
	rfinseq2__t20_rfinseq2	2013-09-04 12:58	24K
	rfinseq2__t21_rfinseq2	2013-09-04 12:58	24K
	rfinseq2__t24_rfinseq2	2013-09-04 12:58	39K
	rfinseq2__t25_rfinseq2	2013-09-04 12:58	39K
	rfinseq2__t26_rfinseq2	2013-09-04 12:58	45K
	rfinseq2__t27_rfinseq2	2013-09-04 12:58	43K
	rfinseq2__t28_rfinseq2	2013-09-04 12:58	25K
	rfinseq2__t29_rfinseq2	2013-09-04 12:58	25K
	rfinseq2__t30_rfinseq2	2013-09-04 12:58	26K
	rfinseq2__t31_rfinseq2	2013-09-04 12:58	26K
	rfinseq2__t32_rfinseq2	2013-09-04 12:58	35K