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

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_5__l1_nat_5	2013-09-04 12:19	36K
	nat_5__l7_nat_5	2013-09-04 12:19	32K
	nat_5__l8_nat_5	2013-09-04 12:19	30K
	nat_5__l25_nat_5	2013-09-04 12:19	36K
	nat_5__l26_nat_5	2013-09-04 12:19	67K
	nat_5__l27_nat_5	2013-09-04 12:19	168K
	nat_5__l28_nat_5	2013-09-04 12:19	76K
	nat_5__l29_nat_5	2013-09-04 12:19	66K
	nat_5__l30_nat_5	2013-09-04 12:19	97K
	nat_5__l31_nat_5	2013-09-04 12:19	85K
	nat_5__l38_nat_5	2013-09-04 12:19	108K
	nat_5__t1_nat_5	2013-09-04 12:19	62K
	nat_5__t2_nat_5	2013-09-04 12:19	49K
	nat_5__t3_nat_5	2013-09-04 12:19	45K
	nat_5__t4_nat_5	2013-09-04 12:19	26K
	nat_5__t5_nat_5	2013-09-04 12:19	27K
	nat_5__t6_nat_5	2013-09-04 12:19	44K
	nat_5__t7_nat_5	2013-09-04 12:19	59K
	nat_5__t8_nat_5	2013-09-04 12:19	60K
	nat_5__t9_nat_5	2013-09-04 12:19	42K
	nat_5__t10_nat_5	2013-09-04 12:19	80K
	nat_5__t11_nat_5	2013-09-04 12:19	80K
	nat_5__t12_nat_5	2013-09-04 12:19	43K
	nat_5__t13_nat_5	2013-09-04 12:19	33K
	nat_5__t14_nat_5	2013-09-04 12:19	34K
	nat_5__t15_nat_5	2013-09-04 12:19	42K
	nat_5__t16_nat_5	2013-09-04 12:19	56K
	nat_5__t17_nat_5	2013-09-04 12:19	43K
	nat_5__t18_nat_5	2013-09-04 12:19	33K
	nat_5__t19_nat_5	2013-09-04 12:19	31K
	nat_5__t20_nat_5	2013-09-04 12:19	49K
	nat_5__t21_nat_5	2013-09-04 12:19	27K
	nat_5__t22_nat_5	2013-09-04 12:19	158K
	nat_5__t23_nat_5	2013-09-04 12:19	100K
	nat_5__t24_nat_5	2013-09-04 12:19	67K
	nat_5__t25_nat_5	2013-09-04 12:19	56K
	nat_5__t26_nat_5	2013-09-04 12:19	49K
	nat_5__t27_nat_5	2013-09-04 12:19	59K
	nat_5__t28_nat_5	2013-09-04 12:19	86K
	nat_5__t29_nat_5	2013-09-04 12:19	63K
	nat_5__t30_nat_5	2013-09-04 12:19	88K
	nat_5__t31_nat_5	2013-09-04 12:19	80K
	nat_5__t32_nat_5	2013-09-04 12:19	81K
	nat_5__t33_nat_5	2013-09-04 12:19	42K
	nat_5__t34_nat_5	2013-09-04 12:19	84K
	nat_5__t35_nat_5	2013-09-04 12:19	40K
	nat_5__t36_nat_5	2013-09-04 12:19	42K
	nat_5__t37_nat_5	2013-09-04 12:19	39K
	nat_5__t38_nat_5	2013-09-04 12:19	224K
	nat_5__t39_nat_5	2013-09-04 12:19	146K
	nat_5__t40_nat_5	2013-09-04 12:19	101K