Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2017-01-13 19:10 83K 
[ ]scpqsort__l3_scpqsort2017-01-13 19:10 105K 
[ ]scpqsort__l11_scpqsort2017-01-13 19:10 777K 
[ ]scpqsort__l12_scpqsort2017-01-13 19:10 310K 
[ ]scpqsort__l13_scpqsort2017-01-13 19:10 324K 
[ ]scpqsort__l16_scpqsort2017-01-13 19:10 185K 
[ ]scpqsort__l17_scpqsort2017-01-13 19:10 342K 
[ ]scpqsort__l18_scpqsort2017-01-13 19:10 940K 
[ ]scpqsort__l19_scpqsort2017-01-13 19:10 729K 
[ ]scpqsort__l20_scpqsort2017-01-13 19:10 162K 
[ ]scpqsort__l21_scpqsort2017-01-13 19:10 185K 
[ ]scpqsort__l22_scpqsort2017-01-13 19:10 162K 
[ ]scpqsort__l23_scpqsort2017-01-13 19:10 342K 
[ ]scpqsort__l24_scpqsort2017-01-13 19:10 939K 
[ ]scpqsort__l25_scpqsort2017-01-13 19:10 332K 
[ ]scpqsort__l26_scpqsort2017-01-13 19:10 221K 
[ ]scpqsort__l27_scpqsort2017-01-13 19:10 168K 
[ ]scpqsort__l29_scpqsort2017-01-13 19:10 315K 
[ ]scpqsort__l30_scpqsort2017-01-13 19:10 838K 
[ ]scpqsort__l31_scpqsort2017-01-13 19:10 41K 
[ ]scpqsort__l32_scpqsort2017-01-13 19:10 52K 
[ ]scpqsort__l33_scpqsort2017-01-13 19:10 64K 
[ ]scpqsort__l34_scpqsort2017-01-13 19:10 125K 
[ ]scpqsort__l35_scpqsort2017-01-13 19:10 73K 
[ ]scpqsort__l36_scpqsort2017-01-13 19:10 1.0M 
[ ]scpqsort__l37_scpqsort2017-01-13 19:10 781K 
[ ]scpqsort__l38_scpqsort2017-01-13 19:10 279K 
[ ]scpqsort__l42_scpqsort2017-01-13 19:10 1.2M 
[ ]scpqsort__t1_scpqsort2017-01-13 19:10 111K 
[ ]scpqsort__t2_scpqsort2017-01-13 19:10 266K 
[ ]scpqsort__t3_scpqsort2017-01-13 19:10 277K 
[ ]scpqsort__t4_scpqsort2017-01-13 19:10 75K 
[ ]scpqsort__t5_scpqsort2017-01-13 19:10 113K 
[ ]scpqsort__t6_scpqsort2017-01-13 19:10 117K 
[ ]scpqsort__t7_scpqsort2017-01-13 19:10 136K 
[ ]scpqsort__t8_scpqsort2017-01-13 19:10 73K 
[ ]scpqsort__t9_scpqsort2017-01-13 19:10 212K 
[ ]scpqsort__t10_scpqsort2017-01-13 19:10 740K 
[ ]scpqsort__t11_scpqsort2017-01-13 19:10 1.0M 
[ ]scpqsort__t12_scpqsort2017-01-13 19:10 118K 
[ ]scpqsort__t13_scpqsort2017-01-13 19:10 216K 
[ ]scpqsort__t14_scpqsort2017-01-13 19:10 234K 
[ ]scpqsort__t15_scpqsort2017-01-13 19:10 217K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80