Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2017-01-13 00:45 132K 
[ ]scpqsort__l3_scpqsort2017-01-13 00:45 168K 
[ ]scpqsort__l11_scpqsort2017-01-13 00:45 859K 
[ ]scpqsort__l12_scpqsort2017-01-13 00:45 361K 
[ ]scpqsort__l13_scpqsort2017-01-13 00:45 382K 
[ ]scpqsort__l16_scpqsort2017-01-13 00:45 253K 
[ ]scpqsort__l17_scpqsort2017-01-13 00:45 430K 
[ ]scpqsort__l18_scpqsort2017-01-13 00:45 1.0M 
[ ]scpqsort__l19_scpqsort2017-01-13 00:45 784K 
[ ]scpqsort__l20_scpqsort2017-01-13 00:45 231K 
[ ]scpqsort__l21_scpqsort2017-01-13 00:45 253K 
[ ]scpqsort__l22_scpqsort2017-01-13 00:45 231K 
[ ]scpqsort__l23_scpqsort2017-01-13 00:45 430K 
[ ]scpqsort__l24_scpqsort2017-01-13 00:45 1.0M 
[ ]scpqsort__l25_scpqsort2017-01-13 00:45 416K 
[ ]scpqsort__l26_scpqsort2017-01-13 00:45 292K 
[ ]scpqsort__l27_scpqsort2017-01-13 00:45 239K 
[ ]scpqsort__l29_scpqsort2017-01-13 00:45 387K 
[ ]scpqsort__l30_scpqsort2017-01-13 00:45 905K 
[ ]scpqsort__l31_scpqsort2017-01-13 00:45 64K 
[ ]scpqsort__l32_scpqsort2017-01-13 00:45 76K 
[ ]scpqsort__l33_scpqsort2017-01-13 00:45 88K 
[ ]scpqsort__l34_scpqsort2017-01-13 00:45 181K 
[ ]scpqsort__l35_scpqsort2017-01-13 00:45 118K 
[ ]scpqsort__l36_scpqsort2017-01-13 00:45 1.0M 
[ ]scpqsort__l37_scpqsort2017-01-13 00:45 833K 
[ ]scpqsort__l38_scpqsort2017-01-13 00:45 352K 
[ ]scpqsort__l42_scpqsort2017-01-13 00:46 1.3M 
[ ]scpqsort__t1_scpqsort2017-01-13 00:45 179K 
[ ]scpqsort__t2_scpqsort2017-01-13 00:45 379K 
[ ]scpqsort__t3_scpqsort2017-01-13 00:45 369K 
[ ]scpqsort__t4_scpqsort2017-01-13 00:45 120K 
[ ]scpqsort__t5_scpqsort2017-01-13 00:45 181K 
[ ]scpqsort__t6_scpqsort2017-01-13 00:45 187K 
[ ]scpqsort__t7_scpqsort2017-01-13 00:45 210K 
[ ]scpqsort__t8_scpqsort2017-01-13 00:45 101K 
[ ]scpqsort__t9_scpqsort2017-01-13 00:45 283K 
[ ]scpqsort__t10_scpqsort2017-01-13 00:45 803K 
[ ]scpqsort__t11_scpqsort2017-01-13 00:45 1.0M 
[ ]scpqsort__t12_scpqsort2017-01-13 00:45 187K 
[ ]scpqsort__t13_scpqsort2017-01-13 00:45 293K 
[ ]scpqsort__t14_scpqsort2017-01-13 00:45 324K 
[ ]scpqsort__t15_scpqsort2017-01-13 00:45 295K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80