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

	Name	Last modified	Size	Description
	Parent Directory		-
	rat_1__l1_rat_1	2013-09-04 12:42	9.7K
	rat_1__l2_rat_1	2013-09-04 12:42	33K
	rat_1__l3_rat_1	2013-09-04 12:42	6.5K
	rat_1__l4_rat_1	2013-09-04 12:42	6.7K
	rat_1__l5_rat_1	2013-09-04 12:42	36K
	rat_1__l6_rat_1	2013-09-04 12:42	31K
	rat_1__l7_rat_1	2013-09-04 12:42	33K
	rat_1__l8_rat_1	2013-09-04 12:42	27K
	rat_1__l34_rat_1	2013-09-04 12:42	12K
	rat_1__t1_rat_1	2013-09-04 12:42	12K
	rat_1__t2_rat_1	2013-09-04 12:42	11K
	rat_1__t3_rat_1	2013-09-04 12:42	13K
	rat_1__t7_rat_1	2013-09-04 12:42	37K
	rat_1__t8_rat_1	2013-09-04 12:42	33K
	rat_1__t9_rat_1	2013-09-04 12:42	22K
	rat_1__t10_rat_1	2013-09-04 12:42	13K
	rat_1__t11_rat_1	2013-09-04 12:42	12K
	rat_1__t12_rat_1	2013-09-04 12:42	9.9K
	rat_1__t13_rat_1	2013-09-04 12:42	16K
	rat_1__t14_rat_1	2013-09-04 12:42	16K
	rat_1__t15_rat_1	2013-09-04 12:42	23K
	rat_1__t16_rat_1	2013-09-04 12:42	21K
	rat_1__t17_rat_1	2013-09-04 12:42	23K
	rat_1__t18_rat_1	2013-09-04 12:42	19K
	rat_1__t19_rat_1	2013-09-04 12:42	19K
	rat_1__t20_rat_1	2013-09-04 12:42	22K
	rat_1__t21_rat_1	2013-09-04 12:42	11K
	rat_1__t22_rat_1	2013-09-04 12:42	15K
	rat_1__t23_rat_1	2013-09-04 12:42	23K
	rat_1__t24_rat_1	2013-09-04 12:42	35K
	rat_1__t25_rat_1	2013-09-04 12:42	27K
	rat_1__t26_rat_1	2013-09-04 12:42	21K
	rat_1__t27_rat_1	2013-09-04 12:42	40K
	rat_1__t28_rat_1	2013-09-04 12:42	35K
	rat_1__t29_rat_1	2013-09-04 12:42	25K
	rat_1__t30_rat_1	2013-09-04 12:42	25K
	rat_1__t31_rat_1	2013-09-04 12:42	36K
	rat_1__t32_rat_1	2013-09-04 12:42	34K
	rat_1__t33_rat_1	2013-09-04 12:42	34K
	rat_1__t34_rat_1	2013-09-04 12:42	33K
	rat_1__t35_rat_1	2013-09-04 12:42	25K
	rat_1__t36_rat_1	2013-09-04 12:42	22K
	rat_1__t37_rat_1	2013-09-04 12:42	23K
	rat_1__t38_rat_1	2013-09-04 12:42	22K
	rat_1__t39_rat_1	2013-09-04 12:42	24K
	rat_1__t40_rat_1	2013-09-04 12:42	24K
	rat_1__t41_rat_1	2013-09-04 12:42	20K
	rat_1__t42_rat_1	2013-09-04 12:42	24K
	rat_1__t43_rat_1	2013-09-04 12:42	36K
	rat_1__t44_rat_1	2013-09-04 12:42	25K
	rat_1__t45_rat_1	2013-09-04 12:42	37K