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

	Name	Last modified	Size	Description
	Parent Directory		-
	msaterm__l1_msaterm	2013-09-04 12:40	35K
	msaterm__l2_msaterm	2013-09-04 12:40	28K
	msaterm__l6_msaterm	2013-09-04 12:40	34K
	msaterm__l7_msaterm	2013-09-04 12:40	39K
	msaterm__l8_msaterm	2013-09-04 12:40	29K
	msaterm__l9_msaterm	2013-09-04 12:40	21K
	msaterm__l24_msaterm	2013-09-04 12:40	13K
	msaterm__l34_msaterm	2013-09-04 12:40	49K
	msaterm__l44_msaterm	2013-09-04 12:40	22K
	msaterm__t1_msaterm	2013-09-04 12:40	49K
	msaterm__t2_msaterm	2013-09-04 12:40	43K
	msaterm__t3_msaterm	2013-09-04 12:40	46K
	msaterm__t4_msaterm	2013-09-04 12:40	33K
	msaterm__t5_msaterm	2013-09-04 12:40	34K
	msaterm__t6_msaterm	2013-09-04 12:40	38K
	msaterm__t7_msaterm	2013-09-04 12:40	37K
	msaterm__t8_msaterm	2013-09-04 12:40	38K
	msaterm__t9_msaterm	2013-09-04 12:40	37K
	msaterm__t10_msaterm	2013-09-04 12:40	40K
	msaterm__t11_msaterm	2013-09-04 12:40	43K
	msaterm__t12_msaterm	2013-09-04 12:40	29K
	msaterm__t13_msaterm	2013-09-04 12:40	35K
	msaterm__t14_msaterm	2013-09-04 12:40	41K
	msaterm__t15_msaterm	2013-09-04 12:40	37K
	msaterm__t16_msaterm	2013-09-04 12:40	37K
	msaterm__t17_msaterm	2013-09-04 12:40	39K
	msaterm__t18_msaterm	2013-09-04 12:40	38K
	msaterm__t19_msaterm	2013-09-04 12:40	38K
	msaterm__t20_msaterm	2013-09-04 12:40	46K
	msaterm__t21_msaterm	2013-09-04 12:40	35K
	msaterm__t22_msaterm	2013-09-04 12:40	40K
	msaterm__t23_msaterm	2013-09-04 12:40	40K
	msaterm__t24_msaterm	2013-09-04 12:40	50K
	msaterm__t25_msaterm	2013-09-04 12:40	42K
	msaterm__t26_msaterm	2013-09-04 12:40	51K
	msaterm__t27_msaterm	2013-09-04 12:40	33K
	msaterm__t28_msaterm	2013-09-04 12:40	35K
	msaterm__t29_msaterm	2013-09-04 12:40	59K
	msaterm__t30_msaterm	2013-09-04 12:40	23K
	msaterm__t31_msaterm	2013-09-04 12:40	50K
	msaterm__t32_msaterm	2013-09-04 12:40	50K
	msaterm__t33_msaterm	2013-09-04 12:40	67K
	msaterm__t34_msaterm	2013-09-04 12:40	53K
	msaterm__t35_msaterm	2013-09-04 12:40	71K
	msaterm__t36_msaterm	2013-09-04 12:40	62K
	msaterm__t37_msaterm	2013-09-04 12:40	69K
	msaterm__t38_msaterm	2013-09-04 12:40	82K
	msaterm__t39_msaterm	2013-09-04 12:40	37K
	msaterm__t40_msaterm	2013-09-04 12:40	55K
	msaterm__t41_msaterm	2013-09-04 12:40	42K
	msaterm__t42_msaterm	2013-09-04 12:40	44K
	msaterm__t43_msaterm	2013-09-04 12:40	58K