Index of /~mptp/1147/mptp/problems_thf_tls/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2017-01-12 22:05 82K 
[ ]scpqsort__l3_scpqsort2017-01-12 22:05 105K 
[ ]scpqsort__l11_scpqsort2017-01-12 22:05 734K 
[ ]scpqsort__l12_scpqsort2017-01-12 22:05 295K 
[ ]scpqsort__l13_scpqsort2017-01-12 22:05 309K 
[ ]scpqsort__l16_scpqsort2017-01-12 22:05 180K 
[ ]scpqsort__l17_scpqsort2017-01-12 22:05 330K 
[ ]scpqsort__l18_scpqsort2017-01-12 22:05 881K 
[ ]scpqsort__l19_scpqsort2017-01-12 22:05 687K 
[ ]scpqsort__l20_scpqsort2017-01-12 22:05 158K 
[ ]scpqsort__l21_scpqsort2017-01-12 22:05 180K 
[ ]scpqsort__l22_scpqsort2017-01-12 22:05 159K 
[ ]scpqsort__l23_scpqsort2017-01-12 22:05 330K 
[ ]scpqsort__l24_scpqsort2017-01-12 22:05 881K 
[ ]scpqsort__l25_scpqsort2017-01-12 22:05 320K 
[ ]scpqsort__l26_scpqsort2017-01-12 22:05 214K 
[ ]scpqsort__l27_scpqsort2017-01-12 22:05 165K 
[ ]scpqsort__l29_scpqsort2017-01-12 22:06 303K 
[ ]scpqsort__l30_scpqsort2017-01-12 22:06 790K 
[ ]scpqsort__l31_scpqsort2017-01-12 22:06 41K 
[ ]scpqsort__l32_scpqsort2017-01-12 22:06 51K 
[ ]scpqsort__l33_scpqsort2017-01-12 22:06 62K 
[ ]scpqsort__l34_scpqsort2017-01-12 22:06 123K 
[ ]scpqsort__l35_scpqsort2017-01-12 22:06 73K 
[ ]scpqsort__l36_scpqsort2017-01-12 22:06 961K 
[ ]scpqsort__l37_scpqsort2017-01-12 22:06 735K 
[ ]scpqsort__l38_scpqsort2017-01-12 22:06 269K 
[ ]scpqsort__l42_scpqsort2017-01-12 22:06 1.1M 
[ ]scpqsort__t1_scpqsort2017-01-12 22:05 110K 
[ ]scpqsort__t2_scpqsort2017-01-12 22:05 261K 
[ ]scpqsort__t3_scpqsort2017-01-12 22:05 269K 
[ ]scpqsort__t4_scpqsort2017-01-12 22:05 75K 
[ ]scpqsort__t5_scpqsort2017-01-12 22:05 113K 
[ ]scpqsort__t6_scpqsort2017-01-12 22:05 116K 
[ ]scpqsort__t7_scpqsort2017-01-12 22:05 135K 
[ ]scpqsort__t8_scpqsort2017-01-12 22:05 71K 
[ ]scpqsort__t9_scpqsort2017-01-12 22:05 206K 
[ ]scpqsort__t10_scpqsort2017-01-12 22:05 697K 
[ ]scpqsort__t11_scpqsort2017-01-12 22:05 941K 
[ ]scpqsort__t12_scpqsort2017-01-12 22:05 118K 
[ ]scpqsort__t13_scpqsort2017-01-12 22:05 211K 
[ ]scpqsort__t14_scpqsort2017-01-12 22:05 229K 
[ ]scpqsort__t15_scpqsort2017-01-12 22:05 212K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80