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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan1h__l6_jordan1h	2013-09-04 12:08	32K
	jordan1h__l7_jordan1h	2013-09-04 12:08	32K
	jordan1h__l8_jordan1h	2013-09-04 12:08	33K
	jordan1h__l9_jordan1h	2013-09-04 12:08	32K
	jordan1h__t1_jordan1h	2013-09-04 12:08	105K
	jordan1h__t2_jordan1h	2013-09-04 12:08	64K
	jordan1h__t3_jordan1h	2013-09-04 12:08	59K
	jordan1h__t4_jordan1h	2013-09-04 12:08	32K
	jordan1h__t5_jordan1h	2013-09-04 12:08	38K
	jordan1h__t6_jordan1h	2013-09-04 12:08	33K
	jordan1h__t7_jordan1h	2013-09-04 12:08	44K
	jordan1h__t8_jordan1h	2013-09-04 12:08	43K
	jordan1h__t9_jordan1h	2013-09-04 12:08	39K
	jordan1h__t10_jordan1h	2013-09-04 12:08	60K
	jordan1h__t11_jordan1h	2013-09-04 12:08	60K
	jordan1h__t12_jordan1h	2013-09-04 12:08	47K
	jordan1h__t13_jordan1h	2013-09-04 12:08	47K
	jordan1h__t14_jordan1h	2013-09-04 12:08	73K
	jordan1h__t15_jordan1h	2013-09-04 12:08	63K
	jordan1h__t16_jordan1h	2013-09-04 12:08	50K
	jordan1h__t17_jordan1h	2013-09-04 12:08	73K
	jordan1h__t18_jordan1h	2013-09-04 12:08	64K
	jordan1h__t19_jordan1h	2013-09-04 12:08	50K
	jordan1h__t20_jordan1h	2013-09-04 12:08	113K
	jordan1h__t21_jordan1h	2013-09-04 12:08	79K
	jordan1h__t22_jordan1h	2013-09-04 12:08	113K
	jordan1h__t23_jordan1h	2013-09-04 12:08	79K
	jordan1h__t24_jordan1h	2013-09-04 12:08	50K
	jordan1h__t25_jordan1h	2013-09-04 12:08	60K
	jordan1h__t26_jordan1h	2013-09-04 12:08	56K
	jordan1h__t27_jordan1h	2013-09-04 12:08	56K
	jordan1h__t28_jordan1h	2013-09-04 12:08	72K
	jordan1h__t29_jordan1h	2013-09-04 12:08	72K
	jordan1h__t30_jordan1h	2013-09-04 12:08	87K
	jordan1h__t31_jordan1h	2013-09-04 12:08	87K
	jordan1h__t32_jordan1h	2013-09-04 12:08	67K
	jordan1h__t33_jordan1h	2013-09-04 12:08	70K
	jordan1h__t34_jordan1h	2013-09-04 12:08	59K
	jordan1h__t35_jordan1h	2013-09-04 12:08	48K
	jordan1h__t36_jordan1h	2013-09-04 12:08	120K
	jordan1h__t37_jordan1h	2013-09-04 12:08	175K
	jordan1h__t38_jordan1h	2013-09-04 12:08	108K
	jordan1h__t39_jordan1h	2013-09-04 12:08	44K
	jordan1h__t40_jordan1h	2013-09-04 12:08	50K
	jordan1h__t41_jordan1h	2013-09-04 12:08	55K
	jordan1h__t42_jordan1h	2013-09-04 12:08	55K
	jordan1h__t43_jordan1h	2013-09-04 12:08	55K
	jordan1h__t44_jordan1h	2013-09-04 12:08	68K
	jordan1h__t45_jordan1h	2013-09-04 12:08	100K
	jordan1h__t46_jordan1h	2013-09-04 12:08	151K
	jordan1h__t47_jordan1h	2013-09-04 12:08	75K
	jordan1h__t48_jordan1h	2013-09-04 12:08	51K
	jordan1h__t49_jordan1h	2013-09-04 12:08	117K
	jordan1h__t50_jordan1h	2013-09-04 12:08	68K
	jordan1h__t51_jordan1h	2013-09-04 12:08	185K
	jordan1h__t52_jordan1h	2013-09-04 12:08	120K
	jordan1h__t53_jordan1h	2013-09-04 12:08	119K
	jordan1h__t54_jordan1h	2013-09-04 12:08	73K
	jordan1h__t55_jordan1h	2013-09-04 12:08	119K
	jordan1h__t56_jordan1h	2013-09-04 12:08	120K
	jordan1h__t57_jordan1h	2013-09-04 12:08	119K
	jordan1h__t58_jordan1h	2013-09-04 12:08	120K
	jordan1h__t59_jordan1h	2013-09-04 12:08	73K
	jordan1h__t60_jordan1h	2013-09-04 12:08	119K
	jordan1h__t61_jordan1h	2013-09-04 12:08	73K
	jordan1h__t62_jordan1h	2013-09-04 12:08	119K
	jordan1h__t63_jordan1h	2013-09-04 12:08	120K