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

	Name	Last modified	Size	Description
	Parent Directory		-
	hahnban1__l1_hahnban1	2013-09-04 12:52	21K
	hahnban1__t2_hahnban1	2013-09-04 12:52	23K
	hahnban1__t3_hahnban1	2013-09-04 12:52	98K
	hahnban1__t4_hahnban1	2013-09-04 12:52	38K
	hahnban1__t5_hahnban1	2013-09-04 12:52	109K
	hahnban1__t6_hahnban1	2013-09-04 12:52	45K
	hahnban1__t7_hahnban1	2013-09-04 12:52	62K
	hahnban1__t9_hahnban1	2013-09-04 12:52	42K
	hahnban1__t10_hahnban1	2013-09-04 12:52	32K
	hahnban1__t11_hahnban1	2013-09-04 12:52	38K
	hahnban1__t12_hahnban1	2013-09-04 12:52	19K
	hahnban1__t13_hahnban1	2013-09-04 12:52	19K
	hahnban1__t14_hahnban1	2013-09-04 12:52	16K
	hahnban1__t15_hahnban1	2013-09-04 12:52	22K
	hahnban1__t16_hahnban1	2013-09-04 12:52	24K
	hahnban1__t17_hahnban1	2013-09-04 12:52	22K
	hahnban1__t18_hahnban1	2013-09-04 12:52	22K
	hahnban1__t19_hahnban1	2013-09-04 12:52	19K
	hahnban1__t20_hahnban1	2013-09-04 12:52	20K
	hahnban1__t21_hahnban1	2013-09-04 12:52	49K
	hahnban1__t22_hahnban1	2013-09-04 12:52	49K
	hahnban1__t23_hahnban1	2013-09-04 12:52	35K
	hahnban1__t24_hahnban1	2013-09-04 12:52	61K
	hahnban1__t25_hahnban1	2013-09-04 12:52	82K
	hahnban1__t26_hahnban1	2013-09-04 12:52	64K
	hahnban1__t27_hahnban1	2013-09-04 12:52	134K
	hahnban1__t28_hahnban1	2013-09-04 12:52	153K
	hahnban1__t29_hahnban1	2013-09-04 12:52	52K