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

	Name	Last modified	Size	Description
	Parent Directory		-
	lpspace1__l26_lpspace1	2013-09-04 12:51	42K
	lpspace1__l31_lpspace1	2013-09-04 12:51	37K
	lpspace1__l33_lpspace1	2013-09-04 12:51	59K
	lpspace1__l34_lpspace1	2013-09-04 12:51	33K
	lpspace1__l37_lpspace1	2013-09-04 12:51	57K
	lpspace1__l50_lpspace1	2013-09-04 12:51	57K
	lpspace1__l82_lpspace1	2013-09-04 12:51	97K
	lpspace1__t1_lpspace1	2013-09-04 12:51	29K
	lpspace1__t2_lpspace1	2013-09-04 12:51	41K
	lpspace1__t3_lpspace1	2013-09-04 12:51	32K
	lpspace1__t4_lpspace1	2013-09-04 12:51	34K
	lpspace1__t5_lpspace1	2013-09-04 12:51	33K
	lpspace1__t6_lpspace1	2013-09-04 12:51	30K
	lpspace1__t7_lpspace1	2013-09-04 12:51	31K
	lpspace1__t8_lpspace1	2013-09-04 12:51	21K
	lpspace1__t9_lpspace1	2013-09-04 12:51	28K
	lpspace1__t10_lpspace1	2013-09-04 12:51	22K
	lpspace1__t11_lpspace1	2013-09-04 12:51	22K
	lpspace1__t12_lpspace1	2013-09-04 12:51	29K
	lpspace1__t13_lpspace1	2013-09-04 12:51	30K
	lpspace1__t14_lpspace1	2013-09-04 12:51	35K
	lpspace1__t15_lpspace1	2013-09-04 12:51	32K
	lpspace1__t16_lpspace1	2013-09-04 12:51	43K
	lpspace1__t17_lpspace1	2013-09-04 12:51	25K
	lpspace1__t18_lpspace1	2013-09-04 12:51	26K
	lpspace1__t19_lpspace1	2013-09-04 12:51	42K
	lpspace1__t20_lpspace1	2013-09-04 12:51	42K
	lpspace1__t21_lpspace1	2013-09-04 12:51	39K
	lpspace1__t22_lpspace1	2013-09-04 12:51	47K
	lpspace1__t23_lpspace1	2013-09-04 12:51	50K
	lpspace1__t24_lpspace1	2013-09-04 12:51	59K
	lpspace1__t25_lpspace1	2013-09-04 12:51	58K
	lpspace1__t26_lpspace1	2013-09-04 12:51	53K
	lpspace1__t27_lpspace1	2013-09-04 12:51	56K
	lpspace1__t28_lpspace1	2013-09-04 12:51	28K
	lpspace1__t29_lpspace1	2013-09-04 12:51	28K
	lpspace1__t30_lpspace1	2013-09-04 12:51	33K
	lpspace1__t31_lpspace1	2013-09-04 12:51	35K
	lpspace1__t32_lpspace1	2013-09-04 12:51	29K
	lpspace1__t33_lpspace1	2013-09-04 12:51	39K
	lpspace1__t34_lpspace1	2013-09-04 12:51	48K
	lpspace1__t35_lpspace1	2013-09-04 12:51	56K
	lpspace1__t36_lpspace1	2013-09-04 12:51	53K
	lpspace1__t37_lpspace1	2013-09-04 12:51	41K
	lpspace1__t38_lpspace1	2013-09-04 12:51	41K
	lpspace1__t39_lpspace1	2013-09-04 12:51	43K
	lpspace1__t40_lpspace1	2013-09-04 12:51	42K
	lpspace1__t41_lpspace1	2013-09-04 12:51	44K
	lpspace1__t42_lpspace1	2013-09-04 12:51	43K
	lpspace1__t43_lpspace1	2013-09-04 12:51	67K
	lpspace1__t44_lpspace1	2013-09-04 12:51	40K
	lpspace1__t45_lpspace1	2013-09-04 12:51	61K
	lpspace1__t46_lpspace1	2013-09-04 12:51	50K
	lpspace1__t47_lpspace1	2013-09-04 12:51	64K
	lpspace1__t48_lpspace1	2013-09-04 12:51	57K
	lpspace1__t49_lpspace1	2013-09-04 12:51	71K
	lpspace1__t50_lpspace1	2013-09-04 12:51	70K
	lpspace1__t51_lpspace1	2013-09-04 12:51	66K
	lpspace1__t52_lpspace1	2013-09-04 12:51	25K
	lpspace1__t53_lpspace1	2013-09-04 12:51	99K
	lpspace1__t54_lpspace1	2013-09-04 12:51	41K
	lpspace1__t55_lpspace1	2013-09-04 12:51	64K