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

	Name	Last modified	Size	Description
	Parent Directory		-
	toprns_1__l34_toprns_1	2013-09-04 12:48	32K
	toprns_1__l35_toprns_1	2013-09-04 12:48	32K
	toprns_1__t1_toprns_1	2013-09-04 12:48	27K
	toprns_1__t2_toprns_1	2013-09-04 12:48	33K
	toprns_1__t3_toprns_1	2013-09-04 12:48	27K
	toprns_1__t4_toprns_1	2013-09-04 12:48	41K
	toprns_1__t5_toprns_1	2013-09-04 12:48	35K
	toprns_1__t6_toprns_1	2013-09-04 12:48	34K
	toprns_1__t7_toprns_1	2013-09-04 12:48	33K
	toprns_1__t8_toprns_1	2013-09-04 12:48	40K
	toprns_1__t9_toprns_1	2013-09-04 12:48	37K
	toprns_1__t10_toprns_1	2013-09-04 12:48	37K
	toprns_1__t11_toprns_1	2013-09-04 12:48	40K
	toprns_1__t12_toprns_1	2013-09-04 12:48	43K
	toprns_1__t13_toprns_1	2013-09-04 12:48	36K
	toprns_1__t14_toprns_1	2013-09-04 12:48	34K
	toprns_1__t15_toprns_1	2013-09-04 12:48	33K
	toprns_1__t16_toprns_1	2013-09-04 12:48	35K
	toprns_1__t17_toprns_1	2013-09-04 12:48	31K
	toprns_1__t18_toprns_1	2013-09-04 12:48	30K
	toprns_1__t19_toprns_1	2013-09-04 12:48	33K
	toprns_1__t20_toprns_1	2013-09-04 12:48	31K
	toprns_1__t21_toprns_1	2013-09-04 12:48	34K
	toprns_1__t22_toprns_1	2013-09-04 12:48	29K
	toprns_1__t23_toprns_1	2013-09-04 12:48	28K
	toprns_1__t24_toprns_1	2013-09-04 12:48	28K
	toprns_1__t25_toprns_1	2013-09-04 12:48	27K
	toprns_1__t26_toprns_1	2013-09-04 12:48	30K
	toprns_1__t27_toprns_1	2013-09-04 12:48	42K
	toprns_1__t28_toprns_1	2013-09-04 12:48	31K
	toprns_1__t29_toprns_1	2013-09-04 12:48	38K
	toprns_1__t30_toprns_1	2013-09-04 12:48	36K
	toprns_1__t31_toprns_1	2013-09-04 12:48	38K
	toprns_1__t32_toprns_1	2013-09-04 12:48	37K
	toprns_1__t33_toprns_1	2013-09-04 12:48	34K
	toprns_1__t34_toprns_1	2013-09-04 12:48	48K
	toprns_1__t35_toprns_1	2013-09-04 12:48	38K
	toprns_1__t36_toprns_1	2013-09-04 12:48	72K
	toprns_1__t37_toprns_1	2013-09-04 12:48	73K
	toprns_1__t38_toprns_1	2013-09-04 12:48	65K
	toprns_1__t39_toprns_1	2013-09-04 12:48	65K
	toprns_1__t40_toprns_1	2013-09-04 12:48	29K
	toprns_1__t41_toprns_1	2013-09-04 12:48	40K
	toprns_1__t42_toprns_1	2013-09-04 12:48	29K
	toprns_1__t43_toprns_1	2013-09-04 12:48	47K
	toprns_1__t44_toprns_1	2013-09-04 12:48	47K
	toprns_1__t45_toprns_1	2013-09-04 12:48	59K