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

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_3__l21_altcat_3	2013-09-04 12:45	5.9K
	altcat_3__t1_altcat_3	2013-09-04 12:45	5.8K
	altcat_3__t2_altcat_3	2013-09-04 12:45	5.7K
	altcat_3__t3_altcat_3	2013-09-04 12:45	7.9K
	altcat_3__t4_altcat_3	2013-09-04 12:45	6.2K
	altcat_3__t5_altcat_3	2013-09-04 12:45	3.5K
	altcat_3__t6_altcat_3	2013-09-04 12:45	6.4K
	altcat_3__t7_altcat_3	2013-09-04 12:45	9.6K
	altcat_3__t8_altcat_3	2013-09-04 12:45	6.4K
	altcat_3__t9_altcat_3	2013-09-04 12:45	5.8K
	altcat_3__t10_altcat_3	2013-09-04 12:45	5.8K
	altcat_3__t11_altcat_3	2013-09-04 12:45	5.4K
	altcat_3__t12_altcat_3	2013-09-04 12:45	5.4K
	altcat_3__t13_altcat_3	2013-09-04 12:45	18K
	altcat_3__t14_altcat_3	2013-09-04 12:45	21K
	altcat_3__t15_altcat_3	2013-09-04 12:45	6.7K
	altcat_3__t16_altcat_3	2013-09-04 12:45	6.6K
	altcat_3__t17_altcat_3	2013-09-04 12:45	8.3K
	altcat_3__t18_altcat_3	2013-09-04 12:45	6.6K
	altcat_3__t19_altcat_3	2013-09-04 12:45	6.8K
	altcat_3__t20_altcat_3	2013-09-04 12:45	9.0K
	altcat_3__t21_altcat_3	2013-09-04 12:45	9.0K
	altcat_3__t22_altcat_3	2013-09-04 12:45	5.9K
	altcat_3__t23_altcat_3	2013-09-04 12:45	5.9K
	altcat_3__t24_altcat_3	2013-09-04 12:45	8.7K
	altcat_3__t25_altcat_3	2013-09-04 12:45	5.6K
	altcat_3__t26_altcat_3	2013-09-04 12:45	9.1K
	altcat_3__t27_altcat_3	2013-09-04 12:45	5.6K
	altcat_3__t28_altcat_3	2013-09-04 12:45	9.1K
	altcat_3__t29_altcat_3	2013-09-04 12:45	1.9K
	altcat_3__t30_altcat_3	2013-09-04 12:45	8.0K