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

	Name	Last modified	Size	Description
	Parent Directory		-
	autgroup__l1_autgroup	2013-09-04 12:35	21K
	autgroup__l2_autgroup	2013-09-04 12:35	24K
	autgroup__l8_autgroup	2013-09-04 12:35	16K
	autgroup__t1_autgroup	2013-09-04 12:35	16K
	autgroup__t2_autgroup	2013-09-04 12:35	12K
	autgroup__t3_autgroup	2013-09-04 12:35	17K
	autgroup__t4_autgroup	2013-09-04 12:35	14K
	autgroup__t5_autgroup	2013-09-04 12:35	15K
	autgroup__t6_autgroup	2013-09-04 12:35	15K
	autgroup__t7_autgroup	2013-09-04 12:35	18K
	autgroup__t8_autgroup	2013-09-04 12:35	18K
	autgroup__t9_autgroup	2013-09-04 12:35	24K
	autgroup__t10_autgroup	2013-09-04 12:35	27K
	autgroup__t11_autgroup	2013-09-04 12:35	12K
	autgroup__t12_autgroup	2013-09-04 12:35	23K
	autgroup__t13_autgroup	2013-09-04 12:35	12K
	autgroup__t14_autgroup	2013-09-04 12:35	17K
	autgroup__t15_autgroup	2013-09-04 12:35	18K
	autgroup__t16_autgroup	2013-09-04 12:35	24K
	autgroup__t17_autgroup	2013-09-04 12:35	19K
	autgroup__t18_autgroup	2013-09-04 12:35	21K
	autgroup__t19_autgroup	2013-09-04 12:35	15K
	autgroup__t20_autgroup	2013-09-04 12:35	17K
	autgroup__t21_autgroup	2013-09-04 12:35	20K
	autgroup__t22_autgroup	2013-09-04 12:35	20K
	autgroup__t23_autgroup	2013-09-04 12:35	16K
	autgroup__t24_autgroup	2013-09-04 12:35	21K
	autgroup__t25_autgroup	2013-09-04 12:35	21K
	autgroup__t26_autgroup	2013-09-04 12:35	24K
	autgroup__t27_autgroup	2013-09-04 12:35	17K
	autgroup__t28_autgroup	2013-09-04 12:35	17K
	autgroup__t29_autgroup	2013-09-04 12:35	41K
	autgroup__t30_autgroup	2013-09-04 12:35	23K