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

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_4__l14_nat_4	2013-09-04 12:15	37K
	nat_4__l27_nat_4	2013-09-04 12:15	41K
	nat_4__l28_nat_4	2013-09-04 12:15	40K
	nat_4__l32_nat_4	2013-09-04 12:15	81K
	nat_4__l35_nat_4	2013-09-04 12:15	112K
	nat_4__l36_nat_4	2013-09-04 12:15	51K
	nat_4__l47_nat_4	2013-09-04 12:15	70K
	nat_4__l57_nat_4	2013-09-04 12:15	176K
	nat_4__l58_nat_4	2013-09-04 12:15	199K
	nat_4__l66_nat_4	2013-09-04 12:15	163K
	nat_4__l67_nat_4	2013-09-04 12:15	170K
	nat_4__t1_nat_4	2013-09-04 12:14	34K
	nat_4__t2_nat_4	2013-09-04 12:14	34K
	nat_4__t3_nat_4	2013-09-04 12:14	49K
	nat_4__t4_nat_4	2013-09-04 12:14	212K
	nat_4__t5_nat_4	2013-09-04 12:14	129K
	nat_4__t6_nat_4	2013-09-04 12:14	58K
	nat_4__t7_nat_4	2013-09-04 12:14	32K
	nat_4__t8_nat_4	2013-09-04 12:14	42K
	nat_4__t9_nat_4	2013-09-04 12:14	56K
	nat_4__t10_nat_4	2013-09-04 12:14	39K
	nat_4__t11_nat_4	2013-09-04 12:14	44K
	nat_4__t12_nat_4	2013-09-04 12:14	33K
	nat_4__t13_nat_4	2013-09-04 12:14	40K
	nat_4__t14_nat_4	2013-09-04 12:14	35K
	nat_4__t15_nat_4	2013-09-04 12:14	50K
	nat_4__t16_nat_4	2013-09-04 12:14	44K
	nat_4__t17_nat_4	2013-09-04 12:14	62K
	nat_4__t18_nat_4	2013-09-04 12:14	50K
	nat_4__t19_nat_4	2013-09-04 12:14	50K
	nat_4__t20_nat_4	2013-09-04 12:14	82K
	nat_4__t21_nat_4	2013-09-04 12:14	42K
	nat_4__t22_nat_4	2013-09-04 12:14	42K
	nat_4__t23_nat_4	2013-09-04 12:14	72K
	nat_4__t24_nat_4	2013-09-04 12:14	80K
	nat_4__t25_nat_4	2013-09-04 12:14	62K
	nat_4__t26_nat_4	2013-09-04 12:14	45K
	nat_4__t27_nat_4	2013-09-04 12:14	49K
	nat_4__t28_nat_4	2013-09-04 12:14	49K
	nat_4__t29_nat_4	2013-09-04 12:14	48K
	nat_4__t30_nat_4	2013-09-04 12:14	49K
	nat_4__t31_nat_4	2013-09-04 12:14	80K
	nat_4__t32_nat_4	2013-09-04 12:14	100K
	nat_4__t33_nat_4	2013-09-04 12:14	83K
	nat_4__t34_nat_4	2013-09-04 12:14	88K
	nat_4__t35_nat_4	2013-09-04 12:14	82K
	nat_4__t36_nat_4	2013-09-04 12:14	79K
	nat_4__t37_nat_4	2013-09-04 12:14	79K
	nat_4__t38_nat_4	2013-09-04 12:14	197K
	nat_4__t39_nat_4	2013-09-04 12:14	210K
	nat_4__t40_nat_4	2013-09-04 12:14	215K
	nat_4__t41_nat_4	2013-09-04 12:14	51K
	nat_4__t42_nat_4	2013-09-04 12:14	76K
	nat_4__t43_nat_4	2013-09-04 12:14	84K
	nat_4__t44_nat_4	2013-09-04 12:14	102K
	nat_4__t45_nat_4	2013-09-04 12:15	454K
	nat_4__t46_nat_4	2013-09-04 12:15	81K
	nat_4__t47_nat_4	2013-09-04 12:14	89K
	nat_4__t48_nat_4	2013-09-04 12:14	116K
	nat_4__t49_nat_4	2013-09-04 12:14	205K
	nat_4__t50_nat_4	2013-09-04 12:14	40K
	nat_4__t51_nat_4	2013-09-04 12:14	61K
	nat_4__t52_nat_4	2013-09-04 12:14	49K
	nat_4__t53_nat_4	2013-09-04 12:14	79K
	nat_4__t54_nat_4	2013-09-04 12:14	80K
	nat_4__t55_nat_4	2013-09-04 12:14	63K
	nat_4__t56_nat_4	2013-09-04 12:15	335K