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

	Name	Last modified	Size	Description
	Parent Directory		-
	rusub_3__l4_rusub_3	2013-09-04 12:06	28K
	rusub_3__l9_rusub_3	2013-09-04 12:06	27K
	rusub_3__l10_rusub_3	2013-09-04 12:06	27K
	rusub_3__l11_rusub_3	2013-09-04 12:06	27K
	rusub_3__l12_rusub_3	2013-09-04 12:06	29K
	rusub_3__l33_rusub_3	2013-09-04 12:06	15K
	rusub_3__t1_rusub_3	2013-09-04 12:05	30K
	rusub_3__t2_rusub_3	2013-09-04 12:05	35K
	rusub_3__t3_rusub_3	2013-09-04 12:05	32K
	rusub_3__t4_rusub_3	2013-09-04 12:05	29K
	rusub_3__t5_rusub_3	2013-09-04 12:05	31K
	rusub_3__t6_rusub_3	2013-09-04 12:05	27K
	rusub_3__t7_rusub_3	2013-09-04 12:05	30K
	rusub_3__t8_rusub_3	2013-09-04 12:05	27K
	rusub_3__t9_rusub_3	2013-09-04 12:05	49K
	rusub_3__t10_rusub_3	2013-09-04 12:05	30K
	rusub_3__t11_rusub_3	2013-09-04 12:05	66K
	rusub_3__t12_rusub_3	2013-09-04 12:05	68K
	rusub_3__t13_rusub_3	2013-09-04 12:05	28K
	rusub_3__t14_rusub_3	2013-09-04 12:05	28K
	rusub_3__t15_rusub_3	2013-09-04 12:05	28K
	rusub_3__t16_rusub_3	2013-09-04 12:05	57K
	rusub_3__t17_rusub_3	2013-09-04 12:05	34K
	rusub_3__t18_rusub_3	2013-09-04 12:05	52K
	rusub_3__t19_rusub_3	2013-09-04 12:05	36K
	rusub_3__t20_rusub_3	2013-09-04 12:05	33K
	rusub_3__t21_rusub_3	2013-09-04 12:05	27K
	rusub_3__t22_rusub_3	2013-09-04 12:05	32K
	rusub_3__t23_rusub_3	2013-09-04 12:05	29K
	rusub_3__t24_rusub_3	2013-09-04 12:06	28K
	rusub_3__t25_rusub_3	2013-09-04 12:06	48K
	rusub_3__t26_rusub_3	2013-09-04 12:06	34K
	rusub_3__t27_rusub_3	2013-09-04 12:06	33K
	rusub_3__t28_rusub_3	2013-09-04 12:06	34K
	rusub_3__t29_rusub_3	2013-09-04 12:06	35K
	rusub_3__t30_rusub_3	2013-09-04 12:06	27K
	rusub_3__t31_rusub_3	2013-09-04 12:06	30K
	rusub_3__t32_rusub_3	2013-09-04 12:06	41K
	rusub_3__t33_rusub_3	2013-09-04 12:06	28K
	rusub_3__t34_rusub_3	2013-09-04 12:06	31K
	rusub_3__t35_rusub_3	2013-09-04 12:06	42K
	rusub_3__t36_rusub_3	2013-09-04 12:06	28K
	rusub_3__t37_rusub_3	2013-09-04 12:06	31K
	rusub_3__t38_rusub_3	2013-09-04 12:06	32K
	rusub_3__t39_rusub_3	2013-09-04 12:06	55K
	rusub_3__t40_rusub_3	2013-09-04 12:05	27K
	rusub_3__t41_rusub_3	2013-09-04 12:05	26K
	rusub_3__t42_rusub_3	2013-09-04 12:05	26K
	rusub_3__t43_rusub_3	2013-09-04 12:05	26K
	rusub_3__t44_rusub_3	2013-09-04 12:05	26K
	rusub_3__t45_rusub_3	2013-09-04 12:06	19K