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

	Name	Last modified	Size	Description
	Parent Directory		-
	rfinseq__l5_rfinseq	2013-09-04 12:07	28K
	rfinseq__l6_rfinseq	2013-09-04 12:07	59K
	rfinseq__l9_rfinseq	2013-09-04 12:07	35K
	rfinseq__l28_rfinseq	2013-09-04 12:07	51K
	rfinseq__l29_rfinseq	2013-09-04 12:07	27K
	rfinseq__l30_rfinseq	2013-09-04 12:07	118K
	rfinseq__l32_rfinseq	2013-09-04 12:07	56K
	rfinseq__t1_rfinseq	2013-09-04 12:07	33K
	rfinseq__t2_rfinseq	2013-09-04 12:07	28K
	rfinseq__t3_rfinseq	2013-09-04 12:07	27K
	rfinseq__t4_rfinseq	2013-09-04 12:07	37K
	rfinseq__t5_rfinseq	2013-09-04 12:07	31K
	rfinseq__t6_rfinseq	2013-09-04 12:07	41K
	rfinseq__t7_rfinseq	2013-09-04 12:07	55K
	rfinseq__t8_rfinseq	2013-09-04 12:07	63K
	rfinseq__t9_rfinseq	2013-09-04 12:07	74K
	rfinseq__t10_rfinseq	2013-09-04 12:07	146K
	rfinseq__t11_rfinseq	2013-09-04 12:07	145K
	rfinseq__t12_rfinseq	2013-09-04 12:07	34K
	rfinseq__t13_rfinseq	2013-09-04 12:07	40K
	rfinseq__t14_rfinseq	2013-09-04 12:07	41K
	rfinseq__t15_rfinseq	2013-09-04 12:07	58K
	rfinseq__t16_rfinseq	2013-09-04 12:07	103K
	rfinseq__t17_rfinseq	2013-09-04 12:07	53K
	rfinseq__t18_rfinseq	2013-09-04 12:07	38K
	rfinseq__t19_rfinseq	2013-09-04 12:07	39K
	rfinseq__t20_rfinseq	2013-09-04 12:07	38K
	rfinseq__t21_rfinseq	2013-09-04 12:07	45K
	rfinseq__t22_rfinseq	2013-09-04 12:07	31K
	rfinseq__t23_rfinseq	2013-09-04 12:07	27K
	rfinseq__t24_rfinseq	2013-09-04 12:07	55K
	rfinseq__t25_rfinseq	2013-09-04 12:07	49K
	rfinseq__t26_rfinseq	2013-09-04 12:07	26K
	rfinseq__t27_rfinseq	2013-09-04 12:07	39K
	rfinseq__t28_rfinseq	2013-09-04 12:07	52K
	rfinseq__t29_rfinseq	2013-09-04 12:07	43K
	rfinseq__t30_rfinseq	2013-09-04 12:07	36K
	rfinseq__t31_rfinseq	2013-09-04 12:07	33K
	rfinseq__t32_rfinseq	2013-09-04 12:07	58K
	rfinseq__t33_rfinseq	2013-09-04 12:07	28K