Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/dtconstr

	Name	Last modified	Size	Description
	Parent Directory		-
	dtconstr__l3_dtconstr	2013-09-04 12:19	28K
	dtconstr__l12_dtconstr	2013-09-04 12:19	36K
	dtconstr__l13_dtconstr	2013-09-04 12:19	32K
	dtconstr__l14_dtconstr	2013-09-04 12:19	36K
	dtconstr__l15_dtconstr	2013-09-04 12:19	36K
	dtconstr__l16_dtconstr	2013-09-04 12:19	36K
	dtconstr__l17_dtconstr	2013-09-04 12:19	36K
	dtconstr__l18_dtconstr	2013-09-04 12:19	31K
	dtconstr__l19_dtconstr	2013-09-04 12:19	36K
	dtconstr__l20_dtconstr	2013-09-04 12:19	31K
	dtconstr__l21_dtconstr	2013-09-04 12:19	37K
	dtconstr__l22_dtconstr	2013-09-04 12:19	31K
	dtconstr__l23_dtconstr	2013-09-04 12:19	36K
	dtconstr__l24_dtconstr	2013-09-04 12:19	31K
	dtconstr__l25_dtconstr	2013-09-04 12:19	33K
	dtconstr__l26_dtconstr	2013-09-04 12:19	31K
	dtconstr__l27_dtconstr	2013-09-04 12:19	37K
	dtconstr__l31_dtconstr	2013-09-04 12:19	54K
	dtconstr__l35_dtconstr	2013-09-04 12:19	31K
	dtconstr__l36_dtconstr	2013-09-04 12:19	31K
	dtconstr__l42_dtconstr	2013-09-04 12:19	55K
	dtconstr__l43_dtconstr	2013-09-04 12:19	67K
	dtconstr__t1_dtconstr	2013-09-04 12:19	28K
	dtconstr__t2_dtconstr	2013-09-04 12:19	34K
	dtconstr__t3_dtconstr	2013-09-04 12:19	26K
	dtconstr__t4_dtconstr	2013-09-04 12:19	34K
	dtconstr__t5_dtconstr	2013-09-04 12:19	41K
	dtconstr__t6_dtconstr	2013-09-04 12:19	43K
	dtconstr__t7_dtconstr	2013-09-04 12:19	31K
	dtconstr__t8_dtconstr	2013-09-04 12:19	29K
	dtconstr__t9_dtconstr	2013-09-04 12:19	53K
	dtconstr__t10_dtconstr	2013-09-04 12:19	55K
	dtconstr__t11_dtconstr	2013-09-04 12:19	75K
	dtconstr__t12_dtconstr	2013-09-04 12:19	39K
	dtconstr__t13_dtconstr	2013-09-04 12:19	65K
	dtconstr__t14_dtconstr	2013-09-04 12:19	62K
	dtconstr__t15_dtconstr	2013-09-04 12:19	90K
	dtconstr__t16_dtconstr	2013-09-04 12:19	85K
	dtconstr__t17_dtconstr	2013-09-04 12:19	90K
	dtconstr__t18_dtconstr	2013-09-04 12:19	85K