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

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_2__l6_amistd_2	2013-09-04 12:43	77K
	amistd_2__l7_amistd_2	2013-09-04 12:43	81K
	amistd_2__t1_amistd_2	2013-09-04 12:43	66K
	amistd_2__t2_amistd_2	2013-09-04 12:43	76K
	amistd_2__t3_amistd_2	2013-09-04 12:43	98K
	amistd_2__t4_amistd_2	2013-09-04 12:43	73K
	amistd_2__t5_amistd_2	2013-09-04 12:43	75K
	amistd_2__t6_amistd_2	2013-09-04 12:43	46K
	amistd_2__t7_amistd_2	2013-09-04 12:43	89K
	amistd_2__t8_amistd_2	2013-09-04 12:43	66K
	amistd_2__t9_amistd_2	2013-09-04 12:43	71K
	amistd_2__t10_amistd_2	2013-09-04 12:43	83K
	amistd_2__t11_amistd_2	2013-09-04 12:43	77K