Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/hilbert3

	Name	Last modified	Size	Description
	Parent Directory		-
	hilbert3__t1_hilbert3	2013-09-04 12:46	12K
	hilbert3__t2_hilbert3	2013-09-04 12:46	12K
	hilbert3__t3_hilbert3	2013-09-04 12:46	19K
	hilbert3__t4_hilbert3	2013-09-04 12:46	7.7K
	hilbert3__t5_hilbert3	2013-09-04 12:46	17K
	hilbert3__t6_hilbert3	2013-09-04 12:46	22K
	hilbert3__t7_hilbert3	2013-09-04 12:46	5.6K
	hilbert3__t8_hilbert3	2013-09-04 12:46	29K
	hilbert3__t9_hilbert3	2013-09-04 12:46	25K
	hilbert3__t10_hilbert3	2013-09-04 12:46	667
	hilbert3__t11_hilbert3	2013-09-04 12:46	9.7K
	hilbert3__t12_hilbert3	2013-09-04 12:46	23K
	hilbert3__t13_hilbert3	2013-09-04 12:46	14K
	hilbert3__t14_hilbert3	2013-09-04 12:46	14K
	hilbert3__t15_hilbert3	2013-09-04 12:46	23K
	hilbert3__t16_hilbert3	2013-09-04 12:46	23K
	hilbert3__t17_hilbert3	2013-09-04 12:46	23K
	hilbert3__t18_hilbert3	2013-09-04 12:46	7.1K
	hilbert3__t19_hilbert3	2013-09-04 12:46	9.1K
	hilbert3__t20_hilbert3	2013-09-04 12:46	21K
	hilbert3__t21_hilbert3	2013-09-04 12:46	21K
	hilbert3__t22_hilbert3	2013-09-04 12:46	20K
	hilbert3__t23_hilbert3	2013-09-04 12:46	25K
	hilbert3__t24_hilbert3	2013-09-04 12:46	20K
	hilbert3__t25_hilbert3	2013-09-04 12:46	18K
	hilbert3__t26_hilbert3	2013-09-04 12:46	31K
	hilbert3__t27_hilbert3	2013-09-04 12:46	29K
	hilbert3__t28_hilbert3	2013-09-04 12:46	34K
	hilbert3__t29_hilbert3	2013-09-04 12:46	23K
	hilbert3__t30_hilbert3	2013-09-04 12:46	23K
	hilbert3__t31_hilbert3	2013-09-04 12:46	23K
	hilbert3__t32_hilbert3	2013-09-04 12:46	24K
	hilbert3__t33_hilbert3	2013-09-04 12:46	36K
	hilbert3__t34_hilbert3	2013-09-04 12:46	36K
	hilbert3__t35_hilbert3	2013-09-04 12:46	36K
	hilbert3__t36_hilbert3	2013-09-04 12:46	37K
	hilbert3__t37_hilbert3	2013-09-04 12:46	38K
	hilbert3__t38_hilbert3	2013-09-04 12:46	38K
	hilbert3__t39_hilbert3	2013-09-04 12:46	38K
	hilbert3__t40_hilbert3	2013-09-04 12:46	39K
	hilbert3__t41_hilbert3	2013-09-04 12:46	33K
	hilbert3__t42_hilbert3	2013-09-04 12:46	23K
	hilbert3__t43_hilbert3	2013-09-04 12:46	33K
	hilbert3__t44_hilbert3	2013-09-04 12:46	30K
	hilbert3__t45_hilbert3	2013-09-04 12:46	73K