Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/jordan20

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan20__l21_jordan20	2013-09-04 12:22	19K
	jordan20__t1_jordan20	2013-09-04 12:22	28K
	jordan20__t2_jordan20	2013-09-04 12:22	47K
	jordan20__t3_jordan20	2013-09-04 12:22	47K
	jordan20__t4_jordan20	2013-09-04 12:22	49K
	jordan20__t5_jordan20	2013-09-04 12:22	49K
	jordan20__t6_jordan20	2013-09-04 12:22	63K
	jordan20__t7_jordan20	2013-09-04 12:22	63K
	jordan20__t8_jordan20	2013-09-04 12:22	31K
	jordan20__t9_jordan20	2013-09-04 12:22	131K
	jordan20__t10_jordan20	2013-09-04 12:22	132K
	jordan20__t11_jordan20	2013-09-04 12:22	32K
	jordan20__t12_jordan20	2013-09-04 12:22	31K
	jordan20__t13_jordan20	2013-09-04 12:22	37K
	jordan20__t14_jordan20	2013-09-04 12:22	37K
	jordan20__t15_jordan20	2013-09-04 12:22	43K
	jordan20__t16_jordan20	2013-09-04 12:22	43K
	jordan20__t17_jordan20	2013-09-04 12:22	35K
	jordan20__t18_jordan20	2013-09-04 12:22	50K
	jordan20__t19_jordan20	2013-09-04 12:22	25K
	jordan20__t20_jordan20	2013-09-04 12:22	25K
	jordan20__t21_jordan20	2013-09-04 12:22	26K
	jordan20__t22_jordan20	2013-09-04 12:22	38K
	jordan20__t23_jordan20	2013-09-04 12:22	38K
	jordan20__t24_jordan20	2013-09-04 12:22	29K
	jordan20__t25_jordan20	2013-09-04 12:22	58K
	jordan20__t26_jordan20	2013-09-04 12:22	48K
	jordan20__t27_jordan20	2013-09-04 12:22	47K
	jordan20__t28_jordan20	2013-09-04 12:22	48K
	jordan20__t29_jordan20	2013-09-04 12:22	47K
	jordan20__t30_jordan20	2013-09-04 12:22	126K
	jordan20__t31_jordan20	2013-09-04 12:22	111K