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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan1f__t1_jordan1f	2013-09-04 12:52	78K
	jordan1f__t2_jordan1f	2013-09-04 12:52	78K
	jordan1f__t3_jordan1f	2013-09-04 12:52	78K
	jordan1f__t4_jordan1f	2013-09-04 12:52	78K
	jordan1f__t5_jordan1f	2013-09-04 12:52	42K
	jordan1f__t6_jordan1f	2013-09-04 12:52	39K
	jordan1f__t7_jordan1f	2013-09-04 12:52	43K
	jordan1f__t8_jordan1f	2013-09-04 12:52	42K
	jordan1f__t9_jordan1f	2013-09-04 12:52	55K
	jordan1f__t10_jordan1f	2013-09-04 12:52	54K
	jordan1f__t11_jordan1f	2013-09-04 12:52	56K
	jordan1f__t12_jordan1f	2013-09-04 12:52	94K
	jordan1f__t13_jordan1f	2013-09-04 12:52	168K