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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan18__l1_jordan18	2013-09-04 12:32	20K
	jordan18__l2_jordan18	2013-09-04 12:32	20K
	jordan18__l13_jordan18	2013-09-04 12:32	23K
	jordan18__t1_jordan18	2013-09-04 12:32	24K
	jordan18__t2_jordan18	2013-09-04 12:32	16K
	jordan18__t3_jordan18	2013-09-04 12:32	24K
	jordan18__t4_jordan18	2013-09-04 12:32	24K
	jordan18__t5_jordan18	2013-09-04 12:32	24K
	jordan18__t6_jordan18	2013-09-04 12:32	24K
	jordan18__t7_jordan18	2013-09-04 12:32	29K
	jordan18__t8_jordan18	2013-09-04 12:32	32K
	jordan18__t9_jordan18	2013-09-04 12:32	32K
	jordan18__t10_jordan18	2013-09-04 12:32	29K
	jordan18__t11_jordan18	2013-09-04 12:32	23K
	jordan18__t12_jordan18	2013-09-04 12:32	23K
	jordan18__t13_jordan18	2013-09-04 12:32	23K
	jordan18__t14_jordan18	2013-09-04 12:32	23K
	jordan18__t15_jordan18	2013-09-04 12:32	29K
	jordan18__t16_jordan18	2013-09-04 12:32	26K
	jordan18__t17_jordan18	2013-09-04 12:32	35K
	jordan18__t18_jordan18	2013-09-04 12:32	32K
	jordan18__t19_jordan18	2013-09-04 12:32	29K
	jordan18__t20_jordan18	2013-09-04 12:32	29K
	jordan18__t21_jordan18	2013-09-04 12:32	27K
	jordan18__t22_jordan18	2013-09-04 12:32	41K
	jordan18__t23_jordan18	2013-09-04 12:32	29K
	jordan18__t24_jordan18	2013-09-04 12:32	21K
	jordan18__t25_jordan18	2013-09-04 12:32	21K
	jordan18__t26_jordan18	2013-09-04 12:32	21K
	jordan18__t27_jordan18	2013-09-04 12:32	21K
	jordan18__t28_jordan18	2013-09-04 12:32	21K
	jordan18__t29_jordan18	2013-09-04 12:32	21K
	jordan18__t30_jordan18	2013-09-04 12:32	21K
	jordan18__t31_jordan18	2013-09-04 12:32	28K
	jordan18__t32_jordan18	2013-09-04 12:32	30K
	jordan18__t33_jordan18	2013-09-04 12:32	32K