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

	Name	Last modified	Size	Description
	Parent Directory		-
	sfmastr1__l6_sfmastr1	2013-09-04 12:19	209K
	sfmastr1__t23_sfmastr1	2013-09-04 12:19	200K
	sfmastr1__t6_sfmastr1	2013-09-04 12:19	174K
	sfmastr1__t2_sfmastr1	2013-09-04 12:19	169K
	sfmastr1__t5_sfmastr1	2013-09-04 12:19	168K
	sfmastr1__t3_sfmastr1	2013-09-04 12:19	144K
	sfmastr1__t12_sfmastr1	2013-09-04 12:19	115K
	sfmastr1__t11_sfmastr1	2013-09-04 12:19	113K
	sfmastr1__t16_sfmastr1	2013-09-04 12:19	110K
	sfmastr1__t13_sfmastr1	2013-09-04 12:19	110K
	sfmastr1__t4_sfmastr1	2013-09-04 12:19	108K
	sfmastr1__t15_sfmastr1	2013-09-04 12:19	106K
	sfmastr1__t9_sfmastr1	2013-09-04 12:19	104K
	sfmastr1__t8_sfmastr1	2013-09-04 12:19	104K
	sfmastr1__t14_sfmastr1	2013-09-04 12:19	103K
	sfmastr1__t7_sfmastr1	2013-09-04 12:19	101K
	sfmastr1__t22_sfmastr1	2013-09-04 12:19	100K
	sfmastr1__t1_sfmastr1	2013-09-04 12:19	94K
	sfmastr1__t10_sfmastr1	2013-09-04 12:19	90K