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

	Name	Last modified	Size	Description
	Parent Directory		-
	integra5__l18_integra5	2013-09-04 12:32	172K
	integra5__t1_integra5	2013-09-04 12:32	78K
	integra5__t2_integra5	2013-09-04 12:32	63K
	integra5__t3_integra5	2013-09-04 12:32	36K
	integra5__t4_integra5	2013-09-04 12:32	47K
	integra5__t5_integra5	2013-09-04 12:32	54K
	integra5__t6_integra5	2013-09-04 12:32	37K
	integra5__t7_integra5	2013-09-04 12:32	39K
	integra5__t8_integra5	2013-09-04 12:32	39K
	integra5__t9_integra5	2013-09-04 12:32	31K
	integra5__t10_integra5	2013-09-04 12:32	42K
	integra5__t11_integra5	2013-09-04 12:32	122K
	integra5__t12_integra5	2013-09-04 12:32	133K
	integra5__t13_integra5	2013-09-04 12:32	55K
	integra5__t14_integra5	2013-09-04 12:32	43K
	integra5__t15_integra5	2013-09-04 12:32	43K
	integra5__t16_integra5	2013-09-04 12:32	65K
	integra5__t17_integra5	2013-09-04 12:32	32K
	integra5__t18_integra5	2013-09-04 12:32	51K
	integra5__t19_integra5	2013-09-04 12:32	36K
	integra5__t20_integra5	2013-09-04 12:32	47K
	integra5__t21_integra5	2013-09-04 12:32	91K