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

	Name	Last modified	Size	Description
	Parent Directory		-
	idea_1__l1_idea_1	2013-09-04 12:45	29K
	idea_1__l2_idea_1	2013-09-04 12:45	47K
	idea_1__l43_idea_1	2013-09-04 12:45	27K
	idea_1__l44_idea_1	2013-09-04 12:45	27K
	idea_1__l45_idea_1	2013-09-04 12:45	27K
	idea_1__t1_idea_1	2013-09-04 12:45	25K
	idea_1__t2_idea_1	2013-09-04 12:45	45K
	idea_1__t3_idea_1	2013-09-04 12:45	25K
	idea_1__t4_idea_1	2013-09-04 12:45	24K
	idea_1__t5_idea_1	2013-09-04 12:45	34K
	idea_1__t6_idea_1	2013-09-04 12:45	50K
	idea_1__t7_idea_1	2013-09-04 12:45	48K
	idea_1__t8_idea_1	2013-09-04 12:45	54K
	idea_1__t9_idea_1	2013-09-04 12:45	49K
	idea_1__t10_idea_1	2013-09-04 12:45	42K
	idea_1__t11_idea_1	2013-09-04 12:45	35K
	idea_1__t12_idea_1	2013-09-04 12:45	22K
	idea_1__t13_idea_1	2013-09-04 12:45	25K
	idea_1__t14_idea_1	2013-09-04 12:45	24K
	idea_1__t15_idea_1	2013-09-04 12:45	26K
	idea_1__t16_idea_1	2013-09-04 12:45	23K
	idea_1__t17_idea_1	2013-09-04 12:45	23K
	idea_1__t18_idea_1	2013-09-04 12:45	22K
	idea_1__t19_idea_1	2013-09-04 12:45	22K
	idea_1__t20_idea_1	2013-09-04 12:45	20K
	idea_1__t21_idea_1	2013-09-04 12:45	26K
	idea_1__t22_idea_1	2013-09-04 12:45	30K
	idea_1__t23_idea_1	2013-09-04 12:45	31K
	idea_1__t24_idea_1	2013-09-04 12:45	30K
	idea_1__t25_idea_1	2013-09-04 12:45	20K
	idea_1__t26_idea_1	2013-09-04 12:45	39K
	idea_1__t27_idea_1	2013-09-04 12:45	45K
	idea_1__t28_idea_1	2013-09-04 12:45	31K
	idea_1__t29_idea_1	2013-09-04 12:45	42K
	idea_1__t30_idea_1	2013-09-04 12:45	43K
	idea_1__t31_idea_1	2013-09-04 12:45	54K
	idea_1__t32_idea_1	2013-09-04 12:45	32K
	idea_1__t33_idea_1	2013-09-04 12:45	59K
	idea_1__t34_idea_1	2013-09-04 12:45	47K
	idea_1__t35_idea_1	2013-09-04 12:45	59K
	idea_1__t36_idea_1	2013-09-04 12:45	57K
	idea_1__t37_idea_1	2013-09-04 12:45	167K
	idea_1__t38_idea_1	2013-09-04 12:45	55K
	idea_1__t39_idea_1	2013-09-04 12:45	55K
	idea_1__t40_idea_1	2013-09-04 12:45	45K
	idea_1__t41_idea_1	2013-09-04 12:45	46K
	idea_1__t42_idea_1	2013-09-04 12:45	50K
	idea_1__t43_idea_1	2013-09-04 12:45	48K
	idea_1__t44_idea_1	2013-09-04 12:45	48K
	idea_1__t45_idea_1	2013-09-04 12:45	223K
	idea_1__t46_idea_1	2013-09-04 12:45	267K
	idea_1__t47_idea_1	2013-09-04 12:45	78K