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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal6__l50_ordinal6	2013-09-04 12:22	17K
	ordinal6__l78_ordinal6	2013-09-04 12:22	42K
	ordinal6__l79_ordinal6	2013-09-04 12:22	43K
	ordinal6__l80_ordinal6	2013-09-04 12:22	55K
	ordinal6__l98_ordinal6	2013-09-04 12:22	23K
	ordinal6__l99_ordinal6	2013-09-04 12:22	25K
	ordinal6__l100_ordinal6	2013-09-04 12:22	48K
	ordinal6__t1_ordinal6	2013-09-04 12:22	17K
	ordinal6__t2_ordinal6	2013-09-04 12:22	17K
	ordinal6__t3_ordinal6	2013-09-04 12:22	17K
	ordinal6__t4_ordinal6	2013-09-04 12:22	17K
	ordinal6__t5_ordinal6	2013-09-04 12:22	18K
	ordinal6__t6_ordinal6	2013-09-04 12:22	23K
	ordinal6__t7_ordinal6	2013-09-04 12:22	24K
	ordinal6__t8_ordinal6	2013-09-04 12:22	20K
	ordinal6__t9_ordinal6	2013-09-04 12:22	22K
	ordinal6__t10_ordinal6	2013-09-04 12:22	26K
	ordinal6__t11_ordinal6	2013-09-04 12:22	18K
	ordinal6__t12_ordinal6	2013-09-04 12:22	18K
	ordinal6__t13_ordinal6	2013-09-04 12:22	26K
	ordinal6__t14_ordinal6	2013-09-04 12:22	19K
	ordinal6__t15_ordinal6	2013-09-04 12:22	21K
	ordinal6__t16_ordinal6	2013-09-04 12:22	24K
	ordinal6__t17_ordinal6	2013-09-04 12:22	1.8K
	ordinal6__t18_ordinal6	2013-09-04 12:22	21K
	ordinal6__t19_ordinal6	2013-09-04 12:22	2.8K
	ordinal6__t20_ordinal6	2013-09-04 12:22	22K
	ordinal6__t21_ordinal6	2013-09-04 12:22	2.9K
	ordinal6__t22_ordinal6	2013-09-04 12:22	23K
	ordinal6__t23_ordinal6	2013-09-04 12:22	22K
	ordinal6__t24_ordinal6	2013-09-04 12:22	32K
	ordinal6__t25_ordinal6	2013-09-04 12:22	24K
	ordinal6__t26_ordinal6	2013-09-04 12:22	26K
	ordinal6__t27_ordinal6	2013-09-04 12:22	20K
	ordinal6__t28_ordinal6	2013-09-04 12:22	19K
	ordinal6__t29_ordinal6	2013-09-04 12:22	23K
	ordinal6__t30_ordinal6	2013-09-04 12:22	23K
	ordinal6__t31_ordinal6	2013-09-04 12:22	23K
	ordinal6__t32_ordinal6	2013-09-04 12:22	25K
	ordinal6__t33_ordinal6	2013-09-04 12:22	24K
	ordinal6__t34_ordinal6	2013-09-04 12:22	26K
	ordinal6__t35_ordinal6	2013-09-04 12:22	28K
	ordinal6__t36_ordinal6	2013-09-04 12:22	33K
	ordinal6__t37_ordinal6	2013-09-04 12:22	20K
	ordinal6__t38_ordinal6	2013-09-04 12:22	24K
	ordinal6__t39_ordinal6	2013-09-04 12:22	36K
	ordinal6__t40_ordinal6	2013-09-04 12:22	28K
	ordinal6__t41_ordinal6	2013-09-04 12:22	30K
	ordinal6__t42_ordinal6	2013-09-04 12:22	30K
	ordinal6__t43_ordinal6	2013-09-04 12:22	36K
	ordinal6__t44_ordinal6	2013-09-04 12:22	45K
	ordinal6__t45_ordinal6	2013-09-04 12:22	37K
	ordinal6__t46_ordinal6	2013-09-04 12:22	21K
	ordinal6__t47_ordinal6	2013-09-04 12:22	24K
	ordinal6__t48_ordinal6	2013-09-04 12:22	25K
	ordinal6__t49_ordinal6	2013-09-04 12:22	26K
	ordinal6__t50_ordinal6	2013-09-04 12:22	25K
	ordinal6__t51_ordinal6	2013-09-04 12:22	26K
	ordinal6__t52_ordinal6	2013-09-04 12:22	38K
	ordinal6__t53_ordinal6	2013-09-04 12:22	33K
	ordinal6__t54_ordinal6	2013-09-04 12:22	39K
	ordinal6__t55_ordinal6	2013-09-04 12:22	30K
	ordinal6__t56_ordinal6	2013-09-04 12:22	35K
	ordinal6__t57_ordinal6	2013-09-04 12:22	21K
	ordinal6__t58_ordinal6	2013-09-04 12:22	47K
	ordinal6__t59_ordinal6	2013-09-04 12:22	47K
	ordinal6__t60_ordinal6	2013-09-04 12:22	48K
	ordinal6__t61_ordinal6	2013-09-04 12:22	50K
	ordinal6__t62_ordinal6	2013-09-04 12:22	35K
	ordinal6__t63_ordinal6	2013-09-04 12:22	47K
	ordinal6__t64_ordinal6	2013-09-04 12:22	31K
	ordinal6__t65_ordinal6	2013-09-04 12:22	52K
	ordinal6__t66_ordinal6	2013-09-04 12:22	21K
	ordinal6__t67_ordinal6	2013-09-04 12:22	22K
	ordinal6__t68_ordinal6	2013-09-04 12:22	45K
	ordinal6__t69_ordinal6	2013-09-04 12:22	46K
	ordinal6__t70_ordinal6	2013-09-04 12:22	34K
	ordinal6__t71_ordinal6	2013-09-04 12:22	35K
	ordinal6__t72_ordinal6	2013-09-04 12:22	22K
	ordinal6__t73_ordinal6	2013-09-04 12:22	22K
	ordinal6__t74_ordinal6	2013-09-04 12:22	43K
	ordinal6__t75_ordinal6	2013-09-04 12:22	24K
	ordinal6__t76_ordinal6	2013-09-04 12:22	48K
	ordinal6__t77_ordinal6	2013-09-04 12:22	24K