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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan_a__l9_jordan_a	2013-09-04 12:58	35K
	jordan_a__t1_jordan_a	2013-09-04 12:58	34K
	jordan_a__t2_jordan_a	2013-09-04 12:58	20K
	jordan_a__t3_jordan_a	2013-09-04 12:58	51K
	jordan_a__t4_jordan_a	2013-09-04 12:58	51K
	jordan_a__t5_jordan_a	2013-09-04 12:58	55K
	jordan_a__t6_jordan_a	2013-09-04 12:58	55K
	jordan_a__t7_jordan_a	2013-09-04 12:58	44K
	jordan_a__t8_jordan_a	2013-09-04 12:58	76K
	jordan_a__t9_jordan_a	2013-09-04 12:58	76K
	jordan_a__t10_jordan_a	2013-09-04 12:58	78K
	jordan_a__t11_jordan_a	2013-09-04 12:58	77K
	jordan_a__t12_jordan_a	2013-09-04 12:58	79K
	jordan_a__t13_jordan_a	2013-09-04 12:58	78K
	jordan_a__t14_jordan_a	2013-09-04 12:58	68K
	jordan_a__t15_jordan_a	2013-09-04 12:58	68K
	jordan_a__t16_jordan_a	2013-09-04 12:58	76K
	jordan_a__t17_jordan_a	2013-09-04 12:58	79K
	jordan_a__t18_jordan_a	2013-09-04 12:58	54K
	jordan_a__t19_jordan_a	2013-09-04 12:58	52K
	jordan_a__t20_jordan_a	2013-09-04 12:58	54K
	jordan_a__t21_jordan_a	2013-09-04 12:58	66K
	jordan_a__t22_jordan_a	2013-09-04 12:58	41K
	jordan_a__t23_jordan_a	2013-09-04 12:58	86K
	jordan_a__t24_jordan_a	2013-09-04 12:58	66K
	jordan_a__t25_jordan_a	2013-09-04 12:58	66K
	jordan_a__t26_jordan_a	2013-09-04 12:58	215K
	jordan_a__t27_jordan_a	2013-09-04 12:58	44K
	jordan_a__t28_jordan_a	2013-09-04 12:58	67K
	jordan_a__t29_jordan_a	2013-09-04 12:58	41K
	jordan_a__t30_jordan_a	2013-09-04 12:58	84K
	jordan_a__t31_jordan_a	2013-09-04 12:58	42K
	jordan_a__t32_jordan_a	2013-09-04 12:58	43K
	jordan_a__t33_jordan_a	2013-09-04 12:58	39K
	jordan_a__t34_jordan_a	2013-09-04 12:58	77K
	jordan_a__t35_jordan_a	2013-09-04 12:58	52K
	jordan_a__t36_jordan_a	2013-09-04 12:58	42K