Index of /~mptp/1147/mptp/problems_small_consist/knaster

	Name	Last modified	Size	Description
	Parent Directory		-
	knaster__l38_knaster	2013-09-04 12:31	9.4K
	knaster__t1_knaster	2013-09-04 12:31	13K
	knaster__t2_knaster	2013-09-04 12:31	16K
	knaster__t3_knaster	2013-09-04 12:31	13K
	knaster__t4_knaster	2013-09-04 12:31	15K
	knaster__t5_knaster	2013-09-04 12:31	15K
	knaster__t6_knaster	2013-09-04 12:31	13K
	knaster__t7_knaster	2013-09-04 12:31	13K
	knaster__t8_knaster	2013-09-04 12:31	15K
	knaster__t9_knaster	2013-09-04 12:31	20K
	knaster__t10_knaster	2013-09-04 12:31	19K
	knaster__t11_knaster	2013-09-04 12:31	15K
	knaster__t12_knaster	2013-09-04 12:31	11K
	knaster__t13_knaster	2013-09-04 12:31	20K
	knaster__t14_knaster	2013-09-04 12:31	20K
	knaster__t15_knaster	2013-09-04 12:31	20K
	knaster__t16_knaster	2013-09-04 12:31	20K
	knaster__t17_knaster	2013-09-04 12:31	20K
	knaster__t18_knaster	2013-09-04 12:31	21K
	knaster__t19_knaster	2013-09-04 12:31	25K
	knaster__t20_knaster	2013-09-04 12:31	25K
	knaster__t21_knaster	2013-09-04 12:31	22K
	knaster__t22_knaster	2013-09-04 12:31	24K
	knaster__t23_knaster	2013-09-04 12:31	24K
	knaster__t24_knaster	2013-09-04 12:31	29K
	knaster__t25_knaster	2013-09-04 12:31	29K
	knaster__t26_knaster	2013-09-04 12:31	22K
	knaster__t27_knaster	2013-09-04 12:31	22K
	knaster__t28_knaster	2013-09-04 12:31	25K
	knaster__t29_knaster	2013-09-04 12:31	26K
	knaster__t30_knaster	2013-09-04 12:31	23K
	knaster__t31_knaster	2013-09-04 12:31	23K
	knaster__t32_knaster	2013-09-04 12:31	24K
	knaster__t33_knaster	2013-09-04 12:31	24K
	knaster__t34_knaster	2013-09-04 12:31	24K
	knaster__t35_knaster	2013-09-04 12:31	24K
	knaster__t36_knaster	2013-09-04 12:31	22K
	knaster__t37_knaster	2013-09-04 12:31	20K
	knaster__t38_knaster	2013-09-04 12:31	20K
	knaster__t39_knaster	2013-09-04 12:31	22K
	knaster__t40_knaster	2013-09-04 12:31	30K
	knaster__t41_knaster	2013-09-04 12:31	22K
	knaster__t42_knaster	2013-09-04 12:31	22K
	knaster__t43_knaster	2013-09-04 12:31	31K
	knaster__t44_knaster	2013-09-04 12:31	23K
	knaster__t45_knaster	2013-09-04 12:31	23K
	knaster__t46_knaster	2013-09-04 12:31	23K
	knaster__t47_knaster	2013-09-04 12:31	34K
	knaster__t48_knaster	2013-09-04 12:31	34K