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

	Name	Last modified	Size	Description
	Parent Directory		-
	rusub_5__t1_rusub_5	2013-09-04 12:52	17K
	rusub_5__t2_rusub_5	2013-09-04 12:52	19K
	rusub_5__t3_rusub_5	2013-09-04 12:52	21K
	rusub_5__t4_rusub_5	2013-09-04 12:52	20K
	rusub_5__t5_rusub_5	2013-09-04 12:52	14K
	rusub_5__t6_rusub_5	2013-09-04 12:52	14K
	rusub_5__t7_rusub_5	2013-09-04 12:52	14K
	rusub_5__t8_rusub_5	2013-09-04 12:52	14K
	rusub_5__t9_rusub_5	2013-09-04 12:52	22K
	rusub_5__t10_rusub_5	2013-09-04 12:52	17K
	rusub_5__t11_rusub_5	2013-09-04 12:52	16K
	rusub_5__t12_rusub_5	2013-09-04 12:52	16K
	rusub_5__t13_rusub_5	2013-09-04 12:52	20K
	rusub_5__t14_rusub_5	2013-09-04 12:52	24K
	rusub_5__t15_rusub_5	2013-09-04 12:52	17K
	rusub_5__t16_rusub_5	2013-09-04 12:52	24K
	rusub_5__t17_rusub_5	2013-09-04 12:52	17K
	rusub_5__t18_rusub_5	2013-09-04 12:52	18K
	rusub_5__t19_rusub_5	2013-09-04 12:52	18K
	rusub_5__t20_rusub_5	2013-09-04 12:52	26K
	rusub_5__t21_rusub_5	2013-09-04 12:52	21K
	rusub_5__t22_rusub_5	2013-09-04 12:52	25K
	rusub_5__t23_rusub_5	2013-09-04 12:52	31K
	rusub_5__t24_rusub_5	2013-09-04 12:52	28K
	rusub_5__t25_rusub_5	2013-09-04 12:52	20K
	rusub_5__t26_rusub_5	2013-09-04 12:52	19K
	rusub_5__t27_rusub_5	2013-09-04 12:52	20K
	rusub_5__t28_rusub_5	2013-09-04 12:52	21K
	rusub_5__t29_rusub_5	2013-09-04 12:52	129K
	rusub_5__t30_rusub_5	2013-09-04 12:52	36K
	rusub_5__t31_rusub_5	2013-09-04 12:52	100K
	rusub_5__t32_rusub_5	2013-09-04 12:52	31K
	rusub_5__t33_rusub_5	2013-09-04 12:52	23K
	rusub_5__t34_rusub_5	2013-09-04 12:52	15K
	rusub_5__t35_rusub_5	2013-09-04 12:52	23K
	rusub_5__t36_rusub_5	2013-09-04 12:52	20K
	rusub_5__t37_rusub_5	2013-09-04 12:52	17K
	rusub_5__t38_rusub_5	2013-09-04 12:52	16K
	rusub_5__t39_rusub_5	2013-09-04 12:52	20K
	rusub_5__t40_rusub_5	2013-09-04 12:52	17K
	rusub_5__t41_rusub_5	2013-09-04 12:52	23K
	rusub_5__t42_rusub_5	2013-09-04 12:52	20K
	rusub_5__t43_rusub_5	2013-09-04 12:52	20K
	rusub_5__t44_rusub_5	2013-09-04 12:52	18K
	rusub_5__t45_rusub_5	2013-09-04 12:52	48K
	rusub_5__t46_rusub_5	2013-09-04 12:52	18K
	rusub_5__t47_rusub_5	2013-09-04 12:52	20K
	rusub_5__t48_rusub_5	2013-09-04 12:52	49K
	rusub_5__t49_rusub_5	2013-09-04 12:52	20K
	rusub_5__t50_rusub_5	2013-09-04 12:52	20K
	rusub_5__t51_rusub_5	2013-09-04 12:52	22K
	rusub_5__t52_rusub_5	2013-09-04 12:52	39K
	rusub_5__t53_rusub_5	2013-09-04 12:52	35K
	rusub_5__t54_rusub_5	2013-09-04 12:52	31K