Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/int_5

	Name	Last modified	Size	Description
	Parent Directory		-
	int_5__l3_int_5	2013-09-04 12:55	40K
	int_5__l15_int_5	2013-09-04 12:55	45K
	int_5__l33_int_5	2013-09-04 12:55	31K
	int_5__l55_int_5	2013-09-04 12:54	32K
	int_5__t1_int_5	2013-09-04 12:54	46K
	int_5__t2_int_5	2013-09-04 12:54	34K
	int_5__t3_int_5	2013-09-04 12:54	46K
	int_5__t4_int_5	2013-09-04 12:54	44K
	int_5__t5_int_5	2013-09-04 12:54	124K
	int_5__t6_int_5	2013-09-04 12:54	125K
	int_5__t7_int_5	2013-09-04 12:54	44K
	int_5__t8_int_5	2013-09-04 12:54	73K
	int_5__t9_int_5	2013-09-04 12:55	39K
	int_5__t10_int_5	2013-09-04 12:55	29K
	int_5__t11_int_5	2013-09-04 12:55	40K
	int_5__t12_int_5	2013-09-04 12:55	29K
	int_5__t13_int_5	2013-09-04 12:55	34K
	int_5__t14_int_5	2013-09-04 12:55	45K
	int_5__t15_int_5	2013-09-04 12:55	57K
	int_5__t16_int_5	2013-09-04 12:55	138K
	int_5__t17_int_5	2013-09-04 12:55	97K
	int_5__t18_int_5	2013-09-04 12:55	133K
	int_5__t19_int_5	2013-09-04 12:55	93K
	int_5__t20_int_5	2013-09-04 12:55	56K
	int_5__t21_int_5	2013-09-04 12:55	94K
	int_5__t22_int_5	2013-09-04 12:55	44K
	int_5__t23_int_5	2013-09-04 12:55	192K
	int_5__t24_int_5	2013-09-04 12:55	94K
	int_5__t25_int_5	2013-09-04 12:55	30K
	int_5__t26_int_5	2013-09-04 12:55	45K
	int_5__t27_int_5	2013-09-04 12:55	33K
	int_5__t28_int_5	2013-09-04 12:55	58K
	int_5__t29_int_5	2013-09-04 12:55	58K
	int_5__t30_int_5	2013-09-04 12:55	143K
	int_5__t31_int_5	2013-09-04 12:55	58K
	int_5__t32_int_5	2013-09-04 12:55	59K
	int_5__t33_int_5	2013-09-04 12:55	68K
	int_5__t34_int_5	2013-09-04 12:55	73K
	int_5__t35_int_5	2013-09-04 12:55	61K
	int_5__t36_int_5	2013-09-04 12:55	96K
	int_5__t37_int_5	2013-09-04 12:55	233K
	int_5__t38_int_5	2013-09-04 12:55	303K
	int_5__t39_int_5	2013-09-04 12:55	36K
	int_5__t40_int_5	2013-09-04 12:55	83K
	int_5__t41_int_5	2013-09-04 12:55	296K
	int_5__t42_int_5	2013-09-04 12:55	1.1M
	int_5__t43_int_5	2013-09-04 12:55	759K
	int_5__t44_int_5	2013-09-04 12:55	834K
	int_5__t45_int_5	2013-09-04 12:55	93K
	int_5__t46_int_5	2013-09-04 12:55	65K
	int_5__t47_int_5	2013-09-04 12:55	77K
	int_5__t48_int_5	2013-09-04 12:55	74K
	int_5__t49_int_5	2013-09-04 12:55	320K
	int_5__t50_int_5	2013-09-04 12:55	303K
	int_5__t51_int_5	2013-09-04 12:55	234K