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

	Name	Last modified	Size	Description
	Parent Directory		-
	abcmiz_a__t1_abcmiz_a	2013-09-04 12:37	22K
	abcmiz_a__t2_abcmiz_a	2013-09-04 12:37	23K
	abcmiz_a__t3_abcmiz_a	2013-09-04 12:37	60K
	abcmiz_a__t4_abcmiz_a	2013-09-04 12:37	41K
	abcmiz_a__t5_abcmiz_a	2013-09-04 12:37	56K
	abcmiz_a__t6_abcmiz_a	2013-09-04 12:37	66K
	abcmiz_a__t7_abcmiz_a	2013-09-04 12:37	24K
	abcmiz_a__t8_abcmiz_a	2013-09-04 12:37	31K
	abcmiz_a__t9_abcmiz_a	2013-09-04 12:37	20K
	abcmiz_a__t10_abcmiz_a	2013-09-04 12:37	41K
	abcmiz_a__t11_abcmiz_a	2013-09-04 12:37	91K
	abcmiz_a__t12_abcmiz_a	2013-09-04 12:37	69K
	abcmiz_a__t13_abcmiz_a	2013-09-04 12:37	98K
	abcmiz_a__t14_abcmiz_a	2013-09-04 12:37	54K
	abcmiz_a__t15_abcmiz_a	2013-09-04 12:37	80K
	abcmiz_a__t16_abcmiz_a	2013-09-04 12:37	61K
	abcmiz_a__t17_abcmiz_a	2013-09-04 12:37	75K
	abcmiz_a__t18_abcmiz_a	2013-09-04 12:37	165K
	abcmiz_a__t19_abcmiz_a	2013-09-04 12:37	163K
	abcmiz_a__t20_abcmiz_a	2013-09-04 12:37	80K
	abcmiz_a__t21_abcmiz_a	2013-09-04 12:37	140K
	abcmiz_a__t22_abcmiz_a	2013-09-04 12:37	52K
	abcmiz_a__t23_abcmiz_a	2013-09-04 12:37	55K
	abcmiz_a__t24_abcmiz_a	2013-09-04 12:37	159K
	abcmiz_a__t25_abcmiz_a	2013-09-04 12:37	85K
	abcmiz_a__t26_abcmiz_a	2013-09-04 12:37	156K
	abcmiz_a__t27_abcmiz_a	2013-09-04 12:37	33K
	abcmiz_a__t28_abcmiz_a	2013-09-04 12:37	29K
	abcmiz_a__t29_abcmiz_a	2013-09-04 12:37	38K
	abcmiz_a__t30_abcmiz_a	2013-09-04 12:37	39K
	abcmiz_a__t31_abcmiz_a	2013-09-04 12:37	38K
	abcmiz_a__t32_abcmiz_a	2013-09-04 12:37	82K
	abcmiz_a__t33_abcmiz_a	2013-09-04 12:37	44K
	abcmiz_a__t34_abcmiz_a	2013-09-04 12:37	50K
	abcmiz_a__t35_abcmiz_a	2013-09-04 12:37	63K
	abcmiz_a__t36_abcmiz_a	2013-09-04 12:37	54K
	abcmiz_a__t37_abcmiz_a	2013-09-04 12:37	35K
	abcmiz_a__t38_abcmiz_a	2013-09-04 12:37	59K
	abcmiz_a__t39_abcmiz_a	2013-09-04 12:37	82K
	abcmiz_a__t40_abcmiz_a	2013-09-04 12:37	46K
	abcmiz_a__t41_abcmiz_a	2013-09-04 12:37	71K
	abcmiz_a__t42_abcmiz_a	2013-09-04 12:37	42K
	abcmiz_a__t43_abcmiz_a	2013-09-04 12:37	68K
	abcmiz_a__t44_abcmiz_a	2013-09-04 12:37	71K
	abcmiz_a__t45_abcmiz_a	2013-09-04 12:37	89K
	abcmiz_a__t46_abcmiz_a	2013-09-04 12:37	94K
	abcmiz_a__t47_abcmiz_a	2013-09-04 12:37	94K
	abcmiz_a__t48_abcmiz_a	2013-09-04 12:37	62K
	abcmiz_a__t49_abcmiz_a	2013-09-04 12:37	67K
	abcmiz_a__t50_abcmiz_a	2013-09-04 12:37	51K
	abcmiz_a__t51_abcmiz_a	2013-09-04 12:37	56K
	abcmiz_a__t52_abcmiz_a	2013-09-04 12:37	60K
	abcmiz_a__t53_abcmiz_a	2013-09-04 12:37	50K
	abcmiz_a__t54_abcmiz_a	2013-09-04 12:37	61K
	abcmiz_a__t55_abcmiz_a	2013-09-04 12:37	51K
	abcmiz_a__t56_abcmiz_a	2013-09-04 12:37	51K
	abcmiz_a__t57_abcmiz_a	2013-09-04 12:37	64K
	abcmiz_a__t58_abcmiz_a	2013-09-04 12:37	70K
	abcmiz_a__t59_abcmiz_a	2013-09-04 12:37	68K
	abcmiz_a__t60_abcmiz_a	2013-09-04 12:37	71K