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

	Name	Last modified	Size	Description
	Parent Directory		-
	rusub_1__l15_rusub_1	2013-09-04 12:56	28K
	rusub_1__l41_rusub_1	2013-09-04 12:56	29K
	rusub_1__l47_rusub_1	2013-09-04 12:56	32K
	rusub_1__t1_rusub_1	2013-09-04 12:56	24K
	rusub_1__t2_rusub_1	2013-09-04 12:56	24K
	rusub_1__t3_rusub_1	2013-09-04 12:56	18K
	rusub_1__t4_rusub_1	2013-09-04 12:56	25K
	rusub_1__t5_rusub_1	2013-09-04 12:56	24K
	rusub_1__t6_rusub_1	2013-09-04 12:56	29K
	rusub_1__t7_rusub_1	2013-09-04 12:56	28K
	rusub_1__t8_rusub_1	2013-09-04 12:56	30K
	rusub_1__t9_rusub_1	2013-09-04 12:56	26K
	rusub_1__t10_rusub_1	2013-09-04 12:56	27K
	rusub_1__t11_rusub_1	2013-09-04 12:56	24K
	rusub_1__t12_rusub_1	2013-09-04 12:56	24K
	rusub_1__t13_rusub_1	2013-09-04 12:56	19K
	rusub_1__t14_rusub_1	2013-09-04 12:56	31K
	rusub_1__t15_rusub_1	2013-09-04 12:56	30K
	rusub_1__t16_rusub_1	2013-09-04 12:56	26K
	rusub_1__t17_rusub_1	2013-09-04 12:56	27K
	rusub_1__t18_rusub_1	2013-09-04 12:56	62K
	rusub_1__t19_rusub_1	2013-09-04 12:56	25K
	rusub_1__t20_rusub_1	2013-09-04 12:56	28K
	rusub_1__t21_rusub_1	2013-09-04 12:56	25K
	rusub_1__t22_rusub_1	2013-09-04 12:56	25K
	rusub_1__t23_rusub_1	2013-09-04 12:56	25K
	rusub_1__t24_rusub_1	2013-09-04 12:56	25K
	rusub_1__t25_rusub_1	2013-09-04 12:56	28K
	rusub_1__t26_rusub_1	2013-09-04 12:56	25K
	rusub_1__t27_rusub_1	2013-09-04 12:56	25K
	rusub_1__t28_rusub_1	2013-09-04 12:56	19K
	rusub_1__t29_rusub_1	2013-09-04 12:56	42K
	rusub_1__t30_rusub_1	2013-09-04 12:56	30K
	rusub_1__t31_rusub_1	2013-09-04 12:56	25K
	rusub_1__t32_rusub_1	2013-09-04 12:56	26K
	rusub_1__t33_rusub_1	2013-09-04 12:56	29K
	rusub_1__t34_rusub_1	2013-09-04 12:56	25K
	rusub_1__t35_rusub_1	2013-09-04 12:56	26K
	rusub_1__t36_rusub_1	2013-09-04 12:56	29K
	rusub_1__t37_rusub_1	2013-09-04 12:56	28K
	rusub_1__t38_rusub_1	2013-09-04 12:56	29K
	rusub_1__t39_rusub_1	2013-09-04 12:56	33K
	rusub_1__t40_rusub_1	2013-09-04 12:56	31K
	rusub_1__t41_rusub_1	2013-09-04 12:56	28K
	rusub_1__t42_rusub_1	2013-09-04 12:56	28K
	rusub_1__t43_rusub_1	2013-09-04 12:56	34K
	rusub_1__t44_rusub_1	2013-09-04 12:56	34K
	rusub_1__t45_rusub_1	2013-09-04 12:56	30K
	rusub_1__t46_rusub_1	2013-09-04 12:56	32K
	rusub_1__t47_rusub_1	2013-09-04 12:56	29K
	rusub_1__t48_rusub_1	2013-09-04 12:56	31K
	rusub_1__t49_rusub_1	2013-09-04 12:56	40K
	rusub_1__t50_rusub_1	2013-09-04 12:56	30K
	rusub_1__t51_rusub_1	2013-09-04 12:56	28K
	rusub_1__t52_rusub_1	2013-09-04 12:56	43K
	rusub_1__t53_rusub_1	2013-09-04 12:56	34K
	rusub_1__t54_rusub_1	2013-09-04 12:56	30K
	rusub_1__t55_rusub_1	2013-09-04 12:56	27K
	rusub_1__t56_rusub_1	2013-09-04 12:56	29K
	rusub_1__t57_rusub_1	2013-09-04 12:56	27K
	rusub_1__t58_rusub_1	2013-09-04 12:56	28K
	rusub_1__t59_rusub_1	2013-09-04 12:56	32K
	rusub_1__t60_rusub_1	2013-09-04 12:56	30K
	rusub_1__t61_rusub_1	2013-09-04 12:56	31K
	rusub_1__t62_rusub_1	2013-09-04 12:56	34K
	rusub_1__t63_rusub_1	2013-09-04 12:56	38K
	rusub_1__t64_rusub_1	2013-09-04 12:56	30K
	rusub_1__t65_rusub_1	2013-09-04 12:56	32K
	rusub_1__t66_rusub_1	2013-09-04 12:56	32K
	rusub_1__t67_rusub_1	2013-09-04 12:56	32K
	rusub_1__t68_rusub_1	2013-09-04 12:56	29K
	rusub_1__t69_rusub_1	2013-09-04 12:56	33K
	rusub_1__t70_rusub_1	2013-09-04 12:56	32K
	rusub_1__t71_rusub_1	2013-09-04 12:56	29K
	rusub_1__t72_rusub_1	2013-09-04 12:56	29K
	rusub_1__t73_rusub_1	2013-09-04 12:56	29K
	rusub_1__t74_rusub_1	2013-09-04 12:56	29K
	rusub_1__t75_rusub_1	2013-09-04 12:56	29K
	rusub_1__t76_rusub_1	2013-09-04 12:56	28K