Index of /~mptp/1147/MPTP2/problems_small_consist/ami_3

	Name	Last modified	Size	Description
	Parent Directory		-
	ami_3__l32_ami_3	2013-09-04 12:47	44K
	ami_3__l31_ami_3	2013-09-04 12:47	44K
	ami_3__l30_ami_3	2013-09-04 12:47	431K
	ami_3__l29_ami_3	2013-09-04 12:47	431K
	ami_3__l28_ami_3	2013-09-04 12:47	428K
	ami_3__l27_ami_3	2013-09-04 12:47	94K
	ami_3__l26_ami_3	2013-09-04 12:47	101K
	ami_3__l25_ami_3	2013-09-04 12:47	94K
	ami_3__l24_ami_3	2013-09-04 12:47	94K
	ami_3__l23_ami_3	2013-09-04 12:47	94K
	ami_3__l22_ami_3	2013-09-04 12:47	69K
	ami_3__l21_ami_3	2013-09-04 12:47	92K
	ami_3__t27_ami_3	2013-09-04 12:47	39K
	ami_3__t13_ami_3	2013-09-04 12:47	37K
	ami_3__t11_ami_3	2013-09-04 12:47	40K
	ami_3__t9_ami_3	2013-09-04 12:47	426K
	ami_3__t8_ami_3	2013-09-04 12:47	426K
	ami_3__l2_ami_3	2013-09-04 12:47	37K
	ami_3__t7_ami_3	2013-09-04 12:47	76K
	ami_3__t6_ami_3	2013-09-04 12:47	426K
	ami_3__t5_ami_3	2013-09-04 12:47	426K
	ami_3__t4_ami_3	2013-09-04 12:47	426K
	ami_3__t3_ami_3	2013-09-04 12:47	426K
	ami_3__t2_ami_3	2013-09-04 12:47	426K
	ami_3__t30_ami_3	2013-09-04 12:47	36K
	ami_3__t29_ami_3	2013-09-04 12:47	39K
	ami_3__t28_ami_3	2013-09-04 12:47	38K
	ami_3__t26_ami_3	2013-09-04 12:47	39K
	ami_3__t25_ami_3	2013-09-04 12:47	39K
	ami_3__t24_ami_3	2013-09-04 12:47	45K
	ami_3__t23_ami_3	2013-09-04 12:47	38K
	ami_3__t22_ami_3	2013-09-04 12:47	38K
	ami_3__t21_ami_3	2013-09-04 12:47	38K
	ami_3__t20_ami_3	2013-09-04 12:47	38K
	ami_3__t19_ami_3	2013-09-04 12:47	38K
	ami_3__t18_ami_3	2013-09-04 12:47	38K
	ami_3__t17_ami_3	2013-09-04 12:47	38K
	ami_3__t16_ami_3	2013-09-04 12:47	38K
	ami_3__t15_ami_3	2013-09-04 12:47	38K
	ami_3__t14_ami_3	2013-09-04 12:47	93K
	ami_3__t12_ami_3	2013-09-04 12:47	37K
	ami_3__t10_ami_3	2013-09-04 12:47	37K
	ami_3__t1_ami_3	2013-09-04 12:47	37K