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

	Name	Last modified	Size	Description
	Parent Directory		-
	sheffer1__t1_sheffer1	2013-09-04 12:15	11K
	sheffer1__t2_sheffer1	2013-09-04 12:15	9.4K
	sheffer1__t3_sheffer1	2013-09-04 12:15	9.4K
	sheffer1__t4_sheffer1	2013-09-04 12:15	10K
	sheffer1__t5_sheffer1	2013-09-04 12:15	10K
	sheffer1__t6_sheffer1	2013-09-04 12:15	10K
	sheffer1__t7_sheffer1	2013-09-04 12:15	10K
	sheffer1__t8_sheffer1	2013-09-04 12:15	11K
	sheffer1__t9_sheffer1	2013-09-04 12:15	11K
	sheffer1__t10_sheffer1	2013-09-04 12:15	10K
	sheffer1__t11_sheffer1	2013-09-04 12:15	11K
	sheffer1__t12_sheffer1	2013-09-04 12:15	8.2K
	sheffer1__t13_sheffer1	2013-09-04 12:15	13K
	sheffer1__t14_sheffer1	2013-09-04 12:15	8.2K
	sheffer1__t15_sheffer1	2013-09-04 12:15	13K
	sheffer1__t16_sheffer1	2013-09-04 12:15	11K
	sheffer1__t17_sheffer1	2013-09-04 12:15	11K
	sheffer1__t18_sheffer1	2013-09-04 12:15	8.6K
	sheffer1__t19_sheffer1	2013-09-04 12:15	8.7K
	sheffer1__t20_sheffer1	2013-09-04 12:15	12K
	sheffer1__t21_sheffer1	2013-09-04 12:15	12K
	sheffer1__t22_sheffer1	2013-09-04 12:15	11K
	sheffer1__t23_sheffer1	2013-09-04 12:15	11K
	sheffer1__t24_sheffer1	2013-09-04 12:15	16K
	sheffer1__t25_sheffer1	2013-09-04 12:15	19K
	sheffer1__t26_sheffer1	2013-09-04 12:15	18K
	sheffer1__t27_sheffer1	2013-09-04 12:15	21K
	sheffer1__t28_sheffer1	2013-09-04 12:15	21K
	sheffer1__t29_sheffer1	2013-09-04 12:15	15K
	sheffer1__t30_sheffer1	2013-09-04 12:15	14K
	sheffer1__t31_sheffer1	2013-09-04 12:15	14K
	sheffer1__t32_sheffer1	2013-09-04 12:15	14K
	sheffer1__t33_sheffer1	2013-09-04 12:15	17K
	sheffer1__t34_sheffer1	2013-09-04 12:15	17K
	sheffer1__t35_sheffer1	2013-09-04 12:15	18K
	sheffer1__t36_sheffer1	2013-09-04 12:15	18K
	sheffer1__t37_sheffer1	2013-09-04 12:15	21K