Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/vectsp10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp10__t1_vectsp102017-01-13 19:19 38K 
[ ]vectsp10__t2_vectsp102017-01-13 19:19 46K 
[ ]vectsp10__t3_vectsp102017-01-13 19:19 56K 
[ ]vectsp10__t4_vectsp102017-01-13 19:19 40K 
[ ]vectsp10__t5_vectsp102017-01-13 19:19 41K 
[ ]vectsp10__t6_vectsp102017-01-13 19:19 41K 
[ ]vectsp10__t7_vectsp102017-01-13 19:19 41K 
[ ]vectsp10__t8_vectsp102017-01-13 19:19 43K 
[ ]vectsp10__t9_vectsp102017-01-13 19:19 41K 
[ ]vectsp10__t10_vectsp102017-01-13 19:19 28K 
[ ]vectsp10__t11_vectsp102017-01-13 19:19 37K 
[ ]vectsp10__t12_vectsp102017-01-13 19:19 52K 
[ ]vectsp10__t13_vectsp102017-01-13 19:19 48K 
[ ]vectsp10__t14_vectsp102017-01-13 19:19 64K 
[ ]vectsp10__t15_vectsp102017-01-13 19:19 52K 
[ ]vectsp10__t16_vectsp102017-01-13 19:19 51K 
[ ]vectsp10__t17_vectsp102017-01-13 19:19 25K 
[ ]vectsp10__t18_vectsp102017-01-13 19:19 55K 
[ ]vectsp10__t19_vectsp102017-01-13 19:19 65K 
[ ]vectsp10__t20_vectsp102017-01-13 19:19 63K 
[ ]vectsp10__t21_vectsp102017-01-13 19:19 58K 
[ ]vectsp10__t22_vectsp102017-01-13 19:19 57K 
[ ]vectsp10__t23_vectsp102017-01-13 19:19 57K 
[ ]vectsp10__t24_vectsp102017-01-13 19:19 51K 
[ ]vectsp10__t25_vectsp102017-01-13 19:19 61K 
[ ]vectsp10__t26_vectsp102017-01-13 19:19 59K 
[ ]vectsp10__t27_vectsp102017-01-13 19:19 96K 
[ ]vectsp10__t28_vectsp102017-01-13 19:19 37K 
[ ]vectsp10__t29_vectsp102017-01-13 19:19 72K 
[ ]vectsp10__t30_vectsp102017-01-13 19:19 67K 
[ ]vectsp10__t31_vectsp102017-01-13 19:19 64K 
[ ]vectsp10__t32_vectsp102017-01-13 19:19 36K 
[ ]vectsp10__t33_vectsp102017-01-13 19:19 48K 
[ ]vectsp10__t34_vectsp102017-01-13 19:19 76K 
[ ]vectsp10__t35_vectsp102017-01-13 19:19 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80