Index of /~mptp/1147/mptp/problems_small_consist/dirort

	Name	Last modified	Size	Description
	Parent Directory		-
	dirort__t1_dirort	2013-09-04 12:19	12K
	dirort__t2_dirort	2013-09-04 12:19	12K
	dirort__t3_dirort	2013-09-04 12:19	6.8K
	dirort__t4_dirort	2013-09-04 12:19	6.8K
	dirort__t5_dirort	2013-09-04 12:19	2.2K
	dirort__t6_dirort	2013-09-04 12:19	2.3K
	dirort__t7_dirort	2013-09-04 12:19	2.9K
	dirort__t8_dirort	2013-09-04 12:19	1.4K
	dirort__t9_dirort	2013-09-04 12:19	2.8K
	dirort__t10_dirort	2013-09-04 12:19	2.2K
	dirort__t11_dirort	2013-09-04 12:19	2.2K
	dirort__t12_dirort	2013-09-04 12:19	2.0K
	dirort__t13_dirort	2013-09-04 12:19	11K
	dirort__t14_dirort	2013-09-04 12:19	11K
	dirort__t15_dirort	2013-09-04 12:19	3.4K
	dirort__t16_dirort	2013-09-04 12:19	4.2K
	dirort__t17_dirort	2013-09-04 12:19	4.4K
	dirort__t18_dirort	2013-09-04 12:19	4.2K