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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal3__l14_ordinal3	2013-09-04 12:20	5.3K
	ordinal3__t1_ordinal3	2013-09-04 12:20	3.8K
	ordinal3__t2_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t3_ordinal3	2013-09-04 12:20	4.5K
	ordinal3__t4_ordinal3	2013-09-04 12:20	3.0K
	ordinal3__t5_ordinal3	2013-09-04 12:20	2.6K
	ordinal3__t6_ordinal3	2013-09-04 12:20	3.2K
	ordinal3__t7_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t8_ordinal3	2013-09-04 12:20	3.7K
	ordinal3__t9_ordinal3	2013-09-04 12:20	2.9K
	ordinal3__t10_ordinal3	2013-09-04 12:20	2.7K
	ordinal3__t11_ordinal3	2013-09-04 12:20	1.3K
	ordinal3__t12_ordinal3	2013-09-04 12:20	1.7K
	ordinal3__t13_ordinal3	2013-09-04 12:20	1.7K
	ordinal3__t14_ordinal3	2013-09-04 12:20	6.1K
	ordinal3__t15_ordinal3	2013-09-04 12:20	5.3K
	ordinal3__t16_ordinal3	2013-09-04 12:20	4.9K
	ordinal3__t17_ordinal3	2013-09-04 12:20	4.3K
	ordinal3__t18_ordinal3	2013-09-04 12:20	2.1K
	ordinal3__t19_ordinal3	2013-09-04 12:20	4.2K
	ordinal3__t20_ordinal3	2013-09-04 12:20	2.1K
	ordinal3__t21_ordinal3	2013-09-04 12:20	2.9K
	ordinal3__t22_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t23_ordinal3	2013-09-04 12:20	4.4K
	ordinal3__t24_ordinal3	2013-09-04 12:20	4.2K
	ordinal3__t25_ordinal3	2013-09-04 12:20	3.7K
	ordinal3__t26_ordinal3	2013-09-04 12:20	3.8K
	ordinal3__t27_ordinal3	2013-09-04 12:20	9.9K
	ordinal3__t28_ordinal3	2013-09-04 12:20	3.9K
	ordinal3__t29_ordinal3	2013-09-04 12:20	8.7K
	ordinal3__t30_ordinal3	2013-09-04 12:20	9.7K
	ordinal3__t31_ordinal3	2013-09-04 12:20	4.1K
	ordinal3__t32_ordinal3	2013-09-04 12:20	7.1K
	ordinal3__t33_ordinal3	2013-09-04 12:20	2.8K
	ordinal3__t34_ordinal3	2013-09-04 12:20	3.8K
	ordinal3__t35_ordinal3	2013-09-04 12:20	4.3K
	ordinal3__t36_ordinal3	2013-09-04 12:20	6.7K
	ordinal3__t37_ordinal3	2013-09-04 12:20	7.5K
	ordinal3__t38_ordinal3	2013-09-04 12:20	4.2K
	ordinal3__t39_ordinal3	2013-09-04 12:20	6.8K
	ordinal3__t40_ordinal3	2013-09-04 12:20	10K
	ordinal3__t41_ordinal3	2013-09-04 12:20	8.2K
	ordinal3__t42_ordinal3	2013-09-04 12:20	6.5K
	ordinal3__t43_ordinal3	2013-09-04 12:20	4.7K
	ordinal3__t44_ordinal3	2013-09-04 12:20	4.7K
	ordinal3__t45_ordinal3	2013-09-04 12:20	4.6K
	ordinal3__t46_ordinal3	2013-09-04 12:20	11K
	ordinal3__t47_ordinal3	2013-09-04 12:20	11K
	ordinal3__t48_ordinal3	2013-09-04 12:20	5.2K
	ordinal3__t49_ordinal3	2013-09-04 12:20	9.6K
	ordinal3__t50_ordinal3	2013-09-04 12:20	11K
	ordinal3__t51_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t52_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t53_ordinal3	2013-09-04 12:20	4.4K
	ordinal3__t54_ordinal3	2013-09-04 12:20	3.9K
	ordinal3__t55_ordinal3	2013-09-04 12:20	3.7K
	ordinal3__t56_ordinal3	2013-09-04 12:20	4.1K
	ordinal3__t57_ordinal3	2013-09-04 12:20	4.6K
	ordinal3__t58_ordinal3	2013-09-04 12:20	4.7K
	ordinal3__t59_ordinal3	2013-09-04 12:20	4.3K
	ordinal3__t60_ordinal3	2013-09-04 12:20	4.4K
	ordinal3__t61_ordinal3	2013-09-04 12:20	4.2K
	ordinal3__t62_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t63_ordinal3	2013-09-04 12:20	5.0K
	ordinal3__t64_ordinal3	2013-09-04 12:20	4.4K
	ordinal3__t65_ordinal3	2013-09-04 12:20	4.6K
	ordinal3__t66_ordinal3	2013-09-04 12:20	3.7K
	ordinal3__t67_ordinal3	2013-09-04 12:20	5.6K
	ordinal3__t68_ordinal3	2013-09-04 12:20	3.3K
	ordinal3__t69_ordinal3	2013-09-04 12:20	3.3K
	ordinal3__t70_ordinal3	2013-09-04 12:20	4.0K
	ordinal3__t71_ordinal3	2013-09-04 12:20	5.6K
	ordinal3__t72_ordinal3	2013-09-04 12:20	5.3K
	ordinal3__t73_ordinal3	2013-09-04 12:20	8.0K
	ordinal3__t74_ordinal3	2013-09-04 12:20	4.2K
	ordinal3__t75_ordinal3	2013-09-04 12:20	4.6K