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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan5b__l4_jordan5b	2013-09-04 12:19	24K
	jordan5b__l8_jordan5b	2013-09-04 12:19	22K
	jordan5b__l24_jordan5b	2013-09-04 12:19	53K
	jordan5b__l27_jordan5b	2013-09-04 12:19	44K
	jordan5b__t1_jordan5b	2013-09-04 12:19	22K
	jordan5b__t2_jordan5b	2013-09-04 12:19	20K
	jordan5b__t3_jordan5b	2013-09-04 12:19	21K
	jordan5b__t4_jordan5b	2013-09-04 12:19	28K
	jordan5b__t5_jordan5b	2013-09-04 12:19	55K
	jordan5b__t6_jordan5b	2013-09-04 12:19	55K
	jordan5b__t7_jordan5b	2013-09-04 12:19	278K
	jordan5b__t8_jordan5b	2013-09-04 12:19	66K
	jordan5b__t9_jordan5b	2013-09-04 12:19	45K
	jordan5b__t10_jordan5b	2013-09-04 12:19	57K
	jordan5b__t11_jordan5b	2013-09-04 12:19	52K
	jordan5b__t12_jordan5b	2013-09-04 12:19	47K
	jordan5b__t13_jordan5b	2013-09-04 12:19	43K
	jordan5b__t14_jordan5b	2013-09-04 12:19	55K
	jordan5b__t15_jordan5b	2013-09-04 12:19	56K
	jordan5b__t16_jordan5b	2013-09-04 12:19	75K
	jordan5b__t17_jordan5b	2013-09-04 12:19	42K
	jordan5b__t18_jordan5b	2013-09-04 12:19	44K
	jordan5b__t19_jordan5b	2013-09-04 12:19	42K
	jordan5b__t20_jordan5b	2013-09-04 12:19	39K
	jordan5b__t21_jordan5b	2013-09-04 12:19	55K
	jordan5b__t22_jordan5b	2013-09-04 12:19	103K
	jordan5b__t23_jordan5b	2013-09-04 12:19	36K
	jordan5b__t24_jordan5b	2013-09-04 12:19	58K
	jordan5b__t25_jordan5b	2013-09-04 12:19	50K
	jordan5b__t26_jordan5b	2013-09-04 12:19	50K
	jordan5b__t27_jordan5b	2013-09-04 12:19	46K
	jordan5b__t28_jordan5b	2013-09-04 12:19	40K
	jordan5b__t29_jordan5b	2013-09-04 12:19	48K
	jordan5b__t30_jordan5b	2013-09-04 12:19	59K
	jordan5b__t31_jordan5b	2013-09-04 12:19	56K
	jordan5b__t32_jordan5b	2013-09-04 12:19	56K
	jordan5b__t33_jordan5b	2013-09-04 12:19	39K