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

	Name	Last modified	Size	Description
	Parent Directory		-
	mfold_1__l16_mfold_1	2013-09-04 12:41	82K
	mfold_1__l19_mfold_1	2013-09-04 12:41	50K
	mfold_1__t1_mfold_1	2013-09-04 12:41	66K
	mfold_1__t2_mfold_1	2013-09-04 12:41	153K
	mfold_1__t3_mfold_1	2013-09-04 12:41	62K
	mfold_1__t4_mfold_1	2013-09-04 12:41	59K
	mfold_1__t5_mfold_1	2013-09-04 12:41	59K
	mfold_1__t6_mfold_1	2013-09-04 12:41	396K
	mfold_1__t7_mfold_1	2013-09-04 12:41	105K
	mfold_1__t8_mfold_1	2013-09-04 12:41	81K
	mfold_1__t9_mfold_1	2013-09-04 12:41	80K
	mfold_1__t10_mfold_1	2013-09-04 12:41	63K
	mfold_1__t11_mfold_1	2013-09-04 12:41	58K
	mfold_1__t12_mfold_1	2013-09-04 12:41	45K
	mfold_1__t13_mfold_1	2013-09-04 12:41	57K