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

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_3__t1_nat_3	2013-09-04 12:44	30K
	nat_3__t2_nat_3	2013-09-04 12:44	50K
	nat_3__t3_nat_3	2013-09-04 12:44	34K
	nat_3__t4_nat_3	2013-09-04 12:44	31K
	nat_3__t5_nat_3	2013-09-04 12:44	52K
	nat_3__t6_nat_3	2013-09-04 12:44	29K
	nat_3__t7_nat_3	2013-09-04 12:44	55K
	nat_3__t8_nat_3	2013-09-04 12:44	53K
	nat_3__t9_nat_3	2013-09-04 12:44	50K
	nat_3__t10_nat_3	2013-09-04 12:44	39K
	nat_3__t11_nat_3	2013-09-04 12:44	38K
	nat_3__t12_nat_3	2013-09-04 12:44	47K
	nat_3__t13_nat_3	2013-09-04 12:44	65K
	nat_3__t14_nat_3	2013-09-04 12:44	47K
	nat_3__t15_nat_3	2013-09-04 12:44	50K
	nat_3__t16_nat_3	2013-09-04 12:44	33K
	nat_3__t17_nat_3	2013-09-04 12:44	36K
	nat_3__t18_nat_3	2013-09-04 12:44	36K
	nat_3__t19_nat_3	2013-09-04 12:44	96K
	nat_3__t20_nat_3	2013-09-04 12:44	49K
	nat_3__t21_nat_3	2013-09-04 12:44	31K
	nat_3__t22_nat_3	2013-09-04 12:44	34K
	nat_3__t23_nat_3	2013-09-04 12:44	31K
	nat_3__t24_nat_3	2013-09-04 12:44	32K
	nat_3__t25_nat_3	2013-09-04 12:44	35K
	nat_3__t26_nat_3	2013-09-04 12:44	29K
	nat_3__t27_nat_3	2013-09-04 12:44	30K
	nat_3__t28_nat_3	2013-09-04 12:44	39K
	nat_3__t29_nat_3	2013-09-04 12:44	30K
	nat_3__t30_nat_3	2013-09-04 12:44	38K
	nat_3__t31_nat_3	2013-09-04 12:44	50K
	nat_3__t32_nat_3	2013-09-04 12:44	37K
	nat_3__t33_nat_3	2013-09-04 12:44	29K
	nat_3__t34_nat_3	2013-09-04 12:44	28K
	nat_3__t35_nat_3	2013-09-04 12:44	36K
	nat_3__t36_nat_3	2013-09-04 12:44	33K
	nat_3__t37_nat_3	2013-09-04 12:44	33K
	nat_3__t38_nat_3	2013-09-04 12:44	35K
	nat_3__t39_nat_3	2013-09-04 12:44	42K
	nat_3__t40_nat_3	2013-09-04 12:44	33K
	nat_3__t41_nat_3	2013-09-04 12:44	30K
	nat_3__t42_nat_3	2013-09-04 12:44	36K
	nat_3__t43_nat_3	2013-09-04 12:44	30K
	nat_3__t44_nat_3	2013-09-04 12:44	38K
	nat_3__t45_nat_3	2013-09-04 12:44	39K
	nat_3__t46_nat_3	2013-09-04 12:44	44K
	nat_3__t47_nat_3	2013-09-04 12:44	37K
	nat_3__t48_nat_3	2013-09-04 12:44	40K
	nat_3__t49_nat_3	2013-09-04 12:44	38K
	nat_3__t50_nat_3	2013-09-04 12:44	34K
	nat_3__t51_nat_3	2013-09-04 12:44	35K
	nat_3__t52_nat_3	2013-09-04 12:44	39K
	nat_3__t53_nat_3	2013-09-04 12:44	39K
	nat_3__t54_nat_3	2013-09-04 12:44	47K
	nat_3__t55_nat_3	2013-09-04 12:44	33K
	nat_3__t56_nat_3	2013-09-04 12:44	33K
	nat_3__t57_nat_3	2013-09-04 12:44	32K
	nat_3__t58_nat_3	2013-09-04 12:44	47K
	nat_3__t59_nat_3	2013-09-04 12:44	33K
	nat_3__t60_nat_3	2013-09-04 12:44	43K
	nat_3__t61_nat_3	2013-09-04 12:44	96K