Index of /~mptp/1147/MPTP2/problems/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2023-06-28 00:28 82K 
[ ]scpqsort__l3_scpqsort2023-06-28 00:28 105K 
[ ]scpqsort__l11_scpqsort2023-06-28 00:28 760K 
[ ]scpqsort__l12_scpqsort2023-06-28 00:28 304K 
[ ]scpqsort__l13_scpqsort2023-06-28 00:28 318K 
[ ]scpqsort__l16_scpqsort2023-06-28 00:29 182K 
[ ]scpqsort__l17_scpqsort2023-06-28 00:29 335K 
[ ]scpqsort__l18_scpqsort2023-06-28 00:29 917K 
[ ]scpqsort__l19_scpqsort2023-06-28 00:29 713K 
[ ]scpqsort__l20_scpqsort2023-06-28 00:29 159K 
[ ]scpqsort__l21_scpqsort2023-06-28 00:29 182K 
[ ]scpqsort__l22_scpqsort2023-06-28 00:29 160K 
[ ]scpqsort__l23_scpqsort2023-06-28 00:29 335K 
[ ]scpqsort__l24_scpqsort2023-06-28 00:29 917K 
[ ]scpqsort__l25_scpqsort2023-06-28 00:29 326K 
[ ]scpqsort__l26_scpqsort2023-06-28 00:29 216K 
[ ]scpqsort__l27_scpqsort2023-06-28 00:29 166K 
[ ]scpqsort__l29_scpqsort2023-06-28 00:29 309K 
[ ]scpqsort__l30_scpqsort2023-06-28 00:29 822K 
[ ]scpqsort__l31_scpqsort2023-06-28 00:29 41K 
[ ]scpqsort__l32_scpqsort2023-06-28 00:29 51K 
[ ]scpqsort__l33_scpqsort2023-06-28 00:29 63K 
[ ]scpqsort__l34_scpqsort2023-06-28 00:29 124K 
[ ]scpqsort__l35_scpqsort2023-06-28 00:29 72K 
[ ]scpqsort__l36_scpqsort2023-06-28 00:29 1.0M 
[ ]scpqsort__l37_scpqsort2023-06-28 00:29 765K 
[ ]scpqsort__l38_scpqsort2023-06-28 00:29 274K 
[ ]scpqsort__l42_scpqsort2023-06-28 00:29 1.2M 
[ ]scpqsort__t1_scpqsort2023-06-28 00:28 110K 
[ ]scpqsort__t2_scpqsort2023-06-28 00:28 263K 
[ ]scpqsort__t3_scpqsort2023-06-28 00:28 273K 
[ ]scpqsort__t4_scpqsort2023-06-28 00:28 75K 
[ ]scpqsort__t5_scpqsort2023-06-28 00:28 113K 
[ ]scpqsort__t6_scpqsort2023-06-28 00:28 116K 
[ ]scpqsort__t7_scpqsort2023-06-28 00:28 135K 
[ ]scpqsort__t8_scpqsort2023-06-28 00:28 72K 
[ ]scpqsort__t9_scpqsort2023-06-28 00:28 208K 
[ ]scpqsort__t10_scpqsort2023-06-28 00:28 724K 
[ ]scpqsort__t11_scpqsort2023-06-28 00:28 1.0M 
[ ]scpqsort__t12_scpqsort2023-06-28 00:28 118K 
[ ]scpqsort__t13_scpqsort2023-06-28 00:28 214K 
[ ]scpqsort__t14_scpqsort2023-06-28 00:28 232K 
[ ]scpqsort__t15_scpqsort2023-06-28 00:28 215K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80