Index of /~mptp/1147/MPTP2/problems_small_consist/jordan5a

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan5a__l2_jordan5a	2013-09-04 12:39	44K
	jordan5a__l5_jordan5a	2013-09-04 12:39	66K
	jordan5a__l7_jordan5a	2013-09-04 12:39	45K
	jordan5a__l8_jordan5a	2013-09-04 12:39	45K
	jordan5a__l12_jordan5a	2013-09-04 12:39	45K
	jordan5a__l18_jordan5a	2013-09-04 12:39	34K
	jordan5a__l19_jordan5a	2013-09-04 12:39	72K
	jordan5a__l30_jordan5a	2013-09-04 12:39	39K
	jordan5a__t1_jordan5a	2013-09-04 12:39	54K
	jordan5a__t2_jordan5a	2013-09-04 12:39	69K
	jordan5a__t3_jordan5a	2013-09-04 12:39	116K
	jordan5a__t4_jordan5a	2013-09-04 12:39	54K
	jordan5a__t5_jordan5a	2013-09-04 12:39	32K
	jordan5a__t6_jordan5a	2013-09-04 12:39	46K
	jordan5a__t7_jordan5a	2013-09-04 12:39	40K
	jordan5a__t8_jordan5a	2013-09-04 12:39	55K
	jordan5a__t9_jordan5a	2013-09-04 12:39	46K
	jordan5a__t10_jordan5a	2013-09-04 12:39	65K
	jordan5a__t11_jordan5a	2013-09-04 12:39	83K
	jordan5a__t12_jordan5a	2013-09-04 12:39	47K
	jordan5a__t13_jordan5a	2013-09-04 12:39	64K
	jordan5a__t14_jordan5a	2013-09-04 12:39	48K
	jordan5a__t15_jordan5a	2013-09-04 12:39	57K
	jordan5a__t16_jordan5a	2013-09-04 12:39	45K
	jordan5a__t17_jordan5a	2013-09-04 12:39	58K
	jordan5a__t18_jordan5a	2013-09-04 12:39	59K
	jordan5a__t19_jordan5a	2013-09-04 12:39	32K
	jordan5a__t20_jordan5a	2013-09-04 12:39	55K
	jordan5a__t21_jordan5a	2013-09-04 12:39	81K
	jordan5a__t22_jordan5a	2013-09-04 12:39	80K
	jordan5a__t23_jordan5a	2013-09-04 12:39	44K
	jordan5a__t24_jordan5a	2013-09-04 12:39	46K
	jordan5a__t25_jordan5a	2013-09-04 12:39	38K
	jordan5a__t26_jordan5a	2013-09-04 12:39	55K
	jordan5a__t27_jordan5a	2013-09-04 12:39	42K