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

	Name	Last modified	Size	Description
	Parent Directory		-
	openlatt__l25_openlatt	2013-09-04 12:38	13K
	openlatt__t1_openlatt	2013-09-04 12:38	11K
	openlatt__t2_openlatt	2013-09-04 12:38	12K
	openlatt__t3_openlatt	2013-09-04 12:38	28K
	openlatt__t4_openlatt	2013-09-04 12:38	20K
	openlatt__t5_openlatt	2013-09-04 12:38	31K
	openlatt__t6_openlatt	2013-09-04 12:38	25K
	openlatt__t7_openlatt	2013-09-04 12:38	25K
	openlatt__t8_openlatt	2013-09-04 12:38	28K
	openlatt__t9_openlatt	2013-09-04 12:38	31K
	openlatt__t10_openlatt	2013-09-04 12:38	12K
	openlatt__t11_openlatt	2013-09-04 12:38	13K
	openlatt__t12_openlatt	2013-09-04 12:38	13K
	openlatt__t13_openlatt	2013-09-04 12:38	13K
	openlatt__t14_openlatt	2013-09-04 12:38	17K
	openlatt__t15_openlatt	2013-09-04 12:38	17K
	openlatt__t16_openlatt	2013-09-04 12:38	12K
	openlatt__t17_openlatt	2013-09-04 12:38	13K
	openlatt__t18_openlatt	2013-09-04 12:38	20K
	openlatt__t19_openlatt	2013-09-04 12:38	15K
	openlatt__t20_openlatt	2013-09-04 12:38	31K
	openlatt__t21_openlatt	2013-09-04 12:38	13K
	openlatt__t22_openlatt	2013-09-04 12:38	13K
	openlatt__t23_openlatt	2013-09-04 12:38	27K
	openlatt__t24_openlatt	2013-09-04 12:38	20K
	openlatt__t25_openlatt	2013-09-04 12:38	31K
	openlatt__t26_openlatt	2013-09-04 12:38	25K
	openlatt__t27_openlatt	2013-09-04 12:38	21K
	openlatt__t28_openlatt	2013-09-04 12:38	24K
	openlatt__t29_openlatt	2013-09-04 12:38	23K
	openlatt__t30_openlatt	2013-09-04 12:38	24K
	openlatt__t31_openlatt	2013-09-04 12:38	31K
	openlatt__t32_openlatt	2013-09-04 12:38	29K
	openlatt__t33_openlatt	2013-09-04 12:38	42K
	openlatt__t34_openlatt	2013-09-04 12:38	30K
	openlatt__t35_openlatt	2013-09-04 12:38	32K
	openlatt__t36_openlatt	2013-09-04 12:38	30K