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

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