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

	Name	Last modified	Size	Description
	Parent Directory		-
	cat_1__t1_cat_1	2013-09-04 12:49	15K
	cat_1__t2_cat_1	2013-09-04 12:49	16K
	cat_1__t4_cat_1	2013-09-04 12:49	16K
	cat_1__t5_cat_1	2013-09-04 12:49	17K
	cat_1__t6_cat_1	2013-09-04 12:49	16K
	cat_1__t7_cat_1	2013-09-04 12:49	17K
	cat_1__t8_cat_1	2013-09-04 12:49	17K
	cat_1__t9_cat_1	2013-09-04 12:49	19K
	cat_1__t11_cat_1	2013-09-04 12:49	21K
	cat_1__t12_cat_1	2013-09-04 12:49	22K
	cat_1__t13_cat_1	2013-09-04 12:49	23K
	cat_1__t14_cat_1	2013-09-04 12:49	18K
	cat_1__t15_cat_1	2013-09-04 12:49	18K
	cat_1__t16_cat_1	2013-09-04 12:49	18K
	cat_1__t17_cat_1	2013-09-04 12:49	16K
	cat_1__t18_cat_1	2013-09-04 12:49	16K
	cat_1__t21_cat_1	2013-09-04 12:49	18K
	cat_1__t22_cat_1	2013-09-04 12:49	18K
	cat_1__t23_cat_1	2013-09-04 12:49	18K
	cat_1__t24_cat_1	2013-09-04 12:49	18K
	cat_1__t25_cat_1	2013-09-04 12:49	20K
	cat_1__t27_cat_1	2013-09-04 12:49	18K
	cat_1__t28_cat_1	2013-09-04 12:49	19K
	cat_1__t29_cat_1	2013-09-04 12:49	19K
	cat_1__t30_cat_1	2013-09-04 12:49	10K
	cat_1__t31_cat_1	2013-09-04 12:49	18K
	cat_1__t32_cat_1	2013-09-04 12:49	20K
	cat_1__t33_cat_1	2013-09-04 12:49	19K
	cat_1__t34_cat_1	2013-09-04 12:49	20K
	cat_1__t35_cat_1	2013-09-04 12:49	19K
	cat_1__t36_cat_1	2013-09-04 12:49	18K
	cat_1__t37_cat_1	2013-09-04 12:49	20K
	cat_1__t38_cat_1	2013-09-04 12:49	19K
	cat_1__t39_cat_1	2013-09-04 12:49	20K
	cat_1__t40_cat_1	2013-09-04 12:49	19K
	cat_1__t41_cat_1	2013-09-04 12:49	19K
	cat_1__t42_cat_1	2013-09-04 12:49	20K
	cat_1__t43_cat_1	2013-09-04 12:49	21K
	cat_1__t44_cat_1	2013-09-04 12:49	18K
	cat_1__t45_cat_1	2013-09-04 12:49	21K
	cat_1__t46_cat_1	2013-09-04 12:49	20K
	cat_1__t47_cat_1	2013-09-04 12:49	22K
	cat_1__t48_cat_1	2013-09-04 12:49	20K
	cat_1__t49_cat_1	2013-09-04 12:49	18K
	cat_1__t50_cat_1	2013-09-04 12:49	17K
	cat_1__t51_cat_1	2013-09-04 12:49	21K
	cat_1__t52_cat_1	2013-09-04 12:49	22K
	cat_1__t53_cat_1	2013-09-04 12:49	18K
	cat_1__t54_cat_1	2013-09-04 12:49	17K
	cat_1__t55_cat_1	2013-09-04 12:49	21K
	cat_1__t56_cat_1	2013-09-04 12:49	22K
	cat_1__t57_cat_1	2013-09-04 12:49	18K
	cat_1__t58_cat_1	2013-09-04 12:49	17K
	cat_1__t59_cat_1	2013-09-04 12:49	16K
	cat_1__t60_cat_1	2013-09-04 12:49	10K
	cat_1__t61_cat_1	2013-09-04 12:49	22K
	cat_1__t62_cat_1	2013-09-04 12:49	23K
	cat_1__t63_cat_1	2013-09-04 12:49	23K
	cat_1__t64_cat_1	2013-09-04 12:49	22K
	cat_1__t65_cat_1	2013-09-04 12:49	20K
	cat_1__t66_cat_1	2013-09-04 12:49	18K
	cat_1__t67_cat_1	2013-09-04 12:49	23K
	cat_1__t68_cat_1	2013-09-04 12:49	22K
	cat_1__t69_cat_1	2013-09-04 12:49	23K
	cat_1__t70_cat_1	2013-09-04 12:49	20K
	cat_1__t71_cat_1	2013-09-04 12:49	20K
	cat_1__t72_cat_1	2013-09-04 12:49	21K
	cat_1__t73_cat_1	2013-09-04 12:49	26K
	cat_1__t74_cat_1	2013-09-04 12:49	20K
	cat_1__t75_cat_1	2013-09-04 12:49	26K
	cat_1__t76_cat_1	2013-09-04 12:49	24K
	cat_1__t77_cat_1	2013-09-04 12:49	17K
	cat_1__t78_cat_1	2013-09-04 12:49	19K
	cat_1__t79_cat_1	2013-09-04 12:49	20K
	cat_1__t80_cat_1	2013-09-04 12:49	18K
	cat_1__t81_cat_1	2013-09-04 12:49	21K
	cat_1__t82_cat_1	2013-09-04 12:49	21K
	cat_1__t83_cat_1	2013-09-04 12:49	21K
	cat_1__t84_cat_1	2013-09-04 12:49	20K
	cat_1__t85_cat_1	2013-09-04 12:49	25K
	cat_1__t86_cat_1	2013-09-04 12:49	25K
	cat_1__t87_cat_1	2013-09-04 12:49	21K
	cat_1__t88_cat_1	2013-09-04 12:49	23K
	cat_1__t89_cat_1	2013-09-04 12:49	28K
	cat_1__t90_cat_1	2013-09-04 12:49	25K