Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/ami_6

	Name	Last modified	Size	Description
	Parent Directory		-
	ami_6__l15_ami_6	2017-01-13 00:42	126K
	ami_6__l24_ami_6	2017-01-13 00:42	103K
	ami_6__t1_ami_6	2017-01-13 00:42	128K
	ami_6__t2_ami_6	2017-01-13 00:42	111K
	ami_6__t3_ami_6	2017-01-13 00:42	119K
	ami_6__t4_ami_6	2017-01-13 00:42	117K
	ami_6__t5_ami_6	2017-01-13 00:42	117K
	ami_6__t6_ami_6	2017-01-13 00:42	118K
	ami_6__t7_ami_6	2017-01-13 00:42	118K
	ami_6__t8_ami_6	2017-01-13 00:42	118K
	ami_6__t9_ami_6	2017-01-13 00:42	132K
	ami_6__t10_ami_6	2017-01-13 00:42	140K
	ami_6__t11_ami_6	2017-01-13 00:42	140K
	ami_6__t12_ami_6	2017-01-13 00:42	131K
	ami_6__t13_ami_6	2017-01-13 00:42	133K
	ami_6__t14_ami_6	2017-01-13 00:42	133K
	ami_6__t15_ami_6	2017-01-13 00:42	144K
	ami_6__t16_ami_6	2017-01-13 00:42	124K
	ami_6__t17_ami_6	2017-01-13 00:42	377K
	ami_6__t18_ami_6	2017-01-13 00:42	405K
	ami_6__t19_ami_6	2017-01-13 00:42	403K
	ami_6__t20_ami_6	2017-01-13 00:42	362K
	ami_6__t21_ami_6	2017-01-13 00:42	526K
	ami_6__t22_ami_6	2017-01-13 00:42	212K
	ami_6__t23_ami_6	2017-01-13 00:42	222K
	ami_6__t24_ami_6	2017-01-13 00:42	226K
	ami_6__t25_ami_6	2017-01-13 00:42	211K