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

	Name	Last modified	Size	Description
	Parent Directory		-
	scmbsort__l34_scmbsort	2013-09-04 12:42	52K
	scmbsort__l35_scmbsort	2013-09-04 12:42	52K
	scmbsort__l36_scmbsort	2013-09-04 12:42	52K
	scmbsort__l37_scmbsort	2013-09-04 12:42	52K
	scmbsort__l38_scmbsort	2013-09-04 12:42	51K
	scmbsort__l39_scmbsort	2013-09-04 12:42	51K
	scmbsort__l40_scmbsort	2013-09-04 12:43	52K
	scmbsort__l41_scmbsort	2013-09-04 12:43	52K
	scmbsort__l42_scmbsort	2013-09-04 12:43	52K
	scmbsort__l43_scmbsort	2013-09-04 12:43	51K
	scmbsort__l44_scmbsort	2013-09-04 12:43	52K
	scmbsort__l45_scmbsort	2013-09-04 12:43	52K
	scmbsort__l46_scmbsort	2013-09-04 12:43	52K
	scmbsort__l47_scmbsort	2013-09-04 12:43	52K
	scmbsort__l48_scmbsort	2013-09-04 12:43	52K
	scmbsort__l49_scmbsort	2013-09-04 12:43	52K
	scmbsort__l50_scmbsort	2013-09-04 12:43	52K
	scmbsort__l51_scmbsort	2013-09-04 12:43	52K
	scmbsort__l52_scmbsort	2013-09-04 12:43	52K
	scmbsort__l61_scmbsort	2013-09-04 12:43	203K
	scmbsort__l62_scmbsort	2013-09-04 12:43	176K
	scmbsort__l63_scmbsort	2013-09-04 12:43	120K
	scmbsort__l64_scmbsort	2013-09-04 12:43	157K
	scmbsort__l65_scmbsort	2013-09-04 12:43	113K
	scmbsort__l66_scmbsort	2013-09-04 12:43	132K
	scmbsort__l67_scmbsort	2013-09-04 12:43	164K
	scmbsort__l69_scmbsort	2013-09-04 12:43	159K
	scmbsort__l70_scmbsort	2013-09-04 12:43	154K
	scmbsort__l71_scmbsort	2013-09-04 12:43	443K
	scmbsort__l72_scmbsort	2013-09-04 12:43	560K
	scmbsort__l73_scmbsort	2013-09-04 12:43	581K
	scmbsort__l74_scmbsort	2013-09-04 12:43	157K
	scmbsort__l75_scmbsort	2013-09-04 12:43	627K
	scmbsort__t1_scmbsort	2013-09-04 12:43	83K
	scmbsort__t2_scmbsort	2013-09-04 12:43	67K
	scmbsort__t3_scmbsort	2013-09-04 12:43	69K
	scmbsort__t4_scmbsort	2013-09-04 12:43	93K
	scmbsort__t5_scmbsort	2013-09-04 12:43	90K
	scmbsort__t6_scmbsort	2013-09-04 12:43	89K
	scmbsort__t7_scmbsort	2013-09-04 12:43	65K
	scmbsort__t8_scmbsort	2013-09-04 12:43	61K
	scmbsort__t9_scmbsort	2013-09-04 12:43	65K
	scmbsort__t10_scmbsort	2013-09-04 12:43	64K
	scmbsort__t11_scmbsort	2013-09-04 12:43	63K
	scmbsort__t12_scmbsort	2013-09-04 12:43	63K
	scmbsort__t13_scmbsort	2013-09-04 12:43	58K
	scmbsort__t14_scmbsort	2013-09-04 12:43	564K
	scmbsort__t15_scmbsort	2013-09-04 12:43	74K
	scmbsort__t16_scmbsort	2013-09-04 12:43	87K
	scmbsort__t17_scmbsort	2013-09-04 12:43	71K
	scmbsort__t18_scmbsort	2013-09-04 12:43	97K
	scmbsort__t19_scmbsort	2013-09-04 12:43	79K
	scmbsort__t20_scmbsort	2013-09-04 12:43	98K
	scmbsort__t22_scmbsort	2013-09-04 12:43	90K
	scmbsort__t23_scmbsort	2013-09-04 12:43	57K
	scmbsort__t26_scmbsort	2013-09-04 12:43	62K
	scmbsort__t27_scmbsort	2013-09-04 12:43	101K
	scmbsort__t28_scmbsort	2013-09-04 12:43	101K
	scmbsort__t32_scmbsort	2013-09-04 12:43	58K
	scmbsort__t33_scmbsort	2013-09-04 12:43	94K
	scmbsort__t34_scmbsort	2013-09-04 12:43	124K
	scmbsort__t35_scmbsort	2013-09-04 12:43	119K
	scmbsort__t38_scmbsort	2013-09-04 12:43	112K
	scmbsort__t39_scmbsort	2013-09-04 12:43	147K
	scmbsort__t40_scmbsort	2013-09-04 12:42	131K
	scmbsort__t41_scmbsort	2013-09-04 12:43	193K
	scmbsort__t42_scmbsort	2013-09-04 12:43	162K
	scmbsort__t43_scmbsort	2013-09-04 12:43	180K
	scmbsort__t44_scmbsort	2013-09-04 12:43	215K
	scmbsort__t45_scmbsort	2013-09-04 12:43	183K