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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal5__l37_ordinal5	2013-09-04 12:23	17K
	ordinal5__l68_ordinal5	2013-09-04 12:23	19K
	ordinal5__t1_ordinal5	2013-09-04 12:23	17K
	ordinal5__t2_ordinal5	2013-09-04 12:23	29K
	ordinal5__t3_ordinal5	2013-09-04 12:23	23K
	ordinal5__t4_ordinal5	2013-09-04 12:23	2.7K
	ordinal5__t5_ordinal5	2013-09-04 12:23	18K
	ordinal5__t6_ordinal5	2013-09-04 12:23	23K
	ordinal5__t7_ordinal5	2013-09-04 12:23	19K
	ordinal5__t8_ordinal5	2013-09-04 12:23	20K
	ordinal5__t9_ordinal5	2013-09-04 12:23	25K
	ordinal5__t10_ordinal5	2013-09-04 12:23	20K
	ordinal5__t11_ordinal5	2013-09-04 12:23	23K
	ordinal5__t12_ordinal5	2013-09-04 12:23	18K
	ordinal5__t13_ordinal5	2013-09-04 12:23	27K
	ordinal5__t14_ordinal5	2013-09-04 12:23	27K
	ordinal5__t15_ordinal5	2013-09-04 12:23	28K
	ordinal5__t16_ordinal5	2013-09-04 12:23	21K
	ordinal5__t17_ordinal5	2013-09-04 12:23	24K
	ordinal5__t18_ordinal5	2013-09-04 12:23	20K
	ordinal5__t19_ordinal5	2013-09-04 12:23	20K
	ordinal5__t20_ordinal5	2013-09-04 12:23	26K
	ordinal5__t21_ordinal5	2013-09-04 12:23	29K
	ordinal5__t22_ordinal5	2013-09-04 12:23	20K
	ordinal5__t23_ordinal5	2013-09-04 12:23	28K
	ordinal5__t24_ordinal5	2013-09-04 12:23	80K
	ordinal5__t25_ordinal5	2013-09-04 12:23	22K
	ordinal5__t26_ordinal5	2013-09-04 12:23	24K
	ordinal5__t27_ordinal5	2013-09-04 12:23	30K
	ordinal5__t28_ordinal5	2013-09-04 12:23	29K
	ordinal5__t29_ordinal5	2013-09-04 12:23	25K
	ordinal5__t30_ordinal5	2013-09-04 12:23	24K
	ordinal5__t31_ordinal5	2013-09-04 12:23	31K
	ordinal5__t32_ordinal5	2013-09-04 12:23	25K
	ordinal5__t33_ordinal5	2013-09-04 12:23	23K
	ordinal5__t34_ordinal5	2013-09-04 12:23	18K
	ordinal5__t35_ordinal5	2013-09-04 12:23	18K
	ordinal5__t36_ordinal5	2013-09-04 12:23	40K
	ordinal5__t37_ordinal5	2013-09-04 12:23	22K
	ordinal5__t38_ordinal5	2013-09-04 12:23	19K
	ordinal5__t39_ordinal5	2013-09-04 12:23	24K
	ordinal5__t40_ordinal5	2013-09-04 12:23	144K
	ordinal5__t41_ordinal5	2013-09-04 12:23	28K
	ordinal5__t42_ordinal5	2013-09-04 12:23	27K
	ordinal5__t43_ordinal5	2013-09-04 12:23	28K
	ordinal5__t44_ordinal5	2013-09-04 12:23	26K
	ordinal5__t45_ordinal5	2013-09-04 12:23	20K
	ordinal5__t46_ordinal5	2013-09-04 12:23	22K
	ordinal5__t47_ordinal5	2013-09-04 12:23	21K
	ordinal5__t48_ordinal5	2013-09-04 12:23	19K
	ordinal5__t49_ordinal5	2013-09-04 12:23	21K
	ordinal5__t50_ordinal5	2013-09-04 12:23	19K
	ordinal5__t51_ordinal5	2013-09-04 12:23	22K
	ordinal5__t52_ordinal5	2013-09-04 12:23	24K
	ordinal5__t53_ordinal5	2013-09-04 12:23	31K
	ordinal5__t54_ordinal5	2013-09-04 12:23	40K
	ordinal5__t55_ordinal5	2013-09-04 12:23	30K
	ordinal5__t56_ordinal5	2013-09-04 12:23	32K
	ordinal5__t57_ordinal5	2013-09-04 12:23	22K
	ordinal5__t58_ordinal5	2013-09-04 12:23	23K
	ordinal5__t59_ordinal5	2013-09-04 12:23	21K
	ordinal5__t60_ordinal5	2013-09-04 12:23	20K
	ordinal5__t61_ordinal5	2013-09-04 12:23	19K
	ordinal5__t62_ordinal5	2013-09-04 12:23	19K
	ordinal5__t63_ordinal5	2013-09-04 12:23	19K
	ordinal5__t64_ordinal5	2013-09-04 12:23	22K
	ordinal5__t65_ordinal5	2013-09-04 12:23	25K
	ordinal5__t66_ordinal5	2013-09-04 12:23	24K
	ordinal5__t67_ordinal5	2013-09-04 12:23	50K
	ordinal5__t68_ordinal5	2013-09-04 12:23	34K
	ordinal5__t69_ordinal5	2013-09-04 12:23	32K