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

	Name	Last modified	Size	Description
	Parent Directory		-
	rlvect_1__l12_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__l16_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__l40_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__l53_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__l54_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__l59_rlvect_1	2013-09-04 12:56	33K
	rlvect_1__t1_rlvect_1	2013-09-04 12:56	17K
	rlvect_1__t2_rlvect_1	2013-09-04 12:56	21K
	rlvect_1__t3_rlvect_1	2013-09-04 12:56	5.5K
	rlvect_1__t4_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t5_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t6_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t7_rlvect_1	2013-09-04 12:56	21K
	rlvect_1__t8_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t9_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t10_rlvect_1	2013-09-04 12:56	27K
	rlvect_1__t11_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t12_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t13_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t14_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t15_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t16_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t17_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t18_rlvect_1	2013-09-04 12:56	18K
	rlvect_1__t19_rlvect_1	2013-09-04 12:56	29K
	rlvect_1__t20_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t21_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t22_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t23_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t24_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t25_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t26_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t27_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t28_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t29_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t30_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t31_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t32_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t33_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t34_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t35_rlvect_1	2013-09-04 12:56	29K
	rlvect_1__t36_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t37_rlvect_1	2013-09-04 12:56	33K
	rlvect_1__t38_rlvect_1	2013-09-04 12:56	55K
	rlvect_1__t39_rlvect_1	2013-09-04 12:56	57K
	rlvect_1__t40_rlvect_1	2013-09-04 12:56	56K
	rlvect_1__t41_rlvect_1	2013-09-04 12:56	61K
	rlvect_1__t42_rlvect_1	2013-09-04 12:56	67K
	rlvect_1__t43_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t44_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t45_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t46_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t47_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t48_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t49_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t50_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t51_rlvect_1	2013-09-04 12:56	22K
	rlvect_1__t52_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t53_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t54_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t55_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t57_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t58_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t59_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t60_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t61_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t62_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t63_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t64_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t65_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t66_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t67_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t68_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t69_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t70_rlvect_1	2013-09-04 12:56	23K
	rlvect_1__t72_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t73_rlvect_1	2013-09-04 12:56	25K
	rlvect_1__t74_rlvect_1	2013-09-04 12:56	30K
	rlvect_1__t75_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t76_rlvect_1	2013-09-04 12:56	29K
	rlvect_1__t77_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t78_rlvect_1	2013-09-04 12:56	26K
	rlvect_1__t79_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t80_rlvect_1	2013-09-04 12:56	24K
	rlvect_1__t81_rlvect_1	2013-09-04 12:56	27K
	rlvect_1__t82_rlvect_1	2013-09-04 12:56	27K
	rlvect_1__t83_rlvect_1	2013-09-04 12:56	27K
	rlvect_1__t84_rlvect_1	2013-09-04 12:56	27K
	rlvect_1__t85_rlvect_1	2013-09-04 12:56	27K