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

	Name	Last modified	Size	Description
	Parent Directory		-
	hilbert1__l6_hilbert1	2013-09-04 12:56	12K
	hilbert1__l24_hilbert1	2013-09-04 12:56	8.8K
	hilbert1__l26_hilbert1	2013-09-04 12:56	17K
	hilbert1__l39_hilbert1	2013-09-04 12:56	15K
	hilbert1__l65_hilbert1	2013-09-04 12:56	16K
	hilbert1__l66_hilbert1	2013-09-04 12:56	17K
	hilbert1__l67_hilbert1	2013-09-04 12:56	16K
	hilbert1__l68_hilbert1	2013-09-04 12:56	16K
	hilbert1__l69_hilbert1	2013-09-04 12:56	17K
	hilbert1__l70_hilbert1	2013-09-04 12:56	16K
	hilbert1__l71_hilbert1	2013-09-04 12:56	17K
	hilbert1__l72_hilbert1	2013-09-04 12:56	16K
	hilbert1__l73_hilbert1	2013-09-04 12:56	16K
	hilbert1__l74_hilbert1	2013-09-04 12:56	16K
	hilbert1__l75_hilbert1	2013-09-04 12:56	17K
	hilbert1__l77_hilbert1	2013-09-04 12:56	16K
	hilbert1__l78_hilbert1	2013-09-04 12:56	17K
	hilbert1__l79_hilbert1	2013-09-04 12:56	16K
	hilbert1__l80_hilbert1	2013-09-04 12:56	16K
	hilbert1__l81_hilbert1	2013-09-04 12:56	17K
	hilbert1__t1_hilbert1	2013-09-04 12:56	16K
	hilbert1__t2_hilbert1	2013-09-04 12:56	16K
	hilbert1__t3_hilbert1	2013-09-04 12:56	16K
	hilbert1__t4_hilbert1	2013-09-04 12:56	16K
	hilbert1__t5_hilbert1	2013-09-04 12:56	16K
	hilbert1__t6_hilbert1	2013-09-04 12:56	16K
	hilbert1__t7_hilbert1	2013-09-04 12:56	16K
	hilbert1__t8_hilbert1	2013-09-04 12:56	8.7K
	hilbert1__t9_hilbert1	2013-09-04 12:56	8.6K
	hilbert1__t10_hilbert1	2013-09-04 12:56	8.8K
	hilbert1__t11_hilbert1	2013-09-04 12:56	8.5K
	hilbert1__t12_hilbert1	2013-09-04 12:56	8.9K
	hilbert1__t13_hilbert1	2013-09-04 12:56	8.9K
	hilbert1__t14_hilbert1	2013-09-04 12:56	16K
	hilbert1__t15_hilbert1	2013-09-04 12:56	16K
	hilbert1__t16_hilbert1	2013-09-04 12:56	15K
	hilbert1__t17_hilbert1	2013-09-04 12:56	15K
	hilbert1__t18_hilbert1	2013-09-04 12:56	15K
	hilbert1__t19_hilbert1	2013-09-04 12:56	16K
	hilbert1__t20_hilbert1	2013-09-04 12:56	16K
	hilbert1__t21_hilbert1	2013-09-04 12:56	15K
	hilbert1__t22_hilbert1	2013-09-04 12:56	16K
	hilbert1__t23_hilbert1	2013-09-04 12:56	16K
	hilbert1__t24_hilbert1	2013-09-04 12:56	16K
	hilbert1__t25_hilbert1	2013-09-04 12:56	16K
	hilbert1__t26_hilbert1	2013-09-04 12:56	17K
	hilbert1__t27_hilbert1	2013-09-04 12:56	16K
	hilbert1__t28_hilbert1	2013-09-04 12:56	16K
	hilbert1__t29_hilbert1	2013-09-04 12:56	16K
	hilbert1__t30_hilbert1	2013-09-04 12:56	16K
	hilbert1__t31_hilbert1	2013-09-04 12:56	16K
	hilbert1__t32_hilbert1	2013-09-04 12:56	15K
	hilbert1__t33_hilbert1	2013-09-04 12:56	17K
	hilbert1__t34_hilbert1	2013-09-04 12:56	17K
	hilbert1__t35_hilbert1	2013-09-04 12:56	17K
	hilbert1__t36_hilbert1	2013-09-04 12:56	16K
	hilbert1__t37_hilbert1	2013-09-04 12:56	17K
	hilbert1__t38_hilbert1	2013-09-04 12:56	16K
	hilbert1__t39_hilbert1	2013-09-04 12:56	16K
	hilbert1__t40_hilbert1	2013-09-04 12:56	17K
	hilbert1__t41_hilbert1	2013-09-04 12:56	16K
	hilbert1__t42_hilbert1	2013-09-04 12:56	17K
	hilbert1__t43_hilbert1	2013-09-04 12:56	16K
	hilbert1__t44_hilbert1	2013-09-04 12:56	16K
	hilbert1__t45_hilbert1	2013-09-04 12:56	17K
	hilbert1__t46_hilbert1	2013-09-04 12:56	17K
	hilbert1__t47_hilbert1	2013-09-04 12:56	17K
	hilbert1__t48_hilbert1	2013-09-04 12:56	17K
	hilbert1__t49_hilbert1	2013-09-04 12:56	16K
	hilbert1__t50_hilbert1	2013-09-04 12:56	16K