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

	Name	Last modified	Size	Description
	Parent Directory		-
	modcat_1__l32_modcat_1	2013-09-04 12:35	31K
	modcat_1__l33_modcat_1	2013-09-04 12:35	32K
	modcat_1__t1_modcat_1	2013-09-04 12:35	15K
	modcat_1__t2_modcat_1	2013-09-04 12:35	20K
	modcat_1__t3_modcat_1	2013-09-04 12:35	20K
	modcat_1__t4_modcat_1	2013-09-04 12:35	13K
	modcat_1__t5_modcat_1	2013-09-04 12:35	18K
	modcat_1__t6_modcat_1	2013-09-04 12:35	16K
	modcat_1__t7_modcat_1	2013-09-04 12:35	16K
	modcat_1__t8_modcat_1	2013-09-04 12:35	27K
	modcat_1__t9_modcat_1	2013-09-04 12:35	29K
	modcat_1__t10_modcat_1	2013-09-04 12:35	20K
	modcat_1__t11_modcat_1	2013-09-04 12:35	22K
	modcat_1__t12_modcat_1	2013-09-04 12:35	32K
	modcat_1__t15_modcat_1	2013-09-04 12:35	30K
	modcat_1__t16_modcat_1	2013-09-04 12:35	35K