Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_notypes/scpqsort
Name
Last modified
Size
Description
Parent Directory
-
scpqsort__l2_scpqsort
2017-03-01 15:23
40K
scpqsort__l3_scpqsort
2017-03-01 15:23
50K
scpqsort__l11_scpqsort
2017-03-01 15:23
421K
scpqsort__l12_scpqsort
2017-03-01 15:23
166K
scpqsort__l13_scpqsort
2017-03-01 15:23
171K
scpqsort__l16_scpqsort
2017-03-01 15:23
92K
scpqsort__l17_scpqsort
2017-03-01 15:23
170K
scpqsort__l18_scpqsort
2017-03-01 15:23
548K
scpqsort__l19_scpqsort
2017-03-01 15:23
398K
scpqsort__l20_scpqsort
2017-03-01 15:23
80K
scpqsort__l21_scpqsort
2017-03-01 15:23
92K
scpqsort__l22_scpqsort
2017-03-01 15:23
80K
scpqsort__l23_scpqsort
2017-03-01 15:23
170K
scpqsort__l24_scpqsort
2017-03-01 15:23
548K
scpqsort__l25_scpqsort
2017-03-01 15:23
168K
scpqsort__l26_scpqsort
2017-03-01 15:23
112K
scpqsort__l27_scpqsort
2017-03-01 15:23
84K
scpqsort__l29_scpqsort
2017-03-01 15:23
161K
scpqsort__l30_scpqsort
2017-03-01 15:23
461K
scpqsort__l31_scpqsort
2017-03-01 15:23
22K
scpqsort__l32_scpqsort
2017-03-01 15:23
28K
scpqsort__l33_scpqsort
2017-03-01 15:23
35K
scpqsort__l34_scpqsort
2017-03-01 15:23
62K
scpqsort__l35_scpqsort
2017-03-01 15:23
36K
scpqsort__l36_scpqsort
2017-03-01 15:23
660K
scpqsort__l37_scpqsort
2017-03-01 15:23
433K
scpqsort__l38_scpqsort
2017-03-01 15:23
140K
scpqsort__l42_scpqsort
2017-03-01 15:23
665K
scpqsort__t1_scpqsort
2017-03-01 15:23
50K
scpqsort__t2_scpqsort
2017-03-01 15:23
122K
scpqsort__t3_scpqsort
2017-03-01 15:23
137K
scpqsort__t4_scpqsort
2017-03-01 15:23
38K
scpqsort__t5_scpqsort
2017-03-01 15:23
52K
scpqsort__t6_scpqsort
2017-03-01 15:23
53K
scpqsort__t7_scpqsort
2017-03-01 15:23
63K
scpqsort__t8_scpqsort
2017-03-01 15:23
39K
scpqsort__t9_scpqsort
2017-03-01 15:23
107K
scpqsort__t10_scpqsort
2017-03-01 15:23
401K
scpqsort__t11_scpqsort
2017-03-01 15:23
548K
scpqsort__t12_scpqsort
2017-03-01 15:23
57K
scpqsort__t13_scpqsort
2017-03-01 15:23
109K
scpqsort__t14_scpqsort
2017-03-01 15:23
115K
scpqsort__t15_scpqsort
2017-03-01 15:23
109K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80