Index of /~mptp/1147/MPTP2/problems_small_consist/ordinal4

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal4__l1_ordinal4	2013-09-04 12:06	7.5K
	ordinal4__l2_ordinal4	2013-09-04 12:06	7.5K
	ordinal4__l3_ordinal4	2013-09-04 12:06	8.9K
	ordinal4__l9_ordinal4	2013-09-04 12:06	11K
	ordinal4__l22_ordinal4	2013-09-04 12:06	2.9K
	ordinal4__l27_ordinal4	2013-09-04 12:06	12K
	ordinal4__l28_ordinal4	2013-09-04 12:06	9.7K
	ordinal4__l29_ordinal4	2013-09-04 12:06	18K
	ordinal4__t1_ordinal4	2013-09-04 12:06	12K
	ordinal4__t2_ordinal4	2013-09-04 12:06	12K
	ordinal4__t3_ordinal4	2013-09-04 12:06	12K
	ordinal4__t4_ordinal4	2013-09-04 12:06	12K
	ordinal4__t5_ordinal4	2013-09-04 12:06	14K
	ordinal4__t6_ordinal4	2013-09-04 12:06	12K
	ordinal4__t7_ordinal4	2013-09-04 12:06	11K
	ordinal4__t8_ordinal4	2013-09-04 12:06	13K
	ordinal4__t9_ordinal4	2013-09-04 12:06	9.4K
	ordinal4__t10_ordinal4	2013-09-04 12:06	9.7K
	ordinal4__t11_ordinal4	2013-09-04 12:06	9.1K
	ordinal4__t12_ordinal4	2013-09-04 12:06	2.9K
	ordinal4__t13_ordinal4	2013-09-04 12:06	11K
	ordinal4__t14_ordinal4	2013-09-04 12:06	12K
	ordinal4__t15_ordinal4	2013-09-04 12:06	11K
	ordinal4__t16_ordinal4	2013-09-04 12:06	12K
	ordinal4__t17_ordinal4	2013-09-04 12:06	15K
	ordinal4__t18_ordinal4	2013-09-04 12:06	9.1K
	ordinal4__t19_ordinal4	2013-09-04 12:06	9.2K
	ordinal4__t20_ordinal4	2013-09-04 12:06	14K
	ordinal4__t21_ordinal4	2013-09-04 12:06	10K
	ordinal4__t22_ordinal4	2013-09-04 12:06	13K
	ordinal4__t23_ordinal4	2013-09-04 12:06	9.7K
	ordinal4__t24_ordinal4	2013-09-04 12:06	14K
	ordinal4__t25_ordinal4	2013-09-04 12:06	9.0K
	ordinal4__t26_ordinal4	2013-09-04 12:06	10K
	ordinal4__t27_ordinal4	2013-09-04 12:06	11K
	ordinal4__t28_ordinal4	2013-09-04 12:06	13K
	ordinal4__t29_ordinal4	2013-09-04 12:06	7.8K
	ordinal4__t30_ordinal4	2013-09-04 12:06	18K
	ordinal4__t31_ordinal4	2013-09-04 12:06	19K
	ordinal4__t32_ordinal4	2013-09-04 12:06	14K
	ordinal4__t33_ordinal4	2013-09-04 12:06	9.0K
	ordinal4__t34_ordinal4	2013-09-04 12:06	12K
	ordinal4__t35_ordinal4	2013-09-04 12:06	15K
	ordinal4__t36_ordinal4	2013-09-04 12:06	27K
	ordinal4__t37_ordinal4	2013-09-04 12:06	13K
	ordinal4__t38_ordinal4	2013-09-04 12:06	13K