Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/lexbfs

	Name	Last modified	Size	Description
	Parent Directory		-
	lexbfs__l1_lexbfs	2013-09-04 12:43	52K
	lexbfs__l2_lexbfs	2013-09-04 12:43	40K
	lexbfs__l4_lexbfs	2013-09-04 12:43	37K
	lexbfs__l15_lexbfs	2013-09-04 12:43	59K
	lexbfs__l16_lexbfs	2013-09-04 12:43	72K
	lexbfs__l17_lexbfs	2013-09-04 12:43	65K
	lexbfs__l52_lexbfs	2013-09-04 12:43	52K
	lexbfs__t1_lexbfs	2013-09-04 12:43	79K
	lexbfs__t2_lexbfs	2013-09-04 12:43	39K
	lexbfs__t3_lexbfs	2013-09-04 12:43	40K
	lexbfs__t4_lexbfs	2013-09-04 12:43	37K
	lexbfs__t5_lexbfs	2013-09-04 12:43	51K
	lexbfs__t6_lexbfs	2013-09-04 12:43	36K
	lexbfs__t7_lexbfs	2013-09-04 12:43	45K
	lexbfs__t8_lexbfs	2013-09-04 12:43	37K
	lexbfs__t9_lexbfs	2013-09-04 12:43	48K
	lexbfs__t10_lexbfs	2013-09-04 12:43	36K
	lexbfs__t11_lexbfs	2013-09-04 12:43	62K
	lexbfs__t12_lexbfs	2013-09-04 12:43	59K
	lexbfs__t13_lexbfs	2013-09-04 12:43	65K
	lexbfs__t14_lexbfs	2013-09-04 12:43	76K
	lexbfs__t15_lexbfs	2013-09-04 12:43	57K
	lexbfs__t16_lexbfs	2013-09-04 12:43	51K
	lexbfs__t17_lexbfs	2013-09-04 12:43	76K
	lexbfs__t18_lexbfs	2013-09-04 12:43	66K
	lexbfs__t19_lexbfs	2013-09-04 12:43	47K
	lexbfs__t20_lexbfs	2013-09-04 12:43	86K
	lexbfs__t21_lexbfs	2013-09-04 12:43	55K
	lexbfs__t22_lexbfs	2013-09-04 12:43	77K
	lexbfs__t23_lexbfs	2013-09-04 12:43	79K
	lexbfs__t24_lexbfs	2013-09-04 12:43	76K
	lexbfs__t25_lexbfs	2013-09-04 12:43	66K
	lexbfs__t26_lexbfs	2013-09-04 12:43	66K
	lexbfs__t27_lexbfs	2013-09-04 12:43	68K
	lexbfs__t28_lexbfs	2013-09-04 12:43	52K
	lexbfs__t29_lexbfs	2013-09-04 12:43	73K
	lexbfs__t30_lexbfs	2013-09-04 12:43	68K
	lexbfs__t31_lexbfs	2013-09-04 12:43	70K
	lexbfs__t32_lexbfs	2013-09-04 12:43	73K
	lexbfs__t33_lexbfs	2013-09-04 12:43	81K
	lexbfs__t34_lexbfs	2013-09-04 12:43	45K
	lexbfs__t35_lexbfs	2013-09-04 12:43	45K
	lexbfs__t36_lexbfs	2013-09-04 12:43	49K
	lexbfs__t37_lexbfs	2013-09-04 12:43	72K
	lexbfs__t38_lexbfs	2013-09-04 12:43	47K
	lexbfs__t39_lexbfs	2013-09-04 12:43	60K
	lexbfs__t40_lexbfs	2013-09-04 12:43	47K
	lexbfs__t41_lexbfs	2013-09-04 12:43	73K
	lexbfs__t42_lexbfs	2013-09-04 12:43	79K
	lexbfs__t43_lexbfs	2013-09-04 12:43	80K
	lexbfs__t44_lexbfs	2013-09-04 12:43	80K
	lexbfs__t45_lexbfs	2013-09-04 12:43	63K
	lexbfs__t46_lexbfs	2013-09-04 12:43	88K
	lexbfs__t47_lexbfs	2013-09-04 12:43	54K
	lexbfs__t48_lexbfs	2013-09-04 12:43	93K
	lexbfs__t49_lexbfs	2013-09-04 12:43	49K
	lexbfs__t50_lexbfs	2013-09-04 12:43	63K
	lexbfs__t51_lexbfs	2013-09-04 12:43	81K
	lexbfs__t52_lexbfs	2013-09-04 12:43	92K
	lexbfs__t53_lexbfs	2013-09-04 12:43	107K
	lexbfs__t54_lexbfs	2013-09-04 12:43	619K
	lexbfs__t55_lexbfs	2013-09-04 12:43	53K
	lexbfs__t56_lexbfs	2013-09-04 12:43	51K
	lexbfs__t57_lexbfs	2013-09-04 12:43	53K
	lexbfs__t58_lexbfs	2013-09-04 12:43	66K
	lexbfs__t59_lexbfs	2013-09-04 12:43	62K
	lexbfs__t60_lexbfs	2013-09-04 12:43	54K
	lexbfs__t61_lexbfs	2013-09-04 12:43	55K
	lexbfs__t62_lexbfs	2013-09-04 12:43	55K
	lexbfs__t63_lexbfs	2013-09-04 12:43	54K
	lexbfs__t64_lexbfs	2013-09-04 12:43	70K
	lexbfs__t65_lexbfs	2013-09-04 12:43	71K
	lexbfs__t66_lexbfs	2013-09-04 12:43	69K
	lexbfs__t67_lexbfs	2013-09-04 12:43	44K
	lexbfs__t68_lexbfs	2013-09-04 12:43	44K
	lexbfs__t69_lexbfs	2013-09-04 12:43	48K
	lexbfs__t70_lexbfs	2013-09-04 12:43	70K
	lexbfs__t71_lexbfs	2013-09-04 12:43	46K
	lexbfs__t72_lexbfs	2013-09-04 12:43	59K
	lexbfs__t73_lexbfs	2013-09-04 12:43	70K
	lexbfs__t74_lexbfs	2013-09-04 12:43	71K
	lexbfs__t75_lexbfs	2013-09-04 12:43	82K
	lexbfs__t76_lexbfs	2013-09-04 12:43	84K
	lexbfs__t77_lexbfs	2013-09-04 12:43	106K
	lexbfs__t78_lexbfs	2013-09-04 12:43	50K
	lexbfs__t79_lexbfs	2013-09-04 12:43	328K