Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/closure1

	Name	Last modified	Size	Description
	Parent Directory		-
	closure1__l3_closure1	2017-03-01 15:23	14K
	closure1__l29_closure1	2017-03-01 15:23	21K
	closure1__t1_closure1	2017-03-01 15:23	7.0K
	closure1__t2_closure1	2017-03-01 15:22	7.2K
	closure1__t3_closure1	2017-03-01 15:22	14K
	closure1__t4_closure1	2017-03-01 15:22	14K
	closure1__t5_closure1	2017-03-01 15:22	12K
	closure1__t6_closure1	2017-03-01 15:22	19K
	closure1__t7_closure1	2017-03-01 15:22	19K
	closure1__t8_closure1	2017-03-01 15:22	15K
	closure1__t9_closure1	2017-03-01 15:22	3.3K
	closure1__t10_closure1	2017-03-01 15:22	3.9K
	closure1__t11_closure1	2017-03-01 15:22	23K
	closure1__t12_closure1	2017-03-01 15:22	5.7K
	closure1__t13_closure1	2017-03-01 15:22	5.6K
	closure1__t14_closure1	2017-03-01 15:22	5.7K
	closure1__t15_closure1	2017-03-01 15:22	7.1K
	closure1__t16_closure1	2017-03-01 15:22	5.6K
	closure1__t17_closure1	2017-03-01 15:22	5.6K
	closure1__t18_closure1	2017-03-01 15:22	6.8K
	closure1__t19_closure1	2017-03-01 15:22	7.5K
	closure1__t20_closure1	2017-03-01 15:22	7.4K
	closure1__t21_closure1	2017-03-01 15:22	7.4K
	closure1__t22_closure1	2017-03-01 15:22	7.4K
	closure1__t23_closure1	2017-03-01 15:22	8.2K
	closure1__t24_closure1	2017-03-01 15:23	23K
	closure1__t25_closure1	2017-03-01 15:23	23K
	closure1__t26_closure1	2017-03-01 15:23	23K
	closure1__t27_closure1	2017-03-01 15:23	25K
	closure1__t28_closure1	2017-03-01 15:23	17K
	closure1__t29_closure1	2017-03-01 15:23	16K
	closure1__t30_closure1	2017-03-01 15:23	25K
	closure1__t31_closure1	2017-03-01 15:23	14K
	closure1__t32_closure1	2017-03-01 15:23	21K
	closure1__t33_closure1	2017-03-01 15:23	25K
	closure1__t34_closure1	2017-03-01 15:23	6.3K
	closure1__t35_closure1	2017-03-01 15:23	6.2K
	closure1__t36_closure1	2017-03-01 15:23	16K
	closure1__t37_closure1	2017-03-01 15:23	7.2K
	closure1__t38_closure1	2017-03-01 15:22	7.9K
	closure1__t39_closure1	2017-03-01 15:23	28K
	closure1__t40_closure1	2017-03-01 15:23	31K