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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan2b__l1_jordan2b	2013-09-04 12:35	31K
	jordan2b__t1_jordan2b	2013-09-04 12:35	34K
	jordan2b__t2_jordan2b	2013-09-04 12:35	37K
	jordan2b__t3_jordan2b	2013-09-04 12:35	44K
	jordan2b__t4_jordan2b	2013-09-04 12:35	46K
	jordan2b__t5_jordan2b	2013-09-04 12:35	40K
	jordan2b__t6_jordan2b	2013-09-04 12:35	43K
	jordan2b__t7_jordan2b	2013-09-04 12:35	30K
	jordan2b__t8_jordan2b	2013-09-04 12:35	41K
	jordan2b__t9_jordan2b	2013-09-04 12:35	28K
	jordan2b__t10_jordan2b	2013-09-04 12:35	38K
	jordan2b__t11_jordan2b	2013-09-04 12:35	58K
	jordan2b__t12_jordan2b	2013-09-04 12:35	82K
	jordan2b__t13_jordan2b	2013-09-04 12:35	82K
	jordan2b__t14_jordan2b	2013-09-04 12:35	35K
	jordan2b__t15_jordan2b	2013-09-04 12:35	32K
	jordan2b__t16_jordan2b	2013-09-04 12:35	28K
	jordan2b__t17_jordan2b	2013-09-04 12:35	35K
	jordan2b__t18_jordan2b	2013-09-04 12:35	42K
	jordan2b__t19_jordan2b	2013-09-04 12:35	34K
	jordan2b__t20_jordan2b	2013-09-04 12:35	30K
	jordan2b__t21_jordan2b	2013-09-04 12:35	37K
	jordan2b__t22_jordan2b	2013-09-04 12:35	32K
	jordan2b__t23_jordan2b	2013-09-04 12:35	26K
	jordan2b__t24_jordan2b	2013-09-04 12:35	48K
	jordan2b__t25_jordan2b	2013-09-04 12:35	43K
	jordan2b__t26_jordan2b	2013-09-04 12:35	17K
	jordan2b__t27_jordan2b	2013-09-04 12:35	64K
	jordan2b__t28_jordan2b	2013-09-04 12:35	59K
	jordan2b__t29_jordan2b	2013-09-04 12:35	30K
	jordan2b__t30_jordan2b	2013-09-04 12:35	29K