Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/amistd_1

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_1__l4_amistd_1	2013-09-04 12:53	71K
	amistd_1__l10_amistd_1	2013-09-04 12:53	78K
	amistd_1__l13_amistd_1	2013-09-04 12:53	94K
	amistd_1__l18_amistd_1	2013-09-04 12:53	98K
	amistd_1__l19_amistd_1	2013-09-04 12:53	78K
	amistd_1__l31_amistd_1	2013-09-04 12:53	77K
	amistd_1__l34_amistd_1	2013-09-04 12:53	64K
	amistd_1__t1_amistd_1	2013-09-04 12:53	65K
	amistd_1__t2_amistd_1	2013-09-04 12:53	76K
	amistd_1__t3_amistd_1	2013-09-04 12:53	133K
	amistd_1__t4_amistd_1	2013-09-04 12:53	89K
	amistd_1__t5_amistd_1	2013-09-04 12:53	74K
	amistd_1__t6_amistd_1	2013-09-04 12:53	84K
	amistd_1__t7_amistd_1	2013-09-04 12:53	90K
	amistd_1__t8_amistd_1	2013-09-04 12:53	96K
	amistd_1__t9_amistd_1	2013-09-04 12:53	74K
	amistd_1__t10_amistd_1	2013-09-04 12:53	84K
	amistd_1__t11_amistd_1	2013-09-04 12:53	86K
	amistd_1__t12_amistd_1	2013-09-04 12:53	89K
	amistd_1__t13_amistd_1	2013-09-04 12:53	71K
	amistd_1__t14_amistd_1	2013-09-04 12:53	75K
	amistd_1__t15_amistd_1	2013-09-04 12:53	62K
	amistd_1__t16_amistd_1	2013-09-04 12:53	77K
	amistd_1__t17_amistd_1	2013-09-04 12:53	77K
	amistd_1__t18_amistd_1	2013-09-04 12:53	72K
	amistd_1__t19_amistd_1	2013-09-04 12:53	64K
	amistd_1__t20_amistd_1	2013-09-04 12:53	98K
	amistd_1__t21_amistd_1	2013-09-04 12:53	60K