Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/vectsp10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vectsp10__t1_vectsp102016-03-08 13:10 38K 
[ ]vectsp10__t2_vectsp102016-03-08 13:10 46K 
[ ]vectsp10__t3_vectsp102016-03-08 13:10 56K 
[ ]vectsp10__t4_vectsp102016-03-08 13:10 40K 
[ ]vectsp10__t5_vectsp102016-03-08 13:10 41K 
[ ]vectsp10__t6_vectsp102016-03-08 13:10 41K 
[ ]vectsp10__t7_vectsp102016-03-08 13:10 41K 
[ ]vectsp10__t8_vectsp102016-03-08 13:10 43K 
[ ]vectsp10__t9_vectsp102016-03-08 13:10 41K 
[ ]vectsp10__t10_vectsp102016-03-08 13:10 28K 
[ ]vectsp10__t11_vectsp102016-03-08 13:10 37K 
[ ]vectsp10__t12_vectsp102016-03-08 13:10 52K 
[ ]vectsp10__t13_vectsp102016-03-08 13:10 48K 
[ ]vectsp10__t14_vectsp102016-03-08 13:10 64K 
[ ]vectsp10__t15_vectsp102016-03-08 13:10 52K 
[ ]vectsp10__t16_vectsp102016-03-08 13:10 51K 
[ ]vectsp10__t17_vectsp102016-03-08 13:10 25K 
[ ]vectsp10__t18_vectsp102016-03-08 13:10 55K 
[ ]vectsp10__t19_vectsp102016-03-08 13:10 65K 
[ ]vectsp10__t20_vectsp102016-03-08 13:10 63K 
[ ]vectsp10__t21_vectsp102017-01-05 20:54 58K 
[ ]vectsp10__t22_vectsp102017-01-05 20:54 57K 
[ ]vectsp10__t23_vectsp102017-01-05 20:54 57K 
[ ]vectsp10__t24_vectsp102017-01-05 20:54 51K 
[ ]vectsp10__t25_vectsp102017-01-05 20:54 61K 
[ ]vectsp10__t26_vectsp102017-01-05 20:54 59K 
[ ]vectsp10__t27_vectsp102016-03-08 13:10 96K 
[ ]vectsp10__t28_vectsp102016-03-08 13:10 37K 
[ ]vectsp10__t29_vectsp102016-03-08 13:10 72K 
[ ]vectsp10__t30_vectsp102016-03-08 13:10 67K 
[ ]vectsp10__t31_vectsp102016-03-08 13:10 64K 
[ ]vectsp10__t32_vectsp102016-03-08 13:10 36K 
[ ]vectsp10__t33_vectsp102017-01-05 20:54 48K 
[ ]vectsp10__t34_vectsp102017-01-05 20:54 76K 
[ ]vectsp10__t35_vectsp102017-01-05 20:54 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80