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

	Name	Last modified	Size	Description
	Parent Directory		-
	msuhom_1__l16_msuhom_1	2013-09-04 12:47	21K
	msuhom_1__l18_msuhom_1	2013-09-04 12:47	45K
	msuhom_1__l22_msuhom_1	2013-09-04 12:47	31K
	msuhom_1__t1_msuhom_1	2013-09-04 12:47	2.3K
	msuhom_1__t2_msuhom_1	2013-09-04 12:47	14K
	msuhom_1__t3_msuhom_1	2013-09-04 12:47	1.0K
	msuhom_1__t4_msuhom_1	2013-09-04 12:47	27K
	msuhom_1__t5_msuhom_1	2013-09-04 12:47	26K
	msuhom_1__t6_msuhom_1	2013-09-04 12:47	29K
	msuhom_1__t7_msuhom_1	2013-09-04 12:47	27K
	msuhom_1__t8_msuhom_1	2013-09-04 12:47	23K
	msuhom_1__t9_msuhom_1	2013-09-04 12:47	33K
	msuhom_1__t10_msuhom_1	2013-09-04 12:47	34K
	msuhom_1__t11_msuhom_1	2013-09-04 12:47	47K
	msuhom_1__t12_msuhom_1	2013-09-04 12:47	36K
	msuhom_1__t13_msuhom_1	2013-09-04 12:47	41K
	msuhom_1__t14_msuhom_1	2013-09-04 12:47	41K
	msuhom_1__t15_msuhom_1	2013-09-04 12:47	56K
	msuhom_1__t16_msuhom_1	2013-09-04 12:47	54K
	msuhom_1__t17_msuhom_1	2013-09-04 12:47	35K
	msuhom_1__t18_msuhom_1	2013-09-04 12:47	49K
	msuhom_1__t19_msuhom_1	2013-09-04 12:47	46K
	msuhom_1__t20_msuhom_1	2013-09-04 12:47	33K
	msuhom_1__t21_msuhom_1	2013-09-04 12:47	48K
	msuhom_1__t22_msuhom_1	2013-09-04 12:47	45K
	msuhom_1__t23_msuhom_1	2013-09-04 12:47	42K
	msuhom_1__t24_msuhom_1	2013-09-04 12:47	33K
	msuhom_1__t25_msuhom_1	2013-09-04 12:47	43K
	msuhom_1__t26_msuhom_1	2013-09-04 12:47	41K