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

	Name	Last modified	Size	Description
	Parent Directory		-
	ltlaxio1__l1_ltlaxio1	2013-09-04 12:05	15K
	ltlaxio1__t1_ltlaxio1	2013-09-04 12:05	29K
	ltlaxio1__t2_ltlaxio1	2013-09-04 12:05	29K
	ltlaxio1__t3_ltlaxio1	2013-09-04 12:05	29K
	ltlaxio1__t4_ltlaxio1	2013-09-04 12:05	10K
	ltlaxio1__t5_ltlaxio1	2013-09-04 12:05	35K
	ltlaxio1__t6_ltlaxio1	2013-09-04 12:05	28K
	ltlaxio1__t7_ltlaxio1	2013-09-04 12:05	44K
	ltlaxio1__t8_ltlaxio1	2013-09-04 12:05	19K
	ltlaxio1__t9_ltlaxio1	2013-09-04 12:05	29K
	ltlaxio1__t10_ltlaxio1	2013-09-04 12:05	32K
	ltlaxio1__t11_ltlaxio1	2013-09-04 12:05	22K
	ltlaxio1__t12_ltlaxio1	2013-09-04 12:05	31K
	ltlaxio1__t13_ltlaxio1	2013-09-04 12:05	26K
	ltlaxio1__t14_ltlaxio1	2013-09-04 12:05	36K
	ltlaxio1__t15_ltlaxio1	2013-09-04 12:05	36K
	ltlaxio1__t16_ltlaxio1	2013-09-04 12:05	36K
	ltlaxio1__t17_ltlaxio1	2013-09-04 12:05	36K
	ltlaxio1__t18_ltlaxio1	2013-09-04 12:05	38K
	ltlaxio1__t19_ltlaxio1	2013-09-04 12:05	48K
	ltlaxio1__t20_ltlaxio1	2013-09-04 12:05	48K
	ltlaxio1__t21_ltlaxio1	2013-09-04 12:05	48K
	ltlaxio1__t22_ltlaxio1	2013-09-04 12:05	14K
	ltlaxio1__t23_ltlaxio1	2013-09-04 12:05	12K
	ltlaxio1__t24_ltlaxio1	2013-09-04 12:05	35K
	ltlaxio1__t25_ltlaxio1	2013-09-04 12:05	19K
	ltlaxio1__t26_ltlaxio1	2013-09-04 12:05	21K
	ltlaxio1__t27_ltlaxio1	2013-09-04 12:05	48K
	ltlaxio1__t28_ltlaxio1	2013-09-04 12:05	40K
	ltlaxio1__t29_ltlaxio1	2013-09-04 12:05	21K
	ltlaxio1__t30_ltlaxio1	2013-09-04 12:05	42K
	ltlaxio1__t31_ltlaxio1	2013-09-04 12:05	37K
	ltlaxio1__t32_ltlaxio1	2013-09-04 12:05	47K
	ltlaxio1__t33_ltlaxio1	2013-09-04 12:05	18K
	ltlaxio1__t34_ltlaxio1	2013-09-04 12:05	38K
	ltlaxio1__t35_ltlaxio1	2013-09-04 12:05	66K
	ltlaxio1__t36_ltlaxio1	2013-09-04 12:05	15K
	ltlaxio1__t37_ltlaxio1	2013-09-04 12:05	24K
	ltlaxio1__t38_ltlaxio1	2013-09-04 12:05	19K
	ltlaxio1__t39_ltlaxio1	2013-09-04 12:05	37K
	ltlaxio1__t40_ltlaxio1	2013-09-04 12:05	36K
	ltlaxio1__t41_ltlaxio1	2013-09-04 12:05	24K
	ltlaxio1__t42_ltlaxio1	2013-09-04 12:05	18K
	ltlaxio1__t43_ltlaxio1	2013-09-04 12:05	28K
	ltlaxio1__t44_ltlaxio1	2013-09-04 12:05	37K
	ltlaxio1__t45_ltlaxio1	2013-09-04 12:05	31K
	ltlaxio1__t46_ltlaxio1	2013-09-04 12:05	40K
	ltlaxio1__t47_ltlaxio1	2013-09-04 12:05	124K
	ltlaxio1__t48_ltlaxio1	2013-09-04 12:05	156K
	ltlaxio1__t49_ltlaxio1	2013-09-04 12:05	149K
	ltlaxio1__t50_ltlaxio1	2013-09-04 12:05	68K
	ltlaxio1__t51_ltlaxio1	2013-09-04 12:05	39K
	ltlaxio1__t52_ltlaxio1	2013-09-04 12:05	39K
	ltlaxio1__t53_ltlaxio1	2013-09-04 12:05	13K
	ltlaxio1__t54_ltlaxio1	2013-09-04 12:05	12K
	ltlaxio1__t55_ltlaxio1	2013-09-04 12:05	13K
	ltlaxio1__t56_ltlaxio1	2013-09-04 12:05	18K
	ltlaxio1__t57_ltlaxio1	2013-09-04 12:05	27K
	ltlaxio1__t58_ltlaxio1	2013-09-04 12:05	11K
	ltlaxio1__t59_ltlaxio1	2013-09-04 12:05	13K
	ltlaxio1__t60_ltlaxio1	2013-09-04 12:05	13K