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

	Name	Last modified	Size	Description
	Parent Directory		-
	lmod_5__t1_lmod_5	2013-09-04 12:17	21K
	lmod_5__t2_lmod_5	2013-09-04 12:17	25K
	lmod_5__t3_lmod_5	2013-09-04 12:17	20K
	lmod_5__t4_lmod_5	2013-09-04 12:17	16K
	lmod_5__t5_lmod_5	2013-09-04 12:17	16K
	lmod_5__t6_lmod_5	2013-09-04 12:17	23K
	lmod_5__t7_lmod_5	2013-09-04 12:17	42K
	lmod_5__t8_lmod_5	2013-09-04 12:17	25K
	lmod_5__t9_lmod_5	2013-09-04 12:17	31K
	lmod_5__t10_lmod_5	2013-09-04 12:17	29K
	lmod_5__t11_lmod_5	2013-09-04 12:17	25K
	lmod_5__t12_lmod_5	2013-09-04 12:17	28K
	lmod_5__t13_lmod_5	2013-09-04 12:17	24K
	lmod_5__t14_lmod_5	2013-09-04 12:17	26K
	lmod_5__t15_lmod_5	2013-09-04 12:17	23K
	lmod_5__t16_lmod_5	2013-09-04 12:17	45K
	lmod_5__t17_lmod_5	2013-09-04 12:17	25K