Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/seq_1

	Name	Last modified	Size	Description
	Parent Directory		-
	seq_1__l47_seq_1	2013-09-04 12:50	11K
	seq_1__t1_seq_1	2013-09-04 12:50	17K
	seq_1__t2_seq_1	2013-09-04 12:50	16K
	seq_1__t3_seq_1	2013-09-04 12:50	17K
	seq_1__t4_seq_1	2013-09-04 12:50	18K
	seq_1__t5_seq_1	2013-09-04 12:50	16K
	seq_1__t6_seq_1	2013-09-04 12:50	17K
	seq_1__t7_seq_1	2013-09-04 12:50	27K
	seq_1__t8_seq_1	2013-09-04 12:50	28K
	seq_1__t9_seq_1	2013-09-04 12:50	24K
	seq_1__t10_seq_1	2013-09-04 12:50	26K
	seq_1__t11_seq_1	2013-09-04 12:50	33K
	seq_1__t12_seq_1	2013-09-04 12:50	22K
	seq_1__t13_seq_1	2013-09-04 12:50	24K
	seq_1__t14_seq_1	2013-09-04 12:50	26K
	seq_1__t15_seq_1	2013-09-04 12:50	34K
	seq_1__t16_seq_1	2013-09-04 12:50	27K
	seq_1__t17_seq_1	2013-09-04 12:50	24K
	seq_1__t18_seq_1	2013-09-04 12:50	30K
	seq_1__t19_seq_1	2013-09-04 12:50	30K
	seq_1__t20_seq_1	2013-09-04 12:50	41K
	seq_1__t21_seq_1	2013-09-04 12:50	38K
	seq_1__t22_seq_1	2013-09-04 12:50	32K
	seq_1__t23_seq_1	2013-09-04 12:50	24K
	seq_1__t24_seq_1	2013-09-04 12:50	37K
	seq_1__t25_seq_1	2013-09-04 12:50	31K
	seq_1__t26_seq_1	2013-09-04 12:50	36K
	seq_1__t27_seq_1	2013-09-04 12:50	24K
	seq_1__t29_seq_1	2013-09-04 12:50	33K
	seq_1__t30_seq_1	2013-09-04 12:50	35K
	seq_1__t31_seq_1	2013-09-04 12:50	34K
	seq_1__t32_seq_1	2013-09-04 12:50	30K
	seq_1__t33_seq_1	2013-09-04 12:50	20K
	seq_1__t35_seq_1	2013-09-04 12:50	28K
	seq_1__t36_seq_1	2013-09-04 12:50	30K
	seq_1__t37_seq_1	2013-09-04 12:50	35K
	seq_1__t38_seq_1	2013-09-04 12:50	33K
	seq_1__t39_seq_1	2013-09-04 12:50	27K
	seq_1__t40_seq_1	2013-09-04 12:50	30K
	seq_1__t41_seq_1	2013-09-04 12:50	28K
	seq_1__t42_seq_1	2013-09-04 12:50	28K
	seq_1__t43_seq_1	2013-09-04 12:50	35K
	seq_1__t44_seq_1	2013-09-04 12:50	25K
	seq_1__t45_seq_1	2013-09-04 12:50	23K
	seq_1__t46_seq_1	2013-09-04 12:51	28K
	seq_1__t47_seq_1	2013-09-04 12:50	30K
	seq_1__t48_seq_1	2013-09-04 12:51	41K
	seq_1__t49_seq_1	2013-09-04 12:51	47K
	seq_1__t50_seq_1	2013-09-04 12:51	48K
	seq_1__t51_seq_1	2013-09-04 12:51	28K
	seq_1__t52_seq_1	2013-09-04 12:51	30K
	seq_1__t53_seq_1	2013-09-04 12:51	21K
	seq_1__t54_seq_1	2013-09-04 12:51	28K
	seq_1__t55_seq_1	2013-09-04 12:51	31K
	seq_1__t56_seq_1	2013-09-04 12:51	28K