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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan5d__l45_jordan5d	2013-09-04 12:29	60K
	jordan5d__l46_jordan5d	2013-09-04 12:29	60K
	jordan5d__l47_jordan5d	2013-09-04 12:29	61K
	jordan5d__l48_jordan5d	2013-09-04 12:29	59K
	jordan5d__l49_jordan5d	2013-09-04 12:29	60K
	jordan5d__l50_jordan5d	2013-09-04 12:29	61K
	jordan5d__l51_jordan5d	2013-09-04 12:29	60K
	jordan5d__l52_jordan5d	2013-09-04 12:29	60K
	jordan5d__l53_jordan5d	2013-09-04 12:29	35K
	jordan5d__l64_jordan5d	2013-09-04 12:29	40K
	jordan5d__t1_jordan5d	2013-09-04 12:29	80K
	jordan5d__t2_jordan5d	2013-09-04 12:29	82K
	jordan5d__t3_jordan5d	2013-09-04 12:29	65K
	jordan5d__t4_jordan5d	2013-09-04 12:29	33K
	jordan5d__t5_jordan5d	2013-09-04 12:29	48K
	jordan5d__t6_jordan5d	2013-09-04 12:29	48K
	jordan5d__t7_jordan5d	2013-09-04 12:29	50K
	jordan5d__t8_jordan5d	2013-09-04 12:29	50K
	jordan5d__t9_jordan5d	2013-09-04 12:29	49K
	jordan5d__t10_jordan5d	2013-09-04 12:29	49K
	jordan5d__t11_jordan5d	2013-09-04 12:29	51K
	jordan5d__t12_jordan5d	2013-09-04 12:29	51K
	jordan5d__t13_jordan5d	2013-09-04 12:29	58K
	jordan5d__t14_jordan5d	2013-09-04 12:29	58K
	jordan5d__t15_jordan5d	2013-09-04 12:29	58K
	jordan5d__t16_jordan5d	2013-09-04 12:29	58K
	jordan5d__t17_jordan5d	2013-09-04 12:29	44K
	jordan5d__t18_jordan5d	2013-09-04 12:29	44K
	jordan5d__t19_jordan5d	2013-09-04 12:29	52K
	jordan5d__t20_jordan5d	2013-09-04 12:29	52K
	jordan5d__t21_jordan5d	2013-09-04 12:29	52K
	jordan5d__t22_jordan5d	2013-09-04 12:29	52K
	jordan5d__t23_jordan5d	2013-09-04 12:29	42K
	jordan5d__t24_jordan5d	2013-09-04 12:29	52K
	jordan5d__t25_jordan5d	2013-09-04 12:29	52K
	jordan5d__t26_jordan5d	2013-09-04 12:29	52K
	jordan5d__t27_jordan5d	2013-09-04 12:29	52K
	jordan5d__t28_jordan5d	2013-09-04 12:29	42K
	jordan5d__t29_jordan5d	2013-09-04 12:29	42K
	jordan5d__t30_jordan5d	2013-09-04 12:29	42K
	jordan5d__t31_jordan5d	2013-09-04 12:29	41K
	jordan5d__t32_jordan5d	2013-09-04 12:29	41K
	jordan5d__t33_jordan5d	2013-09-04 12:29	41K
	jordan5d__t34_jordan5d	2013-09-04 12:29	41K
	jordan5d__t35_jordan5d	2013-09-04 12:29	42K
	jordan5d__t36_jordan5d	2013-09-04 12:29	42K
	jordan5d__t37_jordan5d	2013-09-04 12:29	49K
	jordan5d__t38_jordan5d	2013-09-04 12:29	49K
	jordan5d__t39_jordan5d	2013-09-04 12:29	49K
	jordan5d__t40_jordan5d	2013-09-04 12:29	49K
	jordan5d__t41_jordan5d	2013-09-04 12:29	45K
	jordan5d__t42_jordan5d	2013-09-04 12:29	46K
	jordan5d__t43_jordan5d	2013-09-04 12:29	46K
	jordan5d__t44_jordan5d	2013-09-04 12:29	45K
	jordan5d__t45_jordan5d	2013-09-04 12:29	62K
	jordan5d__t46_jordan5d	2013-09-04 12:29	62K
	jordan5d__t47_jordan5d	2013-09-04 12:29	63K
	jordan5d__t48_jordan5d	2013-09-04 12:29	63K
	jordan5d__t49_jordan5d	2013-09-04 12:29	63K
	jordan5d__t50_jordan5d	2013-09-04 12:29	63K