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

	Name	Last modified	Size	Description
	Parent Directory		-
	lpspace2__l13_lpspace2	2013-09-04 12:53	26K
	lpspace2__l32_lpspace2	2013-09-04 12:53	68K
	lpspace2__l33_lpspace2	2013-09-04 12:53	51K
	lpspace2__l39_lpspace2	2013-09-04 12:53	70K
	lpspace2__l78_lpspace2	2013-09-04 12:53	118K
	lpspace2__l80_lpspace2	2013-09-04 12:53	109K
	lpspace2__l83_lpspace2	2013-09-04 12:53	71K
	lpspace2__l91_lpspace2	2013-09-04 12:53	51K
	lpspace2__l92_lpspace2	2013-09-04 12:53	44K
	lpspace2__l93_lpspace2	2013-09-04 12:53	85K
	lpspace2__l94_lpspace2	2013-09-04 12:53	57K
	lpspace2__l95_lpspace2	2013-09-04 12:53	51K
	lpspace2__t1_lpspace2	2013-09-04 12:53	37K
	lpspace2__t2_lpspace2	2013-09-04 12:53	37K
	lpspace2__t3_lpspace2	2013-09-04 12:53	14K
	lpspace2__t4_lpspace2	2013-09-04 12:53	13K
	lpspace2__t5_lpspace2	2013-09-04 12:53	16K
	lpspace2__t6_lpspace2	2013-09-04 12:53	28K
	lpspace2__t7_lpspace2	2013-09-04 12:53	45K
	lpspace2__t8_lpspace2	2013-09-04 12:53	22K
	lpspace2__t9_lpspace2	2013-09-04 12:53	31K
	lpspace2__t10_lpspace2	2013-09-04 12:53	56K
	lpspace2__t11_lpspace2	2013-09-04 12:53	75K
	lpspace2__t12_lpspace2	2013-09-04 12:53	26K
	lpspace2__t13_lpspace2	2013-09-04 12:53	30K
	lpspace2__t14_lpspace2	2013-09-04 12:53	29K
	lpspace2__t15_lpspace2	2013-09-04 12:53	29K
	lpspace2__t16_lpspace2	2013-09-04 12:53	22K
	lpspace2__t17_lpspace2	2013-09-04 12:53	17K
	lpspace2__t18_lpspace2	2013-09-04 12:53	37K
	lpspace2__t19_lpspace2	2013-09-04 12:53	31K
	lpspace2__t20_lpspace2	2013-09-04 12:53	26K
	lpspace2__t21_lpspace2	2013-09-04 12:53	41K
	lpspace2__t22_lpspace2	2013-09-04 12:53	49K
	lpspace2__t23_lpspace2	2013-09-04 12:53	59K
	lpspace2__t24_lpspace2	2013-09-04 12:53	67K
	lpspace2__t25_lpspace2	2013-09-04 12:53	86K
	lpspace2__t26_lpspace2	2013-09-04 12:53	58K
	lpspace2__t27_lpspace2	2013-09-04 12:53	62K
	lpspace2__t28_lpspace2	2013-09-04 12:53	44K
	lpspace2__t29_lpspace2	2013-09-04 12:53	68K
	lpspace2__t30_lpspace2	2013-09-04 12:53	61K
	lpspace2__t31_lpspace2	2013-09-04 12:53	67K
	lpspace2__t32_lpspace2	2013-09-04 12:53	55K
	lpspace2__t33_lpspace2	2013-09-04 12:53	65K
	lpspace2__t34_lpspace2	2013-09-04 12:53	62K
	lpspace2__t35_lpspace2	2013-09-04 12:53	44K
	lpspace2__t36_lpspace2	2013-09-04 12:53	46K
	lpspace2__t37_lpspace2	2013-09-04 12:53	91K
	lpspace2__t38_lpspace2	2013-09-04 12:53	45K
	lpspace2__t39_lpspace2	2013-09-04 12:53	47K
	lpspace2__t40_lpspace2	2013-09-04 12:53	47K
	lpspace2__t41_lpspace2	2013-09-04 12:53	47K
	lpspace2__t42_lpspace2	2013-09-04 12:53	47K
	lpspace2__t43_lpspace2	2013-09-04 12:53	48K
	lpspace2__t44_lpspace2	2013-09-04 12:53	54K
	lpspace2__t45_lpspace2	2013-09-04 12:53	55K
	lpspace2__t46_lpspace2	2013-09-04 12:53	52K
	lpspace2__t47_lpspace2	2013-09-04 12:53	54K
	lpspace2__t48_lpspace2	2013-09-04 12:53	72K
	lpspace2__t49_lpspace2	2013-09-04 12:53	53K
	lpspace2__t50_lpspace2	2013-09-04 12:53	55K
	lpspace2__t51_lpspace2	2013-09-04 12:53	54K
	lpspace2__t52_lpspace2	2013-09-04 12:53	52K
	lpspace2__t53_lpspace2	2013-09-04 12:53	75K
	lpspace2__t54_lpspace2	2013-09-04 12:53	77K
	lpspace2__t55_lpspace2	2013-09-04 12:53	74K
	lpspace2__t56_lpspace2	2013-09-04 12:53	52K
	lpspace2__t57_lpspace2	2013-09-04 12:53	73K
	lpspace2__t58_lpspace2	2013-09-04 12:53	36K
	lpspace2__t59_lpspace2	2013-09-04 12:53	113K
	lpspace2__t60_lpspace2	2013-09-04 12:53	138K
	lpspace2__t61_lpspace2	2013-09-04 12:53	87K
	lpspace2__t62_lpspace2	2013-09-04 12:53	71K
	lpspace2__t63_lpspace2	2013-09-04 12:53	99K
	lpspace2__t64_lpspace2	2013-09-04 12:53	46K
	lpspace2__t65_lpspace2	2013-09-04 12:53	57K
	lpspace2__t66_lpspace2	2013-09-04 12:53	55K
	lpspace2__t67_lpspace2	2013-09-04 12:53	32K
	lpspace2__t68_lpspace2	2013-09-04 12:53	99K
	lpspace2__t69_lpspace2	2013-09-04 12:53	28K
	lpspace2__t70_lpspace2	2013-09-04 12:53	229K
	lpspace2__t71_lpspace2	2013-09-04 12:53	62K
	lpspace2__t72_lpspace2	2013-09-04 12:53	69K
	lpspace2__t73_lpspace2	2013-09-04 12:53	59K
	lpspace2__t74_lpspace2	2013-09-04 12:53	67K
	lpspace2__t75_lpspace2	2013-09-04 12:53	66K
	lpspace2__t76_lpspace2	2013-09-04 12:53	72K
	lpspace2__t77_lpspace2	2013-09-04 12:53	40K