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

	Name	Last modified	Size	Description
	Parent Directory		-
	termord__l6_termord	2013-09-04 12:23	32K
	termord__l11_termord	2013-09-04 12:23	26K
	termord__l12_termord	2013-09-04 12:23	27K
	termord__l13_termord	2013-09-04 12:23	26K
	termord__l15_termord	2013-09-04 12:23	28K
	termord__l23_termord	2013-09-04 12:23	28K
	termord__l31_termord	2013-09-04 12:23	41K
	termord__l32_termord	2013-09-04 12:23	44K
	termord__l33_termord	2013-09-04 12:23	37K
	termord__l34_termord	2013-09-04 12:23	46K
	termord__l35_termord	2013-09-04 12:23	44K
	termord__l39_termord	2013-09-04 12:23	38K
	termord__l49_termord	2013-09-04 12:23	1.7K
	termord__l50_termord	2013-09-04 12:23	74K
	termord__l58_termord	2013-09-04 12:23	47K
	termord__l59_termord	2013-09-04 12:23	48K
	termord__l60_termord	2013-09-04 12:23	53K
	termord__l63_termord	2013-09-04 12:23	45K
	termord__l64_termord	2013-09-04 12:23	49K
	termord__t1_termord	2013-09-04 12:23	41K
	termord__t2_termord	2013-09-04 12:23	51K
	termord__t3_termord	2013-09-04 12:23	62K
	termord__t4_termord	2013-09-04 12:23	49K
	termord__t5_termord	2013-09-04 12:23	29K
	termord__t6_termord	2013-09-04 12:23	25K
	termord__t7_termord	2013-09-04 12:23	26K
	termord__t8_termord	2013-09-04 12:23	27K
	termord__t9_termord	2013-09-04 12:23	30K
	termord__t10_termord	2013-09-04 12:23	32K
	termord__t11_termord	2013-09-04 12:23	27K
	termord__t12_termord	2013-09-04 12:23	27K
	termord__t13_termord	2013-09-04 12:23	31K
	termord__t14_termord	2013-09-04 12:23	31K
	termord__t15_termord	2013-09-04 12:23	31K
	termord__t16_termord	2013-09-04 12:23	31K
	termord__t17_termord	2013-09-04 12:23	38K
	termord__t18_termord	2013-09-04 12:23	38K
	termord__t19_termord	2013-09-04 12:23	43K
	termord__t20_termord	2013-09-04 12:23	39K
	termord__t21_termord	2013-09-04 12:23	38K
	termord__t22_termord	2013-09-04 12:23	46K
	termord__t23_termord	2013-09-04 12:23	40K
	termord__t24_termord	2013-09-04 12:23	39K
	termord__t25_termord	2013-09-04 12:23	40K
	termord__t26_termord	2013-09-04 12:23	46K
	termord__t27_termord	2013-09-04 12:23	37K
	termord__t28_termord	2013-09-04 12:23	40K
	termord__t29_termord	2013-09-04 12:23	54K
	termord__t30_termord	2013-09-04 12:23	55K
	termord__t31_termord	2013-09-04 12:23	50K
	termord__t32_termord	2013-09-04 12:23	48K
	termord__t33_termord	2013-09-04 12:23	54K
	termord__t34_termord	2013-09-04 12:23	46K
	termord__t35_termord	2013-09-04 12:23	43K
	termord__t36_termord	2013-09-04 12:23	46K
	termord__t37_termord	2013-09-04 12:23	48K
	termord__t38_termord	2013-09-04 12:23	48K
	termord__t39_termord	2013-09-04 12:23	44K
	termord__t40_termord	2013-09-04 12:23	44K