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

	Name	Last modified	Size	Description
	Parent Directory		-
	integra6__l7_integra6	2013-09-04 12:41	40K
	integra6__l18_integra6	2013-09-04 12:41	166K
	integra6__l20_integra6	2013-09-04 12:41	25K
	integra6__l23_integra6	2013-09-04 12:41	43K
	integra6__l25_integra6	2013-09-04 12:41	57K
	integra6__l27_integra6	2013-09-04 12:41	44K
	integra6__l28_integra6	2013-09-04 12:41	61K
	integra6__l30_integra6	2013-09-04 12:41	73K
	integra6__l31_integra6	2013-09-04 12:41	56K
	integra6__l32_integra6	2013-09-04 12:41	62K
	integra6__l34_integra6	2013-09-04 12:41	74K
	integra6__l36_integra6	2013-09-04 12:41	44K
	integra6__l41_integra6	2013-09-04 12:41	35K
	integra6__t1_integra6	2013-09-04 12:41	33K
	integra6__t2_integra6	2013-09-04 12:41	29K
	integra6__t3_integra6	2013-09-04 12:41	1.0K
	integra6__t4_integra6	2013-09-04 12:41	42K
	integra6__t5_integra6	2013-09-04 12:41	39K
	integra6__t6_integra6	2013-09-04 12:41	52K
	integra6__t7_integra6	2013-09-04 12:41	53K
	integra6__t8_integra6	2013-09-04 12:41	51K
	integra6__t9_integra6	2013-09-04 12:41	51K
	integra6__t10_integra6	2013-09-04 12:41	54K
	integra6__t11_integra6	2013-09-04 12:41	62K
	integra6__t12_integra6	2013-09-04 12:41	63K
	integra6__t13_integra6	2013-09-04 12:41	44K
	integra6__t14_integra6	2013-09-04 12:41	48K
	integra6__t15_integra6	2013-09-04 12:41	70K
	integra6__t16_integra6	2013-09-04 12:41	91K
	integra6__t17_integra6	2013-09-04 12:41	72K
	integra6__t18_integra6	2013-09-04 12:41	42K
	integra6__t19_integra6	2013-09-04 12:41	67K
	integra6__t20_integra6	2013-09-04 12:41	57K
	integra6__t21_integra6	2013-09-04 12:41	63K
	integra6__t22_integra6	2013-09-04 12:41	43K
	integra6__t23_integra6	2013-09-04 12:41	49K
	integra6__t24_integra6	2013-09-04 12:41	69K
	integra6__t25_integra6	2013-09-04 12:41	63K
	integra6__t26_integra6	2013-09-04 12:41	72K
	integra6__t27_integra6	2013-09-04 12:41	62K
	integra6__t28_integra6	2013-09-04 12:41	162K
	integra6__t29_integra6	2013-09-04 12:41	42K