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

	Name	Last modified	Size	Description
	Parent Directory		-
	dtconstr__l3_dtconstr	2017-03-01 15:22	24K
	dtconstr__l12_dtconstr	2017-03-01 15:22	30K
	dtconstr__l13_dtconstr	2017-03-01 15:22	27K
	dtconstr__l14_dtconstr	2017-03-01 15:22	31K
	dtconstr__l15_dtconstr	2017-03-01 15:22	30K
	dtconstr__l16_dtconstr	2017-03-01 15:22	31K
	dtconstr__l17_dtconstr	2017-03-01 15:22	30K
	dtconstr__l18_dtconstr	2017-03-01 15:22	26K
	dtconstr__l19_dtconstr	2017-03-01 15:22	31K
	dtconstr__l20_dtconstr	2017-03-01 15:22	26K
	dtconstr__l21_dtconstr	2017-03-01 15:22	31K
	dtconstr__l22_dtconstr	2017-03-01 15:22	26K
	dtconstr__l23_dtconstr	2017-03-01 15:22	31K
	dtconstr__l24_dtconstr	2017-03-01 15:22	27K
	dtconstr__l25_dtconstr	2017-03-01 15:22	28K
	dtconstr__l26_dtconstr	2017-03-01 15:22	27K
	dtconstr__l27_dtconstr	2017-03-01 15:22	30K
	dtconstr__l31_dtconstr	2017-03-01 15:22	43K
	dtconstr__l35_dtconstr	2017-03-01 15:22	27K
	dtconstr__l36_dtconstr	2017-03-01 15:22	26K
	dtconstr__l42_dtconstr	2017-03-01 15:22	41K
	dtconstr__l43_dtconstr	2017-03-01 15:22	50K
	dtconstr__t1_dtconstr	2017-03-01 15:22	24K
	dtconstr__t2_dtconstr	2017-03-01 15:22	27K
	dtconstr__t3_dtconstr	2017-03-01 15:22	22K
	dtconstr__t4_dtconstr	2017-03-01 15:22	29K
	dtconstr__t5_dtconstr	2017-03-01 15:22	34K
	dtconstr__t6_dtconstr	2017-03-01 15:22	34K
	dtconstr__t7_dtconstr	2017-03-01 15:22	26K
	dtconstr__t8_dtconstr	2017-03-01 15:22	25K
	dtconstr__t9_dtconstr	2017-03-01 15:22	40K
	dtconstr__t10_dtconstr	2017-03-01 15:22	41K
	dtconstr__t11_dtconstr	2017-03-01 15:22	56K
	dtconstr__t12_dtconstr	2017-03-01 15:22	31K
	dtconstr__t13_dtconstr	2017-03-01 15:22	48K
	dtconstr__t14_dtconstr	2017-03-01 15:22	48K
	dtconstr__t15_dtconstr	2017-03-01 15:22	68K
	dtconstr__t16_dtconstr	2017-03-01 15:22	68K
	dtconstr__t17_dtconstr	2017-03-01 15:22	68K
	dtconstr__t18_dtconstr	2017-03-01 15:22	68K