Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/scpqsort
Name
Last modified
Size
Description
Parent Directory
-
scpqsort__t9_scpqsort
2016-03-08 13:09
206K
scpqsort__t8_scpqsort
2016-03-08 13:09
71K
scpqsort__t7_scpqsort
2016-03-08 13:09
133K
scpqsort__t6_scpqsort
2016-03-08 13:09
114K
scpqsort__t5_scpqsort
2016-03-08 13:09
113K
scpqsort__t4_scpqsort
2016-03-08 13:09
75K
scpqsort__t3_scpqsort
2016-03-08 13:09
269K
scpqsort__t2_scpqsort
2016-03-08 13:09
261K
scpqsort__t1_scpqsort
2016-03-08 13:09
110K
scpqsort__t15_scpqsort
2016-03-08 13:09
212K
scpqsort__t14_scpqsort
2016-03-08 13:09
229K
scpqsort__t13_scpqsort
2016-03-08 13:09
211K
scpqsort__t12_scpqsort
2016-03-08 13:09
118K
scpqsort__t11_scpqsort
2016-03-08 13:09
941K
scpqsort__t10_scpqsort
2016-03-08 13:09
697K
scpqsort__l42_scpqsort
2016-03-08 13:09
1.1M
scpqsort__l3_scpqsort
2016-03-08 13:09
105K
scpqsort__l38_scpqsort
2016-03-08 13:09
269K
scpqsort__l37_scpqsort
2016-03-08 13:09
735K
scpqsort__l36_scpqsort
2016-03-08 13:09
961K
scpqsort__l35_scpqsort
2016-03-08 13:09
73K
scpqsort__l34_scpqsort
2016-03-08 13:09
123K
scpqsort__l33_scpqsort
2016-03-08 13:09
62K
scpqsort__l32_scpqsort
2016-03-08 13:09
51K
scpqsort__l31_scpqsort
2016-03-08 13:09
41K
scpqsort__l30_scpqsort
2016-03-08 13:09
790K
scpqsort__l2_scpqsort
2016-03-08 13:09
82K
scpqsort__l29_scpqsort
2016-03-08 13:09
303K
scpqsort__l27_scpqsort
2016-03-08 13:09
165K
scpqsort__l26_scpqsort
2016-03-08 13:09
214K
scpqsort__l25_scpqsort
2016-03-08 13:09
320K
scpqsort__l24_scpqsort
2016-03-08 13:09
881K
scpqsort__l23_scpqsort
2016-03-08 13:09
330K
scpqsort__l22_scpqsort
2016-03-08 13:09
159K
scpqsort__l21_scpqsort
2016-03-08 13:09
180K
scpqsort__l20_scpqsort
2016-03-08 13:09
158K
scpqsort__l19_scpqsort
2016-03-08 13:09
687K
scpqsort__l18_scpqsort
2016-03-08 13:09
881K
scpqsort__l17_scpqsort
2016-03-08 13:09
330K
scpqsort__l16_scpqsort
2016-03-08 13:09
180K
scpqsort__l13_scpqsort
2016-03-08 13:09
309K
scpqsort__l12_scpqsort
2016-03-08 13:09
295K
scpqsort__l11_scpqsort
2016-03-08 13:09
734K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80