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

	Name	Last modified	Size	Description
	Parent Directory		-
	integra2__t1_integra2	2013-09-04 12:19	25K
	integra2__t2_integra2	2013-09-04 12:19	55K
	integra2__t3_integra2	2013-09-04 12:19	68K
	integra2__t4_integra2	2013-09-04 12:19	66K
	integra2__t5_integra2	2013-09-04 12:19	42K
	integra2__t6_integra2	2013-09-04 12:19	42K
	integra2__t7_integra2	2013-09-04 12:19	32K
	integra2__t8_integra2	2013-09-04 12:19	38K
	integra2__t9_integra2	2013-09-04 12:19	40K
	integra2__t10_integra2	2013-09-04 12:19	39K
	integra2__t11_integra2	2013-09-04 12:19	39K
	integra2__t12_integra2	2013-09-04 12:19	41K
	integra2__t13_integra2	2013-09-04 12:19	42K
	integra2__t14_integra2	2013-09-04 12:19	43K
	integra2__t15_integra2	2013-09-04 12:19	45K
	integra2__t16_integra2	2013-09-04 12:19	45K
	integra2__t17_integra2	2013-09-04 12:19	53K
	integra2__t18_integra2	2013-09-04 12:19	52K
	integra2__t19_integra2	2013-09-04 12:19	65K
	integra2__t20_integra2	2013-09-04 12:19	65K
	integra2__t21_integra2	2013-09-04 12:19	65K
	integra2__t22_integra2	2013-09-04 12:19	65K
	integra2__t23_integra2	2013-09-04 12:19	67K
	integra2__t24_integra2	2013-09-04 12:19	69K
	integra2__t25_integra2	2013-09-04 12:19	67K
	integra2__t26_integra2	2013-09-04 12:19	69K
	integra2__t27_integra2	2013-09-04 12:19	55K
	integra2__t28_integra2	2013-09-04 12:19	57K
	integra2__t29_integra2	2013-09-04 12:19	55K
	integra2__t30_integra2	2013-09-04 12:19	57K
	integra2__t31_integra2	2013-09-04 12:19	83K
	integra2__t32_integra2	2013-09-04 12:19	62K
	integra2__t33_integra2	2013-09-04 12:19	70K
	integra2__t34_integra2	2013-09-04 12:19	74K
	integra2__t35_integra2	2013-09-04 12:19	46K
	integra2__t36_integra2	2013-09-04 12:19	46K
	integra2__t37_integra2	2013-09-04 12:19	55K
	integra2__t38_integra2	2013-09-04 12:19	34K
	integra2__t39_integra2	2013-09-04 12:19	35K
	integra2__t40_integra2	2013-09-04 12:19	28K