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

	Name	Last modified	Size	Description
	Parent Directory		-
	setfam_1__t1_setfam_1	2013-09-04 12:51	1.4K
	setfam_1__t2_setfam_1	2013-09-04 12:51	3.4K
	setfam_1__t3_setfam_1	2013-09-04 12:51	3.1K
	setfam_1__t4_setfam_1	2013-09-04 12:51	3.0K
	setfam_1__t5_setfam_1	2013-09-04 12:51	3.2K
	setfam_1__t6_setfam_1	2013-09-04 12:51	3.1K
	setfam_1__t7_setfam_1	2013-09-04 12:51	3.0K
	setfam_1__t8_setfam_1	2013-09-04 12:51	3.1K
	setfam_1__t9_setfam_1	2013-09-04 12:51	4.7K
	setfam_1__t10_setfam_1	2013-09-04 12:51	3.5K
	setfam_1__t11_setfam_1	2013-09-04 12:51	2.1K
	setfam_1__t12_setfam_1	2013-09-04 12:51	2.9K
	setfam_1__t13_setfam_1	2013-09-04 12:51	3.3K
	setfam_1__t14_setfam_1	2013-09-04 12:51	3.4K
	setfam_1__t15_setfam_1	2013-09-04 12:51	2.9K
	setfam_1__t16_setfam_1	2013-09-04 12:51	3.0K
	setfam_1__t17_setfam_1	2013-09-04 12:51	3.1K
	setfam_1__t18_setfam_1	2013-09-04 12:51	3.2K
	setfam_1__t19_setfam_1	2013-09-04 12:51	4.2K
	setfam_1__t20_setfam_1	2013-09-04 12:51	3.7K
	setfam_1__t21_setfam_1	2013-09-04 12:51	3.6K
	setfam_1__t22_setfam_1	2013-09-04 12:51	3.5K
	setfam_1__t23_setfam_1	2013-09-04 12:51	4.3K
	setfam_1__t24_setfam_1	2013-09-04 12:51	4.5K
	setfam_1__t25_setfam_1	2013-09-04 12:51	4.1K
	setfam_1__t26_setfam_1	2013-09-04 12:51	4.5K
	setfam_1__t27_setfam_1	2013-09-04 12:51	4.4K
	setfam_1__t28_setfam_1	2013-09-04 12:51	3.9K
	setfam_1__t29_setfam_1	2013-09-04 12:51	4.2K
	setfam_1__t30_setfam_1	2013-09-04 12:51	4.1K
	setfam_1__t31_setfam_1	2013-09-04 12:51	3.1K
	setfam_1__t32_setfam_1	2013-09-04 12:51	4.1K
	setfam_1__t33_setfam_1	2013-09-04 12:51	6.0K
	setfam_1__t34_setfam_1	2013-09-04 12:51	5.8K
	setfam_1__t35_setfam_1	2013-09-04 12:51	4.0K
	setfam_1__t36_setfam_1	2013-09-04 12:52	4.1K
	setfam_1__t37_setfam_1	2013-09-04 12:52	3.4K
	setfam_1__t38_setfam_1	2013-09-04 12:52	3.1K
	setfam_1__t39_setfam_1	2013-09-04 12:52	5.3K
	setfam_1__t40_setfam_1	2013-09-04 12:52	4.8K
	setfam_1__t41_setfam_1	2013-09-04 12:52	3.0K
	setfam_1__t42_setfam_1	2013-09-04 12:52	4.5K
	setfam_1__t43_setfam_1	2013-09-04 12:52	3.7K
	setfam_1__t44_setfam_1	2013-09-04 12:52	3.3K
	setfam_1__t45_setfam_1	2013-09-04 12:52	3.4K
	setfam_1__t46_setfam_1	2013-09-04 12:52	3.7K
	setfam_1__t47_setfam_1	2013-09-04 12:52	3.0K
	setfam_1__t48_setfam_1	2013-09-04 12:52	4.5K
	setfam_1__t49_setfam_1	2013-09-04 12:52	2.2K