Index of /~mptp/1147/MPTP2/problems_small_consist/projred1

	Name	Last modified	Size	Description
	Parent Directory		-
	projred1__l13_projred1	2013-09-04 12:33	6.0K
	projred1__l15_projred1	2013-09-04 12:33	11K
	projred1__t1_projred1	2013-09-04 12:33	3.5K
	projred1__t2_projred1	2013-09-04 12:33	3.8K
	projred1__t3_projred1	2013-09-04 12:33	3.5K
	projred1__t4_projred1	2013-09-04 12:33	3.7K
	projred1__t5_projred1	2013-09-04 12:33	4.0K
	projred1__t6_projred1	2013-09-04 12:33	4.4K
	projred1__t7_projred1	2013-09-04 12:33	2.9K
	projred1__t8_projred1	2013-09-04 12:33	3.0K
	projred1__t9_projred1	2013-09-04 12:33	3.9K
	projred1__t10_projred1	2013-09-04 12:33	3.4K
	projred1__t11_projred1	2013-09-04 12:33	4.5K
	projred1__t12_projred1	2013-09-04 12:33	9.7K
	projred1__t13_projred1	2013-09-04 12:33	4.7K
	projred1__t14_projred1	2013-09-04 12:33	7.5K
	projred1__t15_projred1	2013-09-04 12:33	7.1K
	projred1__t16_projred1	2013-09-04 12:33	6.8K
	projred1__t17_projred1	2013-09-04 12:33	4.2K
	projred1__t18_projred1	2013-09-04 12:33	6.8K
	projred1__t19_projred1	2013-09-04 12:33	6.8K
	projred1__t20_projred1	2013-09-04 12:33	7.3K
	projred1__t21_projred1	2013-09-04 12:33	7.9K
	projred1__t22_projred1	2013-09-04 12:33	9.4K
	projred1__t23_projred1	2013-09-04 12:33	7.8K
	projred1__t24_projred1	2013-09-04 12:33	6.9K
	projred1__t25_projred1	2013-09-04 12:33	17K