Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/poset_1

	Name	Last modified	Size	Description
	Parent Directory		-
	poset_1__l1_poset_1	2013-09-04 12:05	14K
	poset_1__l2_poset_1	2013-09-04 12:05	19K
	poset_1__l3_poset_1	2013-09-04 12:05	12K
	poset_1__l4_poset_1	2013-09-04 12:05	11K
	poset_1__l8_poset_1	2013-09-04 12:05	19K
	poset_1__l10_poset_1	2013-09-04 12:05	20K
	poset_1__l11_poset_1	2013-09-04 12:05	23K
	poset_1__l12_poset_1	2013-09-04 12:05	29K
	poset_1__l13_poset_1	2013-09-04 12:05	29K
	poset_1__l14_poset_1	2013-09-04 12:05	38K
	poset_1__l15_poset_1	2013-09-04 12:05	28K
	poset_1__l16_poset_1	2013-09-04 12:05	30K
	poset_1__l25_poset_1	2013-09-04 12:05	28K
	poset_1__l26_poset_1	2013-09-04 12:05	25K
	poset_1__l31_poset_1	2013-09-04 12:05	20K
	poset_1__l32_poset_1	2013-09-04 12:05	21K
	poset_1__l33_poset_1	2013-09-04 12:05	23K
	poset_1__l35_poset_1	2013-09-04 12:05	26K
	poset_1__l36_poset_1	2013-09-04 12:05	25K
	poset_1__l37_poset_1	2013-09-04 12:05	25K
	poset_1__l38_poset_1	2013-09-04 12:05	25K
	poset_1__l42_poset_1	2013-09-04 12:05	32K
	poset_1__l43_poset_1	2013-09-04 12:05	19K
	poset_1__l44_poset_1	2013-09-04 12:05	19K
	poset_1__l45_poset_1	2013-09-04 12:05	37K
	poset_1__l46_poset_1	2013-09-04 12:05	27K
	poset_1__l47_poset_1	2013-09-04 12:05	26K
	poset_1__l50_poset_1	2013-09-04 12:05	29K
	poset_1__l52_poset_1	2013-09-04 12:05	26K
	poset_1__l53_poset_1	2013-09-04 12:05	26K
	poset_1__l55_poset_1	2013-09-04 12:05	28K
	poset_1__l56_poset_1	2013-09-04 12:05	31K
	poset_1__l57_poset_1	2013-09-04 12:05	28K
	poset_1__l58_poset_1	2013-09-04 12:05	27K
	poset_1__l59_poset_1	2013-09-04 12:05	29K
	poset_1__l60_poset_1	2013-09-04 12:05	28K
	poset_1__l61_poset_1	2013-09-04 12:05	32K
	poset_1__l62_poset_1	2013-09-04 12:05	29K
	poset_1__l63_poset_1	2013-09-04 12:05	33K
	poset_1__l64_poset_1	2013-09-04 12:05	31K
	poset_1__l65_poset_1	2013-09-04 12:05	62K
	poset_1__t1_poset_1	2013-09-04 12:05	22K
	poset_1__t2_poset_1	2013-09-04 12:05	24K
	poset_1__t3_poset_1	2013-09-04 12:05	25K
	poset_1__t4_poset_1	2013-09-04 12:05	39K
	poset_1__t5_poset_1	2013-09-04 12:05	25K
	poset_1__t6_poset_1	2013-09-04 12:05	22K
	poset_1__t7_poset_1	2013-09-04 12:05	27K
	poset_1__t8_poset_1	2013-09-04 12:05	24K
	poset_1__t9_poset_1	2013-09-04 12:05	26K
	poset_1__t10_poset_1	2013-09-04 12:05	25K
	poset_1__t11_poset_1	2013-09-04 12:05	36K
	poset_1__t12_poset_1	2013-09-04 12:05	33K