Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/scpisort

	Name	Last modified	Size	Description
	Parent Directory		-
	scpisort__l12_scpisort	2017-01-12 22:14	73K
	scpisort__l13_scpisort	2017-01-12 22:14	76K
	scpisort__l14_scpisort	2017-01-12 22:14	94K
	scpisort__l19_scpisort	2017-01-12 22:14	156K
	scpisort__l20_scpisort	2017-01-12 22:14	169K
	scpisort__l21_scpisort	2017-01-12 22:14	566K
	scpisort__l22_scpisort	2017-01-12 22:14	1.0M
	scpisort__l23_scpisort	2017-01-12 22:14	271K
	scpisort__l24_scpisort	2017-01-12 22:14	278K
	scpisort__l25_scpisort	2017-01-12 22:14	219K
	scpisort__l26_scpisort	2017-01-12 22:14	311K
	scpisort__l27_scpisort	2017-01-12 22:14	305K
	scpisort__l28_scpisort	2017-01-12 22:14	307K
	scpisort__l31_scpisort	2017-01-12 22:14	273K
	scpisort__l33_scpisort	2017-01-12 22:14	859K
	scpisort__s1_scpisort	2017-01-12 22:14	1.0M
	scpisort__s2_scpisort	2017-01-12 22:14	1.0M
	scpisort__s3_scpisort	2017-01-12 22:14	139K
	scpisort__t1_scpisort	2017-01-12 22:14	66K
	scpisort__t2_scpisort	2017-01-12 22:14	65K
	scpisort__t3_scpisort	2017-01-12 22:14	37K
	scpisort__t4_scpisort	2017-01-12 22:14	80K
	scpisort__t5_scpisort	2017-01-12 22:14	85K
	scpisort__t6_scpisort	2017-01-12 22:14	82K
	scpisort__t7_scpisort	2017-01-12 22:14	82K
	scpisort__t8_scpisort	2017-01-12 22:14	79K
	scpisort__t9_scpisort	2017-01-12 22:14	79K
	scpisort__t10_scpisort	2017-01-12 22:14	85K
	scpisort__t11_scpisort	2017-01-12 22:14	103K
	scpisort__t12_scpisort	2017-01-12 22:14	103K
	scpisort__t13_scpisort	2017-01-12 22:14	70K
	scpisort__t14_scpisort	2017-01-12 22:14	212K
	scpisort__t15_scpisort	2017-01-12 22:14	271K
	scpisort__t16_scpisort	2017-01-12 22:14	859K
	scpisort__t17_scpisort	2017-01-12 22:14	674K