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

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_4__t1_amistd_4	2013-09-04 12:33	28K
	amistd_4__t2_amistd_4	2013-09-04 12:33	28K
	amistd_4__t3_amistd_4	2013-09-04 12:33	26K
	amistd_4__t4_amistd_4	2013-09-04 12:33	25K
	amistd_4__t5_amistd_4	2013-09-04 12:33	15K
	amistd_4__t6_amistd_4	2013-09-04 12:33	16K
	amistd_4__t7_amistd_4	2013-09-04 12:33	25K
	amistd_4__t8_amistd_4	2013-09-04 12:33	19K
	amistd_4__t9_amistd_4	2013-09-04 12:33	17K
	amistd_4__t10_amistd_4	2013-09-04 12:33	22K
	amistd_4__t11_amistd_4	2013-09-04 12:33	13K
	amistd_4__t12_amistd_4	2013-09-04 12:33	23K
	amistd_4__t13_amistd_4	2013-09-04 12:33	14K
	amistd_4__t14_amistd_4	2013-09-04 12:33	30K
	amistd_4__t15_amistd_4	2013-09-04 12:33	24K
	amistd_4__t16_amistd_4	2013-09-04 12:33	26K
	amistd_4__t17_amistd_4	2013-09-04 12:33	25K
	amistd_4__t18_amistd_4	2013-09-04 12:33	26K
	amistd_4__t19_amistd_4	2013-09-04 12:33	25K