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

	Name	Last modified	Size	Description
	Parent Directory		-
	ami_4__l1_ami_4	2013-09-04 12:50	23K
	ami_4__l2_ami_4	2013-09-04 12:50	23K
	ami_4__l5_ami_4	2013-09-04 12:50	40K
	ami_4__l11_ami_4	2013-09-04 12:50	57K
	ami_4__l12_ami_4	2013-09-04 12:50	52K
	ami_4__l13_ami_4	2013-09-04 12:50	68K
	ami_4__t1_ami_4	2013-09-04 12:50	37K
	ami_4__t2_ami_4	2013-09-04 12:50	45K
	ami_4__t3_ami_4	2013-09-04 12:50	45K
	ami_4__t4_ami_4	2013-09-04 12:50	45K
	ami_4__t5_ami_4	2013-09-04 12:50	47K
	ami_4__t6_ami_4	2013-09-04 12:50	44K
	ami_4__t7_ami_4	2013-09-04 12:50	69K
	ami_4__t8_ami_4	2013-09-04 12:50	41K
	ami_4__t9_ami_4	2013-09-04 12:50	40K
	ami_4__t10_ami_4	2013-09-04 12:50	94K