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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2017-01-13 17:45 132K 
[ ]scpqsort__l3_scpqsort2017-01-13 17:45 168K 
[ ]scpqsort__l11_scpqsort2017-01-13 17:45 902K 
[ ]scpqsort__l12_scpqsort2017-01-13 17:45 376K 
[ ]scpqsort__l13_scpqsort2017-01-13 17:45 397K 
[ ]scpqsort__l16_scpqsort2017-01-13 17:45 258K 
[ ]scpqsort__l17_scpqsort2017-01-13 17:45 442K 
[ ]scpqsort__l18_scpqsort2017-01-13 17:45 1.0M 
[ ]scpqsort__l19_scpqsort2017-01-13 17:45 826K 
[ ]scpqsort__l20_scpqsort2017-01-13 17:45 234K 
[ ]scpqsort__l21_scpqsort2017-01-13 17:45 258K 
[ ]scpqsort__l22_scpqsort2017-01-13 17:45 234K 
[ ]scpqsort__l23_scpqsort2017-01-13 17:45 442K 
[ ]scpqsort__l24_scpqsort2017-01-13 17:45 1.0M 
[ ]scpqsort__l25_scpqsort2017-01-13 17:45 428K 
[ ]scpqsort__l26_scpqsort2017-01-13 17:45 299K 
[ ]scpqsort__l27_scpqsort2017-01-13 17:45 243K 
[ ]scpqsort__l29_scpqsort2017-01-13 17:45 399K 
[ ]scpqsort__l30_scpqsort2017-01-13 17:45 953K 
[ ]scpqsort__l31_scpqsort2017-01-13 17:45 64K 
[ ]scpqsort__l32_scpqsort2017-01-13 17:45 77K 
[ ]scpqsort__l33_scpqsort2017-01-13 17:45 90K 
[ ]scpqsort__l34_scpqsort2017-01-13 17:45 183K 
[ ]scpqsort__l35_scpqsort2017-01-13 17:45 118K 
[ ]scpqsort__l36_scpqsort2017-01-13 17:45 1.1M 
[ ]scpqsort__l37_scpqsort2017-01-13 17:45 879K 
[ ]scpqsort__l38_scpqsort2017-01-13 17:45 361K 
[ ]scpqsort__l42_scpqsort2017-01-13 17:45 1.3M 
[ ]scpqsort__t1_scpqsort2017-01-13 17:45 179K 
[ ]scpqsort__t2_scpqsort2017-01-13 17:45 384K 
[ ]scpqsort__t3_scpqsort2017-01-13 17:45 377K 
[ ]scpqsort__t4_scpqsort2017-01-13 17:45 121K 
[ ]scpqsort__t5_scpqsort2017-01-13 17:45 181K 
[ ]scpqsort__t6_scpqsort2017-01-13 17:45 187K 
[ ]scpqsort__t7_scpqsort2017-01-13 17:45 211K 
[ ]scpqsort__t8_scpqsort2017-01-13 17:45 103K 
[ ]scpqsort__t9_scpqsort2017-01-13 17:45 289K 
[ ]scpqsort__t10_scpqsort2017-01-13 17:45 845K 
[ ]scpqsort__t11_scpqsort2017-01-13 17:45 1.1M 
[ ]scpqsort__t12_scpqsort2017-01-13 17:45 188K 
[ ]scpqsort__t13_scpqsort2017-01-13 17:45 299K 
[ ]scpqsort__t14_scpqsort2017-01-13 17:45 329K 
[ ]scpqsort__t15_scpqsort2017-01-13 17:45 300K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80