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

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_5__l18_amistd_5	2013-09-04 12:13	155K
	amistd_5__t1_amistd_5	2013-09-04 12:13	49K
	amistd_5__t2_amistd_5	2013-09-04 12:13	100K
	amistd_5__t3_amistd_5	2013-09-04 12:13	80K
	amistd_5__t4_amistd_5	2013-09-04 12:13	89K
	amistd_5__t5_amistd_5	2013-09-04 12:13	98K
	amistd_5__t6_amistd_5	2013-09-04 12:13	85K
	amistd_5__t7_amistd_5	2013-09-04 12:13	79K
	amistd_5__t8_amistd_5	2013-09-04 12:13	125K
	amistd_5__t9_amistd_5	2013-09-04 12:13	133K
	amistd_5__t10_amistd_5	2013-09-04 12:13	134K
	amistd_5__t11_amistd_5	2013-09-04 12:13	120K
	amistd_5__t12_amistd_5	2013-09-04 12:13	104K
	amistd_5__t13_amistd_5	2013-09-04 12:13	129K
	amistd_5__t14_amistd_5	2013-09-04 12:13	116K
	amistd_5__t15_amistd_5	2013-09-04 12:13	74K