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

	Name	Last modified	Size	Description
	Parent Directory		-
	setlim_2__t1_setlim_2	2013-09-04 12:21	13K
	setlim_2__t2_setlim_2	2013-09-04 12:21	14K
	setlim_2__t3_setlim_2	2013-09-04 12:21	15K
	setlim_2__t4_setlim_2	2013-09-04 12:21	14K
	setlim_2__t5_setlim_2	2013-09-04 12:21	14K
	setlim_2__t6_setlim_2	2013-09-04 12:21	13K
	setlim_2__t7_setlim_2	2013-09-04 12:21	14K
	setlim_2__t8_setlim_2	2013-09-04 12:21	11K
	setlim_2__t9_setlim_2	2013-09-04 12:21	12K
	setlim_2__t10_setlim_2	2013-09-04 12:21	11K
	setlim_2__t11_setlim_2	2013-09-04 12:21	13K
	setlim_2__t12_setlim_2	2013-09-04 12:21	11K
	setlim_2__t13_setlim_2	2013-09-04 12:21	11K
	setlim_2__t14_setlim_2	2013-09-04 12:21	11K
	setlim_2__t15_setlim_2	2013-09-04 12:21	15K
	setlim_2__t16_setlim_2	2013-09-04 12:21	13K
	setlim_2__t17_setlim_2	2013-09-04 12:21	13K
	setlim_2__t18_setlim_2	2013-09-04 12:21	13K
	setlim_2__t19_setlim_2	2013-09-04 12:21	13K
	setlim_2__t20_setlim_2	2013-09-04 12:21	14K
	setlim_2__t21_setlim_2	2013-09-04 12:21	10K
	setlim_2__t22_setlim_2	2013-09-04 12:21	10K
	setlim_2__t23_setlim_2	2013-09-04 12:21	7.8K
	setlim_2__t24_setlim_2	2013-09-04 12:21	10K
	setlim_2__t25_setlim_2	2013-09-04 12:21	10K
	setlim_2__t26_setlim_2	2013-09-04 12:21	7.8K
	setlim_2__t27_setlim_2	2013-09-04 12:21	10K
	setlim_2__t28_setlim_2	2013-09-04 12:21	10K
	setlim_2__t29_setlim_2	2013-09-04 12:21	7.8K
	setlim_2__t30_setlim_2	2013-09-04 12:21	9.8K
	setlim_2__t31_setlim_2	2013-09-04 12:21	9.8K
	setlim_2__t32_setlim_2	2013-09-04 12:21	7.8K
	setlim_2__t33_setlim_2	2013-09-04 12:21	11K
	setlim_2__t34_setlim_2	2013-09-04 12:21	11K
	setlim_2__t35_setlim_2	2013-09-04 12:21	10K
	setlim_2__t36_setlim_2	2013-09-04 12:21	10K
	setlim_2__t37_setlim_2	2013-09-04 12:21	11K
	setlim_2__t38_setlim_2	2013-09-04 12:21	11K
	setlim_2__t39_setlim_2	2013-09-04 12:21	11K
	setlim_2__t40_setlim_2	2013-09-04 12:21	11K
	setlim_2__t41_setlim_2	2013-09-04 12:21	10K
	setlim_2__t42_setlim_2	2013-09-04 12:21	12K
	setlim_2__t43_setlim_2	2013-09-04 12:21	12K
	setlim_2__t44_setlim_2	2013-09-04 12:21	13K
	setlim_2__t45_setlim_2	2013-09-04 12:21	12K
	setlim_2__t46_setlim_2	2013-09-04 12:21	13K
	setlim_2__t47_setlim_2	2013-09-04 12:21	13K
	setlim_2__t48_setlim_2	2013-09-04 12:21	12K
	setlim_2__t49_setlim_2	2013-09-04 12:21	13K
	setlim_2__t50_setlim_2	2013-09-04 12:21	11K
	setlim_2__t51_setlim_2	2013-09-04 12:21	12K
	setlim_2__t52_setlim_2	2013-09-04 12:21	11K
	setlim_2__t53_setlim_2	2013-09-04 12:21	11K
	setlim_2__t54_setlim_2	2013-09-04 12:21	12K
	setlim_2__t55_setlim_2	2013-09-04 12:21	12K
	setlim_2__t56_setlim_2	2013-09-04 12:21	12K
	setlim_2__t57_setlim_2	2013-09-04 12:21	11K
	setlim_2__t58_setlim_2	2013-09-04 12:21	12K
	setlim_2__t59_setlim_2	2013-09-04 12:21	12K
	setlim_2__t60_setlim_2	2013-09-04 12:21	11K
	setlim_2__t61_setlim_2	2013-09-04 12:21	11K
	setlim_2__t62_setlim_2	2013-09-04 12:21	12K
	setlim_2__t63_setlim_2	2013-09-04 12:21	14K
	setlim_2__t64_setlim_2	2013-09-04 12:21	13K
	setlim_2__t65_setlim_2	2013-09-04 12:21	14K
	setlim_2__t66_setlim_2	2013-09-04 12:21	15K
	setlim_2__t67_setlim_2	2013-09-04 12:21	11K
	setlim_2__t68_setlim_2	2013-09-04 12:21	11K
	setlim_2__t69_setlim_2	2013-09-04 12:21	12K
	setlim_2__t70_setlim_2	2013-09-04 12:21	13K
	setlim_2__t71_setlim_2	2013-09-04 12:21	14K
	setlim_2__t72_setlim_2	2013-09-04 12:21	13K
	setlim_2__t73_setlim_2	2013-09-04 12:21	13K
	setlim_2__t74_setlim_2	2013-09-04 12:21	13K
	setlim_2__t75_setlim_2	2013-09-04 12:21	13K
	setlim_2__t76_setlim_2	2013-09-04 12:21	11K
	setlim_2__t77_setlim_2	2013-09-04 12:21	13K
	setlim_2__t78_setlim_2	2013-09-04 12:21	12K
	setlim_2__t79_setlim_2	2013-09-04 12:21	13K
	setlim_2__t80_setlim_2	2013-09-04 12:21	14K
	setlim_2__t81_setlim_2	2013-09-04 12:21	12K
	setlim_2__t82_setlim_2	2013-09-04 12:21	13K
	setlim_2__t83_setlim_2	2013-09-04 12:21	11K
	setlim_2__t84_setlim_2	2013-09-04 12:21	12K
	setlim_2__t85_setlim_2	2013-09-04 12:21	11K
	setlim_2__t86_setlim_2	2013-09-04 12:21	13K
	setlim_2__t87_setlim_2	2013-09-04 12:21	14K
	setlim_2__t88_setlim_2	2013-09-04 12:21	10K
	setlim_2__t89_setlim_2	2013-09-04 12:21	10K
	setlim_2__t90_setlim_2	2013-09-04 12:21	9.5K
	setlim_2__t91_setlim_2	2013-09-04 12:21	11K
	setlim_2__t92_setlim_2	2013-09-04 12:21	9.4K
	setlim_2__t93_setlim_2	2013-09-04 12:21	9.6K
	setlim_2__t94_setlim_2	2013-09-04 12:21	9.0K
	setlim_2__t95_setlim_2	2013-09-04 12:21	9.0K
	setlim_2__t96_setlim_2	2013-09-04 12:21	10K