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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan1c__l1_jordan1c	2013-09-04 12:28	14K
	jordan1c__l2_jordan1c	2013-09-04 12:28	12K
	jordan1c__l3_jordan1c	2013-09-04 12:28	31K
	jordan1c__l4_jordan1c	2013-09-04 12:28	20K
	jordan1c__l7_jordan1c	2013-09-04 12:28	30K
	jordan1c__l8_jordan1c	2013-09-04 12:28	29K
	jordan1c__l9_jordan1c	2013-09-04 12:28	83K
	jordan1c__l12_jordan1c	2013-09-04 12:28	41K
	jordan1c__l13_jordan1c	2013-09-04 12:28	41K
	jordan1c__l15_jordan1c	2013-09-04 12:28	42K
	jordan1c__l16_jordan1c	2013-09-04 12:28	42K
	jordan1c__l17_jordan1c	2013-09-04 12:28	42K
	jordan1c__l18_jordan1c	2013-09-04 12:28	42K
	jordan1c__l19_jordan1c	2013-09-04 12:28	29K
	jordan1c__t1_jordan1c	2013-09-04 12:28	75K
	jordan1c__t2_jordan1c	2013-09-04 12:28	143K
	jordan1c__t3_jordan1c	2013-09-04 12:28	54K
	jordan1c__t4_jordan1c	2013-09-04 12:28	34K
	jordan1c__t5_jordan1c	2013-09-04 12:28	38K
	jordan1c__t6_jordan1c	2013-09-04 12:28	58K
	jordan1c__t7_jordan1c	2013-09-04 12:28	58K
	jordan1c__t8_jordan1c	2013-09-04 12:28	58K
	jordan1c__t9_jordan1c	2013-09-04 12:28	58K
	jordan1c__t10_jordan1c	2013-09-04 12:28	55K
	jordan1c__t11_jordan1c	2013-09-04 12:28	99K
	jordan1c__t12_jordan1c	2013-09-04 12:28	100K
	jordan1c__t13_jordan1c	2013-09-04 12:28	138K
	jordan1c__t14_jordan1c	2013-09-04 12:28	91K
	jordan1c__t15_jordan1c	2013-09-04 12:28	138K
	jordan1c__t16_jordan1c	2013-09-04 12:28	91K
	jordan1c__t17_jordan1c	2013-09-04 12:28	32K
	jordan1c__t18_jordan1c	2013-09-04 12:28	49K
	jordan1c__t19_jordan1c	2013-09-04 12:28	42K
	jordan1c__t20_jordan1c	2013-09-04 12:28	42K
	jordan1c__t21_jordan1c	2013-09-04 12:28	56K
	jordan1c__t22_jordan1c	2013-09-04 12:28	56K
	jordan1c__t23_jordan1c	2013-09-04 12:28	161K
	jordan1c__t24_jordan1c	2013-09-04 12:28	27K