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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal2__l47_ordinal2	2013-09-04 12:22	8.8K
	ordinal2__t1_ordinal2	2013-09-04 12:22	8.0K
	ordinal2__t2_ordinal2	2013-09-04 12:22	8.5K
	ordinal2__t3_ordinal2	2013-09-04 12:22	8.2K
	ordinal2__t4_ordinal2	2013-09-04 12:22	4.0K
	ordinal2__t5_ordinal2	2013-09-04 12:22	7.1K
	ordinal2__t6_ordinal2	2013-09-04 12:22	5.9K
	ordinal2__t7_ordinal2	2013-09-04 12:22	6.5K
	ordinal2__t8_ordinal2	2013-09-04 12:22	4.0K
	ordinal2__t9_ordinal2	2013-09-04 12:22	6.5K
	ordinal2__t10_ordinal2	2013-09-04 12:22	6.5K
	ordinal2__t11_ordinal2	2013-09-04 12:22	6.6K
	ordinal2__t12_ordinal2	2013-09-04 12:22	6.7K
	ordinal2__t13_ordinal2	2013-09-04 12:22	7.2K
	ordinal2__t14_ordinal2	2013-09-04 12:22	7.1K
	ordinal2__t15_ordinal2	2013-09-04 12:22	7.4K
	ordinal2__t16_ordinal2	2013-09-04 12:22	7.3K
	ordinal2__t17_ordinal2	2013-09-04 12:22	7.5K
	ordinal2__t18_ordinal2	2013-09-04 12:22	7.0K
	ordinal2__t19_ordinal2	2013-09-04 12:22	7.1K
	ordinal2__t20_ordinal2	2013-09-04 12:22	7.3K
	ordinal2__t21_ordinal2	2013-09-04 12:22	7.2K
	ordinal2__t22_ordinal2	2013-09-04 12:22	7.2K
	ordinal2__t23_ordinal2	2013-09-04 12:22	8.6K
	ordinal2__t24_ordinal2	2013-09-04 12:22	7.8K
	ordinal2__t25_ordinal2	2013-09-04 12:22	7.6K
	ordinal2__t26_ordinal2	2013-09-04 12:22	1.8K
	ordinal2__t27_ordinal2	2013-09-04 12:22	10K
	ordinal2__t28_ordinal2	2013-09-04 12:22	10K
	ordinal2__t29_ordinal2	2013-09-04 12:22	11K
	ordinal2__t30_ordinal2	2013-09-04 12:22	11K
	ordinal2__t31_ordinal2	2013-09-04 12:22	9.2K
	ordinal2__t32_ordinal2	2013-09-04 12:22	12K
	ordinal2__t33_ordinal2	2013-09-04 12:22	7.6K
	ordinal2__t34_ordinal2	2013-09-04 12:22	12K
	ordinal2__t35_ordinal2	2013-09-04 12:22	10K
	ordinal2__t36_ordinal2	2013-09-04 12:22	10K
	ordinal2__t37_ordinal2	2013-09-04 12:22	11K
	ordinal2__t38_ordinal2	2013-09-04 12:22	14K
	ordinal2__t39_ordinal2	2013-09-04 12:22	13K
	ordinal2__t40_ordinal2	2013-09-04 12:22	13K
	ordinal2__t41_ordinal2	2013-09-04 12:22	7.8K
	ordinal2__t42_ordinal2	2013-09-04 12:22	13K
	ordinal2__t43_ordinal2	2013-09-04 12:22	14K
	ordinal2__t44_ordinal2	2013-09-04 12:22	14K
	ordinal2__t45_ordinal2	2013-09-04 12:22	14K
	ordinal2__t46_ordinal2	2013-09-04 12:22	14K
	ordinal2__t47_ordinal2	2013-09-04 12:22	9.4K
	ordinal2__t48_ordinal2	2013-09-04 12:22	5.3K
	ordinal2__t49_ordinal2	2013-09-04 12:22	7.6K
	ordinal2__t50_ordinal2	2013-09-04 12:22	8.0K