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

	Name	Last modified	Size	Description
	Parent Directory		-
	int_7__l1_int_7	2013-09-04 12:48	43K
	int_7__l6_int_7	2013-09-04 12:48	62K
	int_7__l7_int_7	2013-09-04 12:48	67K
	int_7__l10_int_7	2013-09-04 12:48	57K
	int_7__l11_int_7	2013-09-04 12:48	107K
	int_7__l12_int_7	2013-09-04 12:48	86K
	int_7__l14_int_7	2013-09-04 12:48	51K
	int_7__l21_int_7	2013-09-04 12:48	61K
	int_7__l22_int_7	2013-09-04 12:48	70K
	int_7__l23_int_7	2013-09-04 12:48	82K
	int_7__l26_int_7	2013-09-04 12:48	80K
	int_7__l33_int_7	2013-09-04 12:48	66K
	int_7__l42_int_7	2013-09-04 12:48	137K
	int_7__l46_int_7	2013-09-04 12:48	114K
	int_7__t1_int_7	2013-09-04 12:48	43K
	int_7__t2_int_7	2013-09-04 12:48	46K
	int_7__t3_int_7	2013-09-04 12:48	40K
	int_7__t4_int_7	2013-09-04 12:48	41K
	int_7__t5_int_7	2013-09-04 12:48	29K
	int_7__t6_int_7	2013-09-04 12:48	46K
	int_7__t7_int_7	2013-09-04 12:48	45K
	int_7__t8_int_7	2013-09-04 12:48	30K
	int_7__t9_int_7	2013-09-04 12:48	41K
	int_7__t10_int_7	2013-09-04 12:48	37K
	int_7__t11_int_7	2013-09-04 12:48	38K
	int_7__t12_int_7	2013-09-04 12:48	31K
	int_7__t13_int_7	2013-09-04 12:48	54K
	int_7__t14_int_7	2013-09-04 12:48	49K
	int_7__t15_int_7	2013-09-04 12:48	32K
	int_7__t16_int_7	2013-09-04 12:48	30K
	int_7__t17_int_7	2013-09-04 12:48	69K
	int_7__t18_int_7	2013-09-04 12:48	37K
	int_7__t19_int_7	2013-09-04 12:48	74K
	int_7__t20_int_7	2013-09-04 12:48	67K
	int_7__t21_int_7	2013-09-04 12:48	72K
	int_7__t22_int_7	2013-09-04 12:48	74K
	int_7__t23_int_7	2013-09-04 12:48	53K
	int_7__t24_int_7	2013-09-04 12:48	62K
	int_7__t25_int_7	2013-09-04 12:48	57K
	int_7__t26_int_7	2013-09-04 12:48	59K
	int_7__t27_int_7	2013-09-04 12:48	54K
	int_7__t28_int_7	2013-09-04 12:48	72K
	int_7__t29_int_7	2013-09-04 12:48	100K
	int_7__t30_int_7	2013-09-04 12:48	55K
	int_7__t31_int_7	2013-09-04 12:48	112K