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

	Name	Last modified	Size	Description
	Parent Directory		-
	integr12__l1_integr12	2013-09-04 12:32	18K
	integr12__l13_integr12	2013-09-04 12:32	19K
	integr12__t1_integr12	2013-09-04 12:32	136K
	integr12__t2_integr12	2013-09-04 12:32	159K
	integr12__t3_integr12	2013-09-04 12:32	155K
	integr12__t4_integr12	2013-09-04 12:32	128K
	integr12__t5_integr12	2013-09-04 12:32	99K
	integr12__t6_integr12	2013-09-04 12:32	111K
	integr12__t7_integr12	2013-09-04 12:32	133K
	integr12__t8_integr12	2013-09-04 12:32	145K
	integr12__t9_integr12	2013-09-04 12:32	63K
	integr12__t10_integr12	2013-09-04 12:32	74K
	integr12__t11_integr12	2013-09-04 12:32	81K
	integr12__t12_integr12	2013-09-04 12:32	106K
	integr12__t13_integr12	2013-09-04 12:32	68K
	integr12__t14_integr12	2013-09-04 12:32	79K
	integr12__t15_integr12	2013-09-04 12:32	147K
	integr12__t16_integr12	2013-09-04 12:32	139K
	integr12__t17_integr12	2013-09-04 12:32	146K
	integr12__t18_integr12	2013-09-04 12:32	118K
	integr12__t19_integr12	2013-09-04 12:32	157K
	integr12__t20_integr12	2013-09-04 12:32	159K
	integr12__t21_integr12	2013-09-04 12:32	159K
	integr12__t22_integr12	2013-09-04 12:32	158K
	integr12__t23_integr12	2013-09-04 12:32	160K
	integr12__t24_integr12	2013-09-04 12:32	158K
	integr12__t25_integr12	2013-09-04 12:32	158K
	integr12__t26_integr12	2013-09-04 12:32	156K
	integr12__t27_integr12	2013-09-04 12:32	111K
	integr12__t28_integr12	2013-09-04 12:32	153K
	integr12__t29_integr12	2013-09-04 12:32	113K
	integr12__t30_integr12	2013-09-04 12:32	113K
	integr12__t31_integr12	2013-09-04 12:32	97K
	integr12__t32_integr12	2013-09-04 12:32	106K
	integr12__t33_integr12	2013-09-04 12:32	77K
	integr12__t34_integr12	2013-09-04 12:32	77K
	integr12__t35_integr12	2013-09-04 12:32	112K
	integr12__t36_integr12	2013-09-04 12:32	76K
	integr12__t37_integr12	2013-09-04 12:32	111K
	integr12__t38_integr12	2013-09-04 12:32	86K
	integr12__t39_integr12	2013-09-04 12:32	232K
	integr12__t40_integr12	2013-09-04 12:32	233K
	integr12__t41_integr12	2013-09-04 12:32	77K
	integr12__t42_integr12	2013-09-04 12:32	65K
	integr12__t43_integr12	2013-09-04 12:32	157K
	integr12__t44_integr12	2013-09-04 12:32	154K
	integr12__t45_integr12	2013-09-04 12:32	157K