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

	Name	Last modified	Size	Description
	Parent Directory		-
	realset2__l3_realset2	2013-09-04 12:11	7.8K
	realset2__l4_realset2	2013-09-04 12:11	7.9K
	realset2__l5_realset2	2013-09-04 12:11	7.8K
	realset2__l6_realset2	2013-09-04 12:11	7.6K
	realset2__l7_realset2	2013-09-04 12:11	7.7K
	realset2__l8_realset2	2013-09-04 12:11	7.7K
	realset2__l9_realset2	2013-09-04 12:11	12K
	realset2__l10_realset2	2013-09-04 12:11	12K
	realset2__l11_realset2	2013-09-04 12:11	12K
	realset2__l12_realset2	2013-09-04 12:12	14K
	realset2__l13_realset2	2013-09-04 12:12	15K
	realset2__l14_realset2	2013-09-04 12:12	14K
	realset2__l15_realset2	2013-09-04 12:12	14K
	realset2__l16_realset2	2013-09-04 12:11	12K
	realset2__l17_realset2	2013-09-04 12:11	12K
	realset2__l18_realset2	2013-09-04 12:11	12K
	realset2__l19_realset2	2013-09-04 12:12	14K
	realset2__l20_realset2	2013-09-04 12:12	15K
	realset2__l21_realset2	2013-09-04 12:12	14K
	realset2__l22_realset2	2013-09-04 12:12	14K
	realset2__l23_realset2	2013-09-04 12:11	9.3K
	realset2__l24_realset2	2013-09-04 12:11	12K
	realset2__l25_realset2	2013-09-04 12:12	14K
	realset2__l26_realset2	2013-09-04 12:11	9.2K
	realset2__l27_realset2	2013-09-04 12:11	12K
	realset2__l28_realset2	2013-09-04 12:11	12K
	realset2__l29_realset2	2013-09-04 12:12	13K
	realset2__l30_realset2	2013-09-04 12:11	22K
	realset2__l31_realset2	2013-09-04 12:12	24K
	realset2__l32_realset2	2013-09-04 12:11	24K
	realset2__l33_realset2	2013-09-04 12:12	24K
	realset2__l34_realset2	2013-09-04 12:11	14K
	realset2__l35_realset2	2013-09-04 12:12	22K
	realset2__l36_realset2	2013-09-04 12:12	25K
	realset2__l39_realset2	2013-09-04 12:11	25K
	realset2__t1_realset2	2013-09-04 12:11	24K
	realset2__t2_realset2	2013-09-04 12:11	20K
	realset2__t3_realset2	2013-09-04 12:12	17K
	realset2__t4_realset2	2013-09-04 12:12	30K
	realset2__t5_realset2	2013-09-04 12:12	30K
	realset2__t6_realset2	2013-09-04 12:12	30K
	realset2__t7_realset2	2013-09-04 12:12	30K
	realset2__t8_realset2	2013-09-04 12:12	22K
	realset2__t9_realset2	2013-09-04 12:12	18K
	realset2__t10_realset2	2013-09-04 12:11	21K
	realset2__t11_realset2	2013-09-04 12:11	21K
	realset2__t12_realset2	2013-09-04 12:11	21K
	realset2__t13_realset2	2013-09-04 12:11	20K
	realset2__t14_realset2	2013-09-04 12:11	20K
	realset2__t15_realset2	2013-09-04 12:11	20K
	realset2__t16_realset2	2013-09-04 12:11	21K
	realset2__t17_realset2	2013-09-04 12:11	21K
	realset2__t18_realset2	2013-09-04 12:11	20K
	realset2__t19_realset2	2013-09-04 12:12	21K
	realset2__t20_realset2	2013-09-04 12:12	21K
	realset2__t21_realset2	2013-09-04 12:12	21K
	realset2__t22_realset2	2013-09-04 12:12	26K
	realset2__t23_realset2	2013-09-04 12:12	26K
	realset2__t24_realset2	2013-09-04 12:12	24K
	realset2__t25_realset2	2013-09-04 12:11	20K
	realset2__t26_realset2	2013-09-04 12:12	26K