Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2016-03-08 13:09 82K 
[ ]scpqsort__l3_scpqsort2016-03-08 13:09 105K 
[ ]scpqsort__l11_scpqsort2016-03-08 13:09 734K 
[ ]scpqsort__l12_scpqsort2016-03-08 13:09 295K 
[ ]scpqsort__l13_scpqsort2016-03-08 13:09 309K 
[ ]scpqsort__l16_scpqsort2016-03-08 13:09 180K 
[ ]scpqsort__l17_scpqsort2016-03-08 13:09 330K 
[ ]scpqsort__l18_scpqsort2016-03-08 13:09 881K 
[ ]scpqsort__l19_scpqsort2016-03-08 13:09 687K 
[ ]scpqsort__l20_scpqsort2016-03-08 13:09 158K 
[ ]scpqsort__l21_scpqsort2016-03-08 13:09 180K 
[ ]scpqsort__l22_scpqsort2016-03-08 13:09 159K 
[ ]scpqsort__l23_scpqsort2016-03-08 13:09 330K 
[ ]scpqsort__l24_scpqsort2016-03-08 13:09 881K 
[ ]scpqsort__l25_scpqsort2016-03-08 13:09 320K 
[ ]scpqsort__l26_scpqsort2016-03-08 13:09 214K 
[ ]scpqsort__l27_scpqsort2016-03-08 13:09 165K 
[ ]scpqsort__l29_scpqsort2016-03-08 13:09 303K 
[ ]scpqsort__l30_scpqsort2016-03-08 13:09 790K 
[ ]scpqsort__l31_scpqsort2016-03-08 13:09 41K 
[ ]scpqsort__l32_scpqsort2016-03-08 13:09 51K 
[ ]scpqsort__l33_scpqsort2016-03-08 13:09 62K 
[ ]scpqsort__l34_scpqsort2016-03-08 13:09 123K 
[ ]scpqsort__l35_scpqsort2016-03-08 13:09 73K 
[ ]scpqsort__l36_scpqsort2016-03-08 13:09 961K 
[ ]scpqsort__l37_scpqsort2016-03-08 13:09 735K 
[ ]scpqsort__l38_scpqsort2016-03-08 13:09 269K 
[ ]scpqsort__l42_scpqsort2016-03-08 13:09 1.1M 
[ ]scpqsort__t1_scpqsort2016-03-08 13:09 110K 
[ ]scpqsort__t2_scpqsort2016-03-08 13:09 261K 
[ ]scpqsort__t3_scpqsort2016-03-08 13:09 269K 
[ ]scpqsort__t4_scpqsort2016-03-08 13:09 75K 
[ ]scpqsort__t5_scpqsort2016-03-08 13:09 113K 
[ ]scpqsort__t6_scpqsort2016-03-08 13:09 114K 
[ ]scpqsort__t7_scpqsort2016-03-08 13:09 133K 
[ ]scpqsort__t8_scpqsort2016-03-08 13:09 71K 
[ ]scpqsort__t9_scpqsort2016-03-08 13:09 206K 
[ ]scpqsort__t10_scpqsort2016-03-08 13:09 697K 
[ ]scpqsort__t11_scpqsort2016-03-08 13:09 941K 
[ ]scpqsort__t12_scpqsort2016-03-08 13:09 118K 
[ ]scpqsort__t13_scpqsort2016-03-08 13:09 211K 
[ ]scpqsort__t14_scpqsort2016-03-08 13:09 229K 
[ ]scpqsort__t15_scpqsort2016-03-08 13:09 212K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80