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

	Name	Last modified	Size	Description
	Parent Directory		-
	ranknull__l29_ranknull	2013-09-04 12:12	43K
	ranknull__t1_ranknull	2013-09-04 12:12	25K
	ranknull__t2_ranknull	2013-09-04 12:12	20K
	ranknull__t3_ranknull	2013-09-04 12:12	15K
	ranknull__t4_ranknull	2013-09-04 12:12	24K
	ranknull__t5_ranknull	2013-09-04 12:12	35K
	ranknull__t6_ranknull	2013-09-04 12:12	42K
	ranknull__t7_ranknull	2013-09-04 12:12	26K
	ranknull__t8_ranknull	2013-09-04 12:12	31K
	ranknull__t9_ranknull	2013-09-04 12:12	29K
	ranknull__t10_ranknull	2013-09-04 12:12	34K
	ranknull__t11_ranknull	2013-09-04 12:12	34K
	ranknull__t12_ranknull	2013-09-04 12:12	32K
	ranknull__t13_ranknull	2013-09-04 12:12	37K
	ranknull__t14_ranknull	2013-09-04 12:12	33K
	ranknull__t15_ranknull	2013-09-04 12:12	40K
	ranknull__t16_ranknull	2013-09-04 12:12	33K
	ranknull__t17_ranknull	2013-09-04 12:12	35K
	ranknull__t18_ranknull	2013-09-04 12:12	36K
	ranknull__t19_ranknull	2013-09-04 12:12	31K
	ranknull__t20_ranknull	2013-09-04 12:12	33K
	ranknull__t21_ranknull	2013-09-04 12:12	36K
	ranknull__t22_ranknull	2013-09-04 12:12	50K
	ranknull__t23_ranknull	2013-09-04 12:12	38K
	ranknull__t24_ranknull	2013-09-04 12:12	43K
	ranknull__t25_ranknull	2013-09-04 12:12	41K
	ranknull__t26_ranknull	2013-09-04 12:12	41K
	ranknull__t27_ranknull	2013-09-04 12:12	48K
	ranknull__t28_ranknull	2013-09-04 12:12	35K
	ranknull__t29_ranknull	2013-09-04 12:12	43K
	ranknull__t30_ranknull	2013-09-04 12:12	34K
	ranknull__t31_ranknull	2013-09-04 12:12	35K
	ranknull__t32_ranknull	2013-09-04 12:12	37K
	ranknull__t33_ranknull	2013-09-04 12:12	72K
	ranknull__t34_ranknull	2013-09-04 12:12	41K
	ranknull__t35_ranknull	2013-09-04 12:12	35K
	ranknull__t36_ranknull	2013-09-04 12:12	38K
	ranknull__t37_ranknull	2013-09-04 12:12	52K
	ranknull__t38_ranknull	2013-09-04 12:12	50K
	ranknull__t39_ranknull	2013-09-04 12:12	41K
	ranknull__t40_ranknull	2013-09-04 12:12	57K
	ranknull__t41_ranknull	2013-09-04 12:12	30K
	ranknull__t42_ranknull	2013-09-04 12:12	48K
	ranknull__t43_ranknull	2013-09-04 12:12	60K
	ranknull__t44_ranknull	2013-09-04 12:12	101K
	ranknull__t45_ranknull	2013-09-04 12:12	42K