Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from1/vectsp_7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vectsp_7__e1_222017-01-13 18:15 29K 
[   ]vectsp_7__e2_232017-01-13 18:15 29K 
[   ]vectsp_7__e3_42017-01-13 18:15 35K 
[   ]vectsp_7__e3_132017-01-13 18:15 39K 
[   ]vectsp_7__e3_22_1_22017-01-13 18:15 40K 
[   ]vectsp_7__e3_23_1_22017-01-13 18:15 40K 
[   ]vectsp_7__e4_9_12017-01-13 18:15 41K 
[   ]vectsp_7__e4_22_2_1_1_12017-01-13 18:15 47K 
[   ]vectsp_7__e4_23_3_1_1_12017-01-13 18:15 47K 
[   ]vectsp_7__e8_20_12017-01-13 18:15 49K 
[   ]vectsp_7__e12_22_2_1_1_12017-01-13 18:15 48K 
[   ]vectsp_7__e12_23_3_1_1_12017-01-13 18:15 48K 
[   ]vectsp_7__e18_20_12017-01-13 18:15 48K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80