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

	Name	Last modified	Size	Description
	Parent Directory		-
	finsub_1__t1_finsub_1	2013-09-04 12:56	6.2K
	finsub_1__t2_finsub_1	2013-09-04 12:56	3.2K
	finsub_1__t3_finsub_1	2013-09-04 12:56	4.5K
	finsub_1__t4_finsub_1	2013-09-04 12:56	6.6K
	finsub_1__t5_finsub_1	2013-09-04 12:56	7.2K
	finsub_1__t6_finsub_1	2013-09-04 12:56	7.2K
	finsub_1__t7_finsub_1	2013-09-04 12:56	5.5K
	finsub_1__t8_finsub_1	2013-09-04 12:56	6.8K
	finsub_1__t9_finsub_1	2013-09-04 12:56	6.9K
	finsub_1__t10_finsub_1	2013-09-04 12:56	5.4K
	finsub_1__t11_finsub_1	2013-09-04 12:56	6.3K
	finsub_1__t12_finsub_1	2013-09-04 12:56	6.0K
	finsub_1__t13_finsub_1	2013-09-04 12:56	5.2K
	finsub_1__t14_finsub_1	2013-09-04 12:56	5.4K
	finsub_1__t15_finsub_1	2013-09-04 12:56	5.4K
	finsub_1__t16_finsub_1	2013-09-04 12:56	2.2K
	finsub_1__t17_finsub_1	2013-09-04 12:56	5.2K
	finsub_1__t18_finsub_1	2013-09-04 12:56	5.2K