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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpisort__l12_scpisort2017-01-13 17:40 117K 
[ ]scpisort__l13_scpisort2017-01-13 17:40 115K 
[ ]scpisort__l14_scpisort2017-01-13 17:40 147K 
[ ]scpisort__l19_scpisort2017-01-13 17:40 217K 
[ ]scpisort__l20_scpisort2017-01-13 17:40 232K 
[ ]scpisort__l21_scpisort2017-01-13 17:40 683K 
[ ]scpisort__l22_scpisort2017-01-13 17:40 1.1M 
[ ]scpisort__l23_scpisort2017-01-13 17:40 359K 
[ ]scpisort__l24_scpisort2017-01-13 17:40 367K 
[ ]scpisort__l25_scpisort2017-01-13 17:40 292K 
[ ]scpisort__l26_scpisort2017-01-13 17:40 406K 
[ ]scpisort__l27_scpisort2017-01-13 17:40 400K 
[ ]scpisort__l28_scpisort2017-01-13 17:40 402K 
[ ]scpisort__l31_scpisort2017-01-13 17:40 361K 
[ ]scpisort__l33_scpisort2017-01-13 17:40 1.0M 
[ ]scpisort__s1_scpisort2017-01-13 17:40 1.1M 
[ ]scpisort__s2_scpisort2017-01-13 17:40 1.1M 
[ ]scpisort__s3_scpisort2017-01-13 17:40 201K 
[ ]scpisort__t1_scpisort2017-01-13 17:40 104K 
[ ]scpisort__t2_scpisort2017-01-13 17:40 103K 
[ ]scpisort__t3_scpisort2017-01-13 17:40 59K 
[ ]scpisort__t4_scpisort2017-01-13 17:40 128K 
[ ]scpisort__t5_scpisort2017-01-13 17:40 140K 
[ ]scpisort__t6_scpisort2017-01-13 17:40 135K 
[ ]scpisort__t7_scpisort2017-01-13 17:40 135K 
[ ]scpisort__t8_scpisort2017-01-13 17:40 130K 
[ ]scpisort__t9_scpisort2017-01-13 17:40 131K 
[ ]scpisort__t10_scpisort2017-01-13 17:40 139K 
[ ]scpisort__t11_scpisort2017-01-13 17:40 160K 
[ ]scpisort__t12_scpisort2017-01-13 17:40 161K 
[ ]scpisort__t13_scpisort2017-01-13 17:40 110K 
[ ]scpisort__t14_scpisort2017-01-13 17:40 283K 
[ ]scpisort__t15_scpisort2017-01-13 17:40 365K 
[ ]scpisort__t16_scpisort2017-01-13 17:40 1.0M 
[ ]scpisort__t17_scpisort2017-01-13 17:40 806K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80