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

	Name	Last modified	Size	Description
	Parent Directory		-
	hallmar1__t1_hallmar1	2013-09-04 12:32	26K
	hallmar1__t2_hallmar1	2013-09-04 12:32	24K
	hallmar1__t3_hallmar1	2013-09-04 12:32	24K
	hallmar1__t4_hallmar1	2013-09-04 12:32	23K
	hallmar1__t5_hallmar1	2013-09-04 12:32	23K
	hallmar1__t6_hallmar1	2013-09-04 12:32	25K
	hallmar1__t7_hallmar1	2013-09-04 12:32	23K
	hallmar1__t8_hallmar1	2013-09-04 12:32	26K
	hallmar1__t9_hallmar1	2013-09-04 12:32	25K
	hallmar1__t10_hallmar1	2013-09-04 12:32	26K
	hallmar1__t11_hallmar1	2013-09-04 12:32	28K
	hallmar1__t12_hallmar1	2013-09-04 12:32	25K
	hallmar1__t13_hallmar1	2013-09-04 12:32	25K
	hallmar1__t14_hallmar1	2013-09-04 12:32	26K
	hallmar1__t15_hallmar1	2013-09-04 12:32	29K
	hallmar1__t16_hallmar1	2013-09-04 12:32	27K
	hallmar1__t17_hallmar1	2013-09-04 12:32	35K
	hallmar1__t18_hallmar1	2013-09-04 12:32	32K
	hallmar1__t19_hallmar1	2013-09-04 12:32	24K
	hallmar1__t20_hallmar1	2013-09-04 12:32	25K
	hallmar1__t21_hallmar1	2013-09-04 12:32	23K
	hallmar1__t22_hallmar1	2013-09-04 12:32	23K
	hallmar1__t23_hallmar1	2013-09-04 12:32	24K
	hallmar1__t24_hallmar1	2013-09-04 12:32	28K
	hallmar1__t25_hallmar1	2013-09-04 12:32	23K
	hallmar1__t26_hallmar1	2013-09-04 12:32	23K
	hallmar1__t27_hallmar1	2013-09-04 12:32	26K
	hallmar1__t28_hallmar1	2013-09-04 12:32	23K
	hallmar1__t29_hallmar1	2013-09-04 12:32	47K
	hallmar1__t30_hallmar1	2013-09-04 12:32	51K
	hallmar1__t31_hallmar1	2013-09-04 12:32	38K
	hallmar1__t32_hallmar1	2013-09-04 12:32	27K