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

	Name	Last modified	Size	Description
	Parent Directory		-
	cantor_1__t1_cantor_1	2013-09-04 12:45	9.6K
	cantor_1__t2_cantor_1	2013-09-04 12:45	8.5K
	cantor_1__t3_cantor_1	2013-09-04 12:45	8.4K
	cantor_1__t4_cantor_1	2013-09-04 12:45	9.8K
	cantor_1__t5_cantor_1	2013-09-04 12:45	16K
	cantor_1__t6_cantor_1	2013-09-04 12:45	12K
	cantor_1__t7_cantor_1	2013-09-04 12:45	9.9K
	cantor_1__t8_cantor_1	2013-09-04 12:45	8.8K
	cantor_1__t9_cantor_1	2013-09-04 12:45	8.8K
	cantor_1__t10_cantor_1	2013-09-04 12:45	10K
	cantor_1__t11_cantor_1	2013-09-04 12:45	17K
	cantor_1__t12_cantor_1	2013-09-04 12:45	10K
	cantor_1__t13_cantor_1	2013-09-04 12:45	11K
	cantor_1__t14_cantor_1	2013-09-04 12:45	8.6K
	cantor_1__t15_cantor_1	2013-09-04 12:45	17K
	cantor_1__t16_cantor_1	2013-09-04 12:45	11K
	cantor_1__t17_cantor_1	2013-09-04 12:45	14K
	cantor_1__t18_cantor_1	2013-09-04 12:45	12K