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

	Name	Last modified	Size	Description
	Parent Directory		-
	closure2__l35_closure2	2013-09-04 12:31	27K
	closure2__t1_closure2	2013-09-04 12:31	15K
	closure2__t2_closure2	2013-09-04 12:31	18K
	closure2__t3_closure2	2013-09-04 12:31	12K
	closure2__t4_closure2	2013-09-04 12:31	12K
	closure2__t5_closure2	2013-09-04 12:31	11K
	closure2__t6_closure2	2013-09-04 12:31	13K
	closure2__t7_closure2	2013-09-04 12:31	13K
	closure2__t8_closure2	2013-09-04 12:31	14K
	closure2__t9_closure2	2013-09-04 12:31	15K
	closure2__t10_closure2	2013-09-04 12:31	15K
	closure2__t11_closure2	2013-09-04 12:31	14K
	closure2__t12_closure2	2013-09-04 12:31	16K
	closure2__t13_closure2	2013-09-04 12:31	16K
	closure2__t14_closure2	2013-09-04 12:31	23K
	closure2__t15_closure2	2013-09-04 12:31	11K
	closure2__t16_closure2	2013-09-04 12:31	12K
	closure2__t17_closure2	2013-09-04 12:31	11K
	closure2__t18_closure2	2013-09-04 12:31	20K
	closure2__t19_closure2	2013-09-04 12:31	11K
	closure2__t20_closure2	2013-09-04 12:31	21K
	closure2__t21_closure2	2013-09-04 12:31	16K
	closure2__t22_closure2	2013-09-04 12:31	19K
	closure2__t23_closure2	2013-09-04 12:31	21K
	closure2__t24_closure2	2013-09-04 12:31	26K
	closure2__t25_closure2	2013-09-04 12:31	30K
	closure2__t26_closure2	2013-09-04 12:31	21K
	closure2__t27_closure2	2013-09-04 12:31	22K
	closure2__t28_closure2	2013-09-04 12:31	22K
	closure2__t29_closure2	2013-09-04 12:31	23K
	closure2__t30_closure2	2013-09-04 12:31	20K
	closure2__t31_closure2	2013-09-04 12:31	20K
	closure2__t32_closure2	2013-09-04 12:31	22K
	closure2__t33_closure2	2013-09-04 12:31	24K
	closure2__t34_closure2	2013-09-04 12:31	25K
	closure2__t35_closure2	2013-09-04 12:31	24K
	closure2__t36_closure2	2013-09-04 12:31	26K
	closure2__t37_closure2	2013-09-04 12:31	26K
	closure2__t38_closure2	2013-09-04 12:31	27K
	closure2__t39_closure2	2013-09-04 12:31	28K
	closure2__t40_closure2	2013-09-04 12:31	31K
	closure2__t41_closure2	2013-09-04 12:31	44K
	closure2__t42_closure2	2013-09-04 12:31	40K