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

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