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

	Name	Last modified	Size	Description
	Parent Directory		-
	scmisort__l37_scmisort	2013-09-04 12:43	195K
	scmisort__l38_scmisort	2013-09-04 12:43	196K
	scmisort__l39_scmisort	2013-09-04 12:43	149K
	scmisort__l40_scmisort	2013-09-04 12:43	489K
	scmisort__l41_scmisort	2013-09-04 12:43	133K
	scmisort__l42_scmisort	2013-09-04 12:43	102K
	scmisort__l43_scmisort	2013-09-04 12:43	102K
	scmisort__l44_scmisort	2013-09-04 12:43	111K
	scmisort__l45_scmisort	2013-09-04 12:43	131K
	scmisort__l46_scmisort	2013-09-04 12:43	139K
	scmisort__l47_scmisort	2013-09-04 12:43	166K
	scmisort__l48_scmisort	2013-09-04 12:43	179K
	scmisort__l50_scmisort	2013-09-04 12:43	148K
	scmisort__l51_scmisort	2013-09-04 12:43	124K
	scmisort__l52_scmisort	2013-09-04 12:43	124K
	scmisort__l53_scmisort	2013-09-04 12:43	222K
	scmisort__l54_scmisort	2013-09-04 12:43	507K
	scmisort__l55_scmisort	2013-09-04 12:43	195K
	scmisort__l56_scmisort	2013-09-04 12:43	550K
	scmisort__l57_scmisort	2013-09-04 12:43	211K
	scmisort__l58_scmisort	2013-09-04 12:43	629K
	scmisort__t1_scmisort	2013-09-04 12:43	75K
	scmisort__t2_scmisort	2013-09-04 12:43	240K
	scmisort__t3_scmisort	2013-09-04 12:43	75K
	scmisort__t4_scmisort	2013-09-04 12:43	89K
	scmisort__t5_scmisort	2013-09-04 12:43	83K
	scmisort__t6_scmisort	2013-09-04 12:43	88K
	scmisort__t7_scmisort	2013-09-04 12:43	89K
	scmisort__t8_scmisort	2013-09-04 12:43	84K
	scmisort__t9_scmisort	2013-09-04 12:43	117K
	scmisort__t10_scmisort	2013-09-04 12:43	106K
	scmisort__t11_scmisort	2013-09-04 12:43	94K
	scmisort__t12_scmisort	2013-09-04 12:43	95K
	scmisort__t13_scmisort	2013-09-04 12:43	160K
	scmisort__t14_scmisort	2013-09-04 12:43	197K
	scmisort__t15_scmisort	2013-09-04 12:43	86K
	scmisort__t16_scmisort	2013-09-04 12:43	86K
	scmisort__t17_scmisort	2013-09-04 12:43	88K
	scmisort__t18_scmisort	2013-09-04 12:43	240K
	scmisort__t19_scmisort	2013-09-04 12:43	207K
	scmisort__t20_scmisort	2013-09-04 12:43	62K
	scmisort__t21_scmisort	2013-09-04 12:43	208K
	scmisort__t22_scmisort	2013-09-04 12:43	137K
	scmisort__t23_scmisort	2013-09-04 12:43	117K
	scmisort__t24_scmisort	2013-09-04 12:43	96K
	scmisort__t25_scmisort	2013-09-04 12:43	94K
	scmisort__t26_scmisort	2013-09-04 12:43	77K
	scmisort__t27_scmisort	2013-09-04 12:43	76K
	scmisort__t28_scmisort	2013-09-04 12:43	125K
	scmisort__t29_scmisort	2013-09-04 12:43	115K
	scmisort__t30_scmisort	2013-09-04 12:43	58K
	scmisort__t31_scmisort	2013-09-04 12:43	58K
	scmisort__t32_scmisort	2013-09-04 12:43	116K
	scmisort__t33_scmisort	2013-09-04 12:43	110K
	scmisort__t34_scmisort	2013-09-04 12:43	130K
	scmisort__t35_scmisort	2013-09-04 12:43	263K
	scmisort__t36_scmisort	2013-09-04 12:43	161K
	scmisort__t37_scmisort	2013-09-04 12:43	179K
	scmisort__t38_scmisort	2013-09-04 12:43	216K
	scmisort__t39_scmisort	2013-09-04 12:43	182K