Index of /~mptp/1147/MPTP2/problems_small_consist/domain_1

	Name	Last modified	Size	Description
	Parent Directory		-
	domain_1__t1_domain_1	2013-09-04 12:48	2.9K
	domain_1__t2_domain_1	2013-09-04 12:48	3.1K
	domain_1__t3_domain_1	2013-09-04 12:48	4.2K
	domain_1__t4_domain_1	2013-09-04 12:48	4.4K
	domain_1__t5_domain_1	2013-09-04 12:48	4.0K
	domain_1__t6_domain_1	2013-09-04 12:48	6.6K
	domain_1__t7_domain_1	2013-09-04 12:48	6.6K
	domain_1__t8_domain_1	2013-09-04 12:48	6.6K
	domain_1__t9_domain_1	2013-09-04 12:48	6.3K
	domain_1__t10_domain_1	2013-09-04 12:48	6.0K
	domain_1__t11_domain_1	2013-09-04 12:48	6.2K
	domain_1__t12_domain_1	2013-09-04 12:48	4.7K
	domain_1__t13_domain_1	2013-09-04 12:48	8.5K
	domain_1__t14_domain_1	2013-09-04 12:48	8.5K
	domain_1__t15_domain_1	2013-09-04 12:48	8.5K
	domain_1__t16_domain_1	2013-09-04 12:48	8.5K
	domain_1__t17_domain_1	2013-09-04 12:48	8.2K
	domain_1__t18_domain_1	2013-09-04 12:48	3.9K
	domain_1__t19_domain_1	2013-09-04 12:48	6.9K
	domain_1__t20_domain_1	2013-09-04 12:48	8.4K
	domain_1__t21_domain_1	2013-09-04 12:48	10K
	domain_1__t22_domain_1	2013-09-04 12:48	3.9K
	domain_1__t23_domain_1	2013-09-04 12:48	7.7K
	domain_1__t24_domain_1	2013-09-04 12:48	10K
	domain_1__t25_domain_1	2013-09-04 12:48	12K
	domain_1__t26_domain_1	2013-09-04 12:48	4.0K
	domain_1__t27_domain_1	2013-09-04 12:48	4.9K
	domain_1__t28_domain_1	2013-09-04 12:48	5.1K
	domain_1__t29_domain_1	2013-09-04 12:48	5.4K
	domain_1__t30_domain_1	2013-09-04 12:48	4.7K
	domain_1__t31_domain_1	2013-09-04 12:48	6.0K
	domain_1__t32_domain_1	2013-09-04 12:48	7.3K
	domain_1__t33_domain_1	2013-09-04 12:48	7.1K
	domain_1__t34_domain_1	2013-09-04 12:48	7.1K