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

	Name	Last modified	Size	Description
	Parent Directory		-
	int_2__l4_int_2	2013-09-04 12:07	7.9K
	int_2__l5_int_2	2013-09-04 12:07	12K
	int_2__l6_int_2	2013-09-04 12:07	6.5K
	int_2__l7_int_2	2013-09-04 12:07	6.5K
	int_2__l8_int_2	2013-09-04 12:07	8.1K
	int_2__l9_int_2	2013-09-04 12:07	16K
	int_2__l10_int_2	2013-09-04 12:07	14K
	int_2__l11_int_2	2013-09-04 12:07	25K
	int_2__l14_int_2	2013-09-04 12:07	17K
	int_2__t1_int_2	2013-09-04 12:07	16K
	int_2__t2_int_2	2013-09-04 12:07	7.9K
	int_2__t3_int_2	2013-09-04 12:07	7.1K
	int_2__t4_int_2	2013-09-04 12:07	9.4K
	int_2__t5_int_2	2013-09-04 12:07	5.7K
	int_2__t6_int_2	2013-09-04 12:07	12K
	int_2__t7_int_2	2013-09-04 12:07	6.2K
	int_2__t8_int_2	2013-09-04 12:07	6.4K
	int_2__t9_int_2	2013-09-04 12:07	812
	int_2__t10_int_2	2013-09-04 12:07	7.0K
	int_2__t11_int_2	2013-09-04 12:07	19K
	int_2__t12_int_2	2013-09-04 12:07	6.6K
	int_2__t13_int_2	2013-09-04 12:07	18K
	int_2__t14_int_2	2013-09-04 12:07	6.6K
	int_2__t15_int_2	2013-09-04 12:07	18K
	int_2__t16_int_2	2013-09-04 12:07	26K
	int_2__t17_int_2	2013-09-04 12:07	4.9K
	int_2__t18_int_2	2013-09-04 12:07	2.1K
	int_2__t19_int_2	2013-09-04 12:07	2.2K
	int_2__t20_int_2	2013-09-04 12:07	4.9K
	int_2__t21_int_2	2013-09-04 12:07	2.1K
	int_2__t22_int_2	2013-09-04 12:07	2.2K
	int_2__t23_int_2	2013-09-04 12:07	20K
	int_2__t24_int_2	2013-09-04 12:07	27K
	int_2__t25_int_2	2013-09-04 12:07	13K
	int_2__t26_int_2	2013-09-04 12:07	9.3K
	int_2__t27_int_2	2013-09-04 12:07	19K
	int_2__t28_int_2	2013-09-04 12:07	8.4K
	int_2__t29_int_2	2013-09-04 12:07	10K
	int_2__t30_int_2	2013-09-04 12:07	8.3K
	int_2__t31_int_2	2013-09-04 12:07	23K
	int_2__t32_int_2	2013-09-04 12:07	14K
	int_2__t33_int_2	2013-09-04 12:07	14K
	int_2__t34_int_2	2013-09-04 12:07	14K