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

	Name	Last modified	Size	Description
	Parent Directory		-
	exchsort__l84_exchsort	2013-09-04 12:20	65K
	exchsort__t1_exchsort	2013-09-04 12:20	31K
	exchsort__t2_exchsort	2013-09-04 12:20	27K
	exchsort__t3_exchsort	2013-09-04 12:20	33K
	exchsort__t4_exchsort	2013-09-04 12:20	34K
	exchsort__t5_exchsort	2013-09-04 12:20	34K
	exchsort__t6_exchsort	2013-09-04 12:20	33K
	exchsort__t7_exchsort	2013-09-04 12:20	37K
	exchsort__t8_exchsort	2013-09-04 12:20	30K
	exchsort__t9_exchsort	2013-09-04 12:20	31K
	exchsort__t10_exchsort	2013-09-04 12:20	32K
	exchsort__t11_exchsort	2013-09-04 12:20	33K
	exchsort__t12_exchsort	2013-09-04 12:20	29K
	exchsort__t13_exchsort	2013-09-04 12:20	858
	exchsort__t14_exchsort	2013-09-04 12:20	28K
	exchsort__t15_exchsort	2013-09-04 12:20	30K
	exchsort__t16_exchsort	2013-09-04 12:20	30K
	exchsort__t17_exchsort	2013-09-04 12:20	1.1K
	exchsort__t18_exchsort	2013-09-04 12:20	29K
	exchsort__t19_exchsort	2013-09-04 12:20	29K
	exchsort__t20_exchsort	2013-09-04 12:20	30K
	exchsort__t21_exchsort	2013-09-04 12:20	1.3K
	exchsort__t22_exchsort	2013-09-04 12:20	34K
	exchsort__t23_exchsort	2013-09-04 12:20	34K
	exchsort__t24_exchsort	2013-09-04 12:20	32K
	exchsort__t25_exchsort	2013-09-04 12:20	46K
	exchsort__t26_exchsort	2013-09-04 12:20	48K
	exchsort__t27_exchsort	2013-09-04 12:20	44K
	exchsort__t28_exchsort	2013-09-04 12:20	41K
	exchsort__t29_exchsort	2013-09-04 12:20	34K
	exchsort__t30_exchsort	2013-09-04 12:20	32K
	exchsort__t31_exchsort	2013-09-04 12:20	33K
	exchsort__t32_exchsort	2013-09-04 12:20	32K
	exchsort__t33_exchsort	2013-09-04 12:20	33K
	exchsort__t34_exchsort	2013-09-04 12:20	32K
	exchsort__t35_exchsort	2013-09-04 12:20	33K
	exchsort__t36_exchsort	2013-09-04 12:20	33K
	exchsort__t37_exchsort	2013-09-04 12:20	47K
	exchsort__t38_exchsort	2013-09-04 12:20	47K
	exchsort__t39_exchsort	2013-09-04 12:20	52K
	exchsort__t40_exchsort	2013-09-04 12:20	47K
	exchsort__t41_exchsort	2013-09-04 12:20	45K
	exchsort__t42_exchsort	2013-09-04 12:20	54K
	exchsort__t43_exchsort	2013-09-04 12:20	50K
	exchsort__t44_exchsort	2013-09-04 12:20	34K
	exchsort__t45_exchsort	2013-09-04 12:20	34K
	exchsort__t46_exchsort	2013-09-04 12:20	44K
	exchsort__t47_exchsort	2013-09-04 12:20	52K
	exchsort__t48_exchsort	2013-09-04 12:20	45K
	exchsort__t49_exchsort	2013-09-04 12:20	44K
	exchsort__t50_exchsort	2013-09-04 12:20	45K
	exchsort__t51_exchsort	2013-09-04 12:20	47K
	exchsort__t52_exchsort	2013-09-04 12:20	46K
	exchsort__t53_exchsort	2013-09-04 12:20	47K
	exchsort__t54_exchsort	2013-09-04 12:20	47K
	exchsort__t55_exchsort	2013-09-04 12:20	47K
	exchsort__t56_exchsort	2013-09-04 12:20	47K
	exchsort__t57_exchsort	2013-09-04 12:20	47K
	exchsort__t58_exchsort	2013-09-04 12:20	48K
	exchsort__t59_exchsort	2013-09-04 12:20	36K
	exchsort__t60_exchsort	2013-09-04 12:20	42K
	exchsort__t61_exchsort	2013-09-04 12:20	66K
	exchsort__t62_exchsort	2013-09-04 12:20	62K
	exchsort__t63_exchsort	2013-09-04 12:20	62K
	exchsort__t64_exchsort	2013-09-04 12:20	65K
	exchsort__t65_exchsort	2013-09-04 12:20	65K
	exchsort__t66_exchsort	2013-09-04 12:20	61K
	exchsort__t67_exchsort	2013-09-04 12:20	63K
	exchsort__t68_exchsort	2013-09-04 12:20	64K
	exchsort__t69_exchsort	2013-09-04 12:20	61K
	exchsort__t70_exchsort	2013-09-04 12:20	64K
	exchsort__t71_exchsort	2013-09-04 12:20	71K
	exchsort__t72_exchsort	2013-09-04 12:20	75K
	exchsort__t73_exchsort	2013-09-04 12:20	77K
	exchsort__t74_exchsort	2013-09-04 12:20	49K
	exchsort__t75_exchsort	2013-09-04 12:20	51K
	exchsort__t76_exchsort	2013-09-04 12:20	54K
	exchsort__t77_exchsort	2013-09-04 12:20	52K
	exchsort__t78_exchsort	2013-09-04 12:20	61K
	exchsort__t79_exchsort	2013-09-04 12:20	38K
	exchsort__t80_exchsort	2013-09-04 12:20	38K
	exchsort__t81_exchsort	2013-09-04 12:20	43K
	exchsort__t82_exchsort	2013-09-04 12:20	33K
	exchsort__t83_exchsort	2013-09-04 12:20	38K
	exchsort__t84_exchsort	2013-09-04 12:20	33K
	exchsort__t85_exchsort	2013-09-04 12:20	70K
	exchsort__t86_exchsort	2013-09-04 12:20	41K