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

	Name	Last modified	Size	Description
	Parent Directory		-
	comseq_1__t1_comseq_1	2013-09-04 12:09	17K
	comseq_1__t2_comseq_1	2013-09-04 12:09	16K
	comseq_1__t3_comseq_1	2013-09-04 12:09	18K
	comseq_1__t4_comseq_1	2013-09-04 12:09	17K
	comseq_1__t5_comseq_1	2013-09-04 12:09	18K
	comseq_1__t6_comseq_1	2013-09-04 12:09	17K
	comseq_1__t7_comseq_1	2013-09-04 12:09	26K
	comseq_1__t8_comseq_1	2013-09-04 12:09	28K
	comseq_1__t9_comseq_1	2013-09-04 12:09	35K
	comseq_1__t10_comseq_1	2013-09-04 12:09	27K
	comseq_1__t11_comseq_1	2013-09-04 12:09	32K
	comseq_1__t12_comseq_1	2013-09-04 12:09	32K
	comseq_1__t13_comseq_1	2013-09-04 12:09	32K
	comseq_1__t14_comseq_1	2013-09-04 12:09	49K
	comseq_1__t15_comseq_1	2013-09-04 12:09	38K
	comseq_1__t16_comseq_1	2013-09-04 12:09	33K
	comseq_1__t17_comseq_1	2013-09-04 12:09	26K
	comseq_1__t18_comseq_1	2013-09-04 12:09	49K
	comseq_1__t19_comseq_1	2013-09-04 12:09	31K
	comseq_1__t20_comseq_1	2013-09-04 12:09	43K
	comseq_1__t21_comseq_1	2013-09-04 12:09	26K
	comseq_1__t22_comseq_1	2013-09-04 12:09	23K
	comseq_1__t23_comseq_1	2013-09-04 12:09	33K
	comseq_1__t24_comseq_1	2013-09-04 12:09	43K
	comseq_1__t25_comseq_1	2013-09-04 12:09	34K
	comseq_1__t26_comseq_1	2013-09-04 12:09	39K
	comseq_1__t27_comseq_1	2013-09-04 12:09	26K
	comseq_1__t29_comseq_1	2013-09-04 12:09	37K
	comseq_1__t30_comseq_1	2013-09-04 12:09	43K
	comseq_1__t31_comseq_1	2013-09-04 12:09	48K
	comseq_1__t32_comseq_1	2013-09-04 12:09	35K
	comseq_1__t33_comseq_1	2013-09-04 12:09	27K
	comseq_1__t34_comseq_1	2013-09-04 12:09	30K
	comseq_1__t35_comseq_1	2013-09-04 12:09	28K
	comseq_1__t36_comseq_1	2013-09-04 12:09	30K
	comseq_1__t37_comseq_1	2013-09-04 12:09	49K
	comseq_1__t38_comseq_1	2013-09-04 12:09	38K
	comseq_1__t39_comseq_1	2013-09-04 12:09	101K
	comseq_1__t40_comseq_1	2013-09-04 12:09	41K
	comseq_1__t41_comseq_1	2013-09-04 12:09	39K
	comseq_1__t42_comseq_1	2013-09-04 12:09	46K
	comseq_1__t43_comseq_1	2013-09-04 12:09	46K
	comseq_1__t44_comseq_1	2013-09-04 12:09	48K
	comseq_1__t45_comseq_1	2013-09-04 12:09	29K
	comseq_1__t46_comseq_1	2013-09-04 12:09	33K
	comseq_1__t47_comseq_1	2013-09-04 12:09	23K
	comseq_1__t48_comseq_1	2013-09-04 12:09	42K
	comseq_1__t49_comseq_1	2013-09-04 12:09	33K
	comseq_1__t50_comseq_1	2013-09-04 12:09	31K