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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpisort__l12_scpisort2019-08-20 22:53 111K 
[ ]scpisort__l13_scpisort2019-08-20 22:53 123K 
[ ]scpisort__l14_scpisort2019-08-20 22:53 164K 
[ ]scpisort__l19_scpisort2019-08-20 23:04 290K 
[ ]scpisort__l20_scpisort2019-08-20 23:04 304K 
[ ]scpisort__l21_scpisort2019-08-20 23:08 1.5M 
[ ]scpisort__l22_scpisort2019-08-20 23:21 5.9M 
[ ]scpisort__l23_scpisort2019-08-20 23:22 656K 
[ ]scpisort__l24_scpisort2019-08-20 23:24 1.6M 
[ ]scpisort__l25_scpisort2019-08-20 23:27 796K 
[ ]scpisort__l26_scpisort2019-08-20 23:29 1.1M 
[ ]scpisort__l27_scpisort2019-08-20 23:30 893K 
[ ]scpisort__l28_scpisort2019-08-20 23:31 912K 
[ ]scpisort__l31_scpisort2019-08-20 23:33 677K 
[ ]scpisort__l33_scpisort2019-08-20 23:42 3.7M 
[ ]scpisort__s1_scpisort2019-08-20 22:58 1.7M 
[ ]scpisort__s2_scpisort2019-08-20 23:01 1.3M 
[ ]scpisort__s3_scpisort2019-08-20 23:02 393K 
[ ]scpisort__t1_scpisort2019-08-20 22:51 132K 
[ ]scpisort__t2_scpisort2019-08-20 22:52 101K 
[ ]scpisort__t3_scpisort2019-08-20 22:52 88K 
[ ]scpisort__t4_scpisort2019-08-20 22:52 108K 
[ ]scpisort__t5_scpisort2019-08-20 22:52 129K 
[ ]scpisort__t6_scpisort2019-08-20 22:52 130K 
[ ]scpisort__t7_scpisort2019-08-20 22:52 132K 
[ ]scpisort__t8_scpisort2019-08-20 22:52 120K 
[ ]scpisort__t9_scpisort2019-08-20 22:52 123K 
[ ]scpisort__t10_scpisort2019-08-20 22:52 129K 
[ ]scpisort__t11_scpisort2019-08-20 23:03 324K 
[ ]scpisort__t12_scpisort2019-08-20 23:03 342K 
[ ]scpisort__t13_scpisort2019-08-20 23:03 152K 
[ ]scpisort__t14_scpisort2019-08-20 23:31 407K 
[ ]scpisort__t15_scpisort2019-08-20 23:33 613K 
[ ]scpisort__t16_scpisort2019-08-20 23:39 5.8M 
[ ]scpisort__t17_scpisort2019-08-20 23:45 1.6M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80