Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/nat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_1__l50_nat_1	2013-09-04 12:45	14K
	nat_1__t1_nat_1	2013-09-04 12:45	11K
	nat_1__t2_nat_1	2013-09-04 12:45	13K
	nat_1__t3_nat_1	2013-09-04 12:45	10K
	nat_1__t4_nat_1	2013-09-04 12:45	13K
	nat_1__t5_nat_1	2013-09-04 12:45	13K
	nat_1__t6_nat_1	2013-09-04 12:45	12K
	nat_1__t7_nat_1	2013-09-04 12:45	28K
	nat_1__t8_nat_1	2013-09-04 12:45	30K
	nat_1__t9_nat_1	2013-09-04 12:45	14K
	nat_1__t10_nat_1	2013-09-04 12:45	29K
	nat_1__t11_nat_1	2013-09-04 12:45	13K
	nat_1__t12_nat_1	2013-09-04 12:45	13K
	nat_1__t13_nat_1	2013-09-04 12:45	22K
	nat_1__t14_nat_1	2013-09-04 12:45	15K
	nat_1__t15_nat_1	2013-09-04 12:45	28K
	nat_1__t16_nat_1	2013-09-04 12:45	19K
	nat_1__t17_nat_1	2013-09-04 12:45	35K
	nat_1__t18_nat_1	2013-09-04 12:45	33K
	nat_1__t19_nat_1	2013-09-04 12:45	14K
	nat_1__t20_nat_1	2013-09-04 12:45	22K
	nat_1__t21_nat_1	2013-09-04 12:45	22K
	nat_1__t22_nat_1	2013-09-04 12:45	14K
	nat_1__t23_nat_1	2013-09-04 12:45	18K
	nat_1__t24_nat_1	2013-09-04 12:45	21K
	nat_1__t25_nat_1	2013-09-04 12:45	15K
	nat_1__t26_nat_1	2013-09-04 12:45	18K
	nat_1__t27_nat_1	2013-09-04 12:45	17K
	nat_1__t28_nat_1	2013-09-04 12:45	18K
	nat_1__t29_nat_1	2013-09-04 12:45	20K
	nat_1__t30_nat_1	2013-09-04 12:45	21K
	nat_1__t31_nat_1	2013-09-04 12:45	23K
	nat_1__t32_nat_1	2013-09-04 12:45	25K
	nat_1__t33_nat_1	2013-09-04 12:45	27K
	nat_1__t34_nat_1	2013-09-04 12:45	29K
	nat_1__t35_nat_1	2013-09-04 12:45	32K
	nat_1__t36_nat_1	2013-09-04 12:45	35K
	nat_1__t37_nat_1	2013-09-04 12:45	38K
	nat_1__t38_nat_1	2013-09-04 12:45	22K
	nat_1__t39_nat_1	2013-09-04 12:45	32K
	nat_1__t40_nat_1	2013-09-04 12:45	13K
	nat_1__t41_nat_1	2013-09-04 12:45	11K
	nat_1__t42_nat_1	2013-09-04 12:45	23K
	nat_1__t43_nat_1	2013-09-04 12:45	11K
	nat_1__t44_nat_1	2013-09-04 12:45	11K
	nat_1__t45_nat_1	2013-09-04 12:45	16K
	nat_1__t46_nat_1	2013-09-04 12:45	10K
	nat_1__t47_nat_1	2013-09-04 12:45	19K
	nat_1__t48_nat_1	2013-09-04 12:45	19K
	nat_1__t49_nat_1	2013-09-04 12:45	16K
	nat_1__t50_nat_1	2013-09-04 12:45	22K
	nat_1__t51_nat_1	2013-09-04 12:45	14K
	nat_1__t52_nat_1	2013-09-04 12:45	14K
	nat_1__t53_nat_1	2013-09-04 12:45	15K
	nat_1__t54_nat_1	2013-09-04 12:45	16K
	nat_1__t55_nat_1	2013-09-04 12:45	10K
	nat_1__t56_nat_1	2013-09-04 12:45	25K
	nat_1__t57_nat_1	2013-09-04 12:45	28K
	nat_1__t58_nat_1	2013-09-04 12:45	34K
	nat_1__t59_nat_1	2013-09-04 12:45	13K
	nat_1__t60_nat_1	2013-09-04 12:45	41K