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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp10__t1_vectsp102017-01-13 17:40 58K 
[ ]vectsp10__t2_vectsp102017-01-13 17:40 73K 
[ ]vectsp10__t3_vectsp102017-01-13 17:40 90K 
[ ]vectsp10__t4_vectsp102017-01-13 17:40 62K 
[ ]vectsp10__t5_vectsp102017-01-13 17:40 63K 
[ ]vectsp10__t6_vectsp102017-01-13 17:40 63K 
[ ]vectsp10__t7_vectsp102017-01-13 17:40 63K 
[ ]vectsp10__t8_vectsp102017-01-13 17:40 67K 
[ ]vectsp10__t9_vectsp102017-01-13 17:40 64K 
[ ]vectsp10__t10_vectsp102017-01-13 17:40 44K 
[ ]vectsp10__t11_vectsp102017-01-13 17:40 58K 
[ ]vectsp10__t12_vectsp102017-01-13 17:40 85K 
[ ]vectsp10__t13_vectsp102017-01-13 17:40 78K 
[ ]vectsp10__t14_vectsp102017-01-13 17:40 104K 
[ ]vectsp10__t15_vectsp102017-01-13 17:40 84K 
[ ]vectsp10__t16_vectsp102017-01-13 17:40 82K 
[ ]vectsp10__t17_vectsp102017-01-13 17:40 39K 
[ ]vectsp10__t18_vectsp102017-01-13 17:40 88K 
[ ]vectsp10__t19_vectsp102017-01-13 17:40 103K 
[ ]vectsp10__t20_vectsp102017-01-13 17:40 100K 
[ ]vectsp10__t21_vectsp102017-01-13 17:40 94K 
[ ]vectsp10__t22_vectsp102017-01-13 17:40 93K 
[ ]vectsp10__t23_vectsp102017-01-13 17:40 93K 
[ ]vectsp10__t24_vectsp102017-01-13 17:40 84K 
[ ]vectsp10__t25_vectsp102017-01-13 17:40 99K 
[ ]vectsp10__t26_vectsp102017-01-13 17:40 96K 
[ ]vectsp10__t27_vectsp102017-01-13 17:40 147K 
[ ]vectsp10__t28_vectsp102017-01-13 17:40 59K 
[ ]vectsp10__t29_vectsp102017-01-13 17:40 117K 
[ ]vectsp10__t30_vectsp102017-01-13 17:40 109K 
[ ]vectsp10__t31_vectsp102017-01-13 17:40 105K 
[ ]vectsp10__t32_vectsp102017-01-13 17:40 55K 
[ ]vectsp10__t33_vectsp102017-01-13 17:40 73K 
[ ]vectsp10__t34_vectsp102017-01-13 17:40 123K 
[ ]vectsp10__t35_vectsp102017-01-13 17:40 102K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80