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

	Name	Last modified	Size	Description
	Parent Directory		-
	sf_mastr__t1_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t2_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t3_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t4_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t5_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t6_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t7_sf_mastr	2013-09-04 12:30	52K
	sf_mastr__t8_sf_mastr	2013-09-04 12:30	52K
	sf_mastr__t9_sf_mastr	2013-09-04 12:30	50K
	sf_mastr__t10_sf_mastr	2013-09-04 12:30	50K
	sf_mastr__t11_sf_mastr	2013-09-04 12:30	49K
	sf_mastr__t12_sf_mastr	2013-09-04 12:30	49K
	sf_mastr__t13_sf_mastr	2013-09-04 12:30	72K
	sf_mastr__t14_sf_mastr	2013-09-04 12:30	72K
	sf_mastr__t15_sf_mastr	2013-09-04 12:30	74K
	sf_mastr__t16_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t17_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t18_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t19_sf_mastr	2013-09-04 12:30	50K
	sf_mastr__t20_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t21_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t22_sf_mastr	2013-09-04 12:30	61K
	sf_mastr__t23_sf_mastr	2013-09-04 12:30	93K
	sf_mastr__t24_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t25_sf_mastr	2013-09-04 12:30	49K
	sf_mastr__t26_sf_mastr	2013-09-04 12:30	61K
	sf_mastr__t27_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t28_sf_mastr	2013-09-04 12:30	62K
	sf_mastr__t29_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t30_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t31_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t32_sf_mastr	2013-09-04 12:30	74K
	sf_mastr__t33_sf_mastr	2013-09-04 12:30	58K
	sf_mastr__t34_sf_mastr	2013-09-04 12:30	58K
	sf_mastr__t35_sf_mastr	2013-09-04 12:30	50K
	sf_mastr__t36_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t37_sf_mastr	2013-09-04 12:30	56K
	sf_mastr__t38_sf_mastr	2013-09-04 12:30	61K
	sf_mastr__t39_sf_mastr	2013-09-04 12:30	91K
	sf_mastr__t40_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t41_sf_mastr	2013-09-04 12:30	49K
	sf_mastr__t42_sf_mastr	2013-09-04 12:30	69K
	sf_mastr__t43_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t44_sf_mastr	2013-09-04 12:30	75K
	sf_mastr__t45_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t46_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t47_sf_mastr	2013-09-04 12:30	71K
	sf_mastr__t48_sf_mastr	2013-09-04 12:30	43K
	sf_mastr__t49_sf_mastr	2013-09-04 12:30	47K
	sf_mastr__t50_sf_mastr	2013-09-04 12:30	52K
	sf_mastr__t51_sf_mastr	2013-09-04 12:30	56K
	sf_mastr__t52_sf_mastr	2013-09-04 12:30	51K
	sf_mastr__t53_sf_mastr	2013-09-04 12:30	55K
	sf_mastr__t54_sf_mastr	2013-09-04 12:30	53K
	sf_mastr__t55_sf_mastr	2013-09-04 12:30	43K
	sf_mastr__t56_sf_mastr	2013-09-04 12:30	65K
	sf_mastr__t57_sf_mastr	2013-09-04 12:30	44K
	sf_mastr__t58_sf_mastr	2013-09-04 12:30	54K
	sf_mastr__t59_sf_mastr	2013-09-04 12:30	53K
	sf_mastr__t60_sf_mastr	2013-09-04 12:30	131K
	sf_mastr__t61_sf_mastr	2013-09-04 12:30	62K
	sf_mastr__t62_sf_mastr	2013-09-04 12:30	128K
	sf_mastr__t63_sf_mastr	2013-09-04 12:30	65K
	sf_mastr__t64_sf_mastr	2013-09-04 12:30	538K
	sf_mastr__t65_sf_mastr	2013-09-04 12:30	126K