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

	Name	Last modified	Size	Description
	Parent Directory		-
	holder_1__l6_holder_1	2013-09-04 12:24	39K
	holder_1__l7_holder_1	2013-09-04 12:24	20K
	holder_1__l8_holder_1	2013-09-04 12:24	22K
	holder_1__l9_holder_1	2013-09-04 12:24	25K
	holder_1__t1_holder_1	2013-09-04 12:24	20K
	holder_1__t2_holder_1	2013-09-04 12:24	14K
	holder_1__t3_holder_1	2013-09-04 12:24	12K
	holder_1__t4_holder_1	2013-09-04 12:24	70K
	holder_1__t5_holder_1	2013-09-04 12:24	37K
	holder_1__t6_holder_1	2013-09-04 12:24	67K
	holder_1__t7_holder_1	2013-09-04 12:24	72K
	holder_1__t8_holder_1	2013-09-04 12:24	25K
	holder_1__t9_holder_1	2013-09-04 12:24	37K
	holder_1__t10_holder_1	2013-09-04 12:24	75K
	holder_1__t11_holder_1	2013-09-04 12:24	26K
	holder_1__t12_holder_1	2013-09-04 12:24	61K
	holder_1__t13_holder_1	2013-09-04 12:24	39K