Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf1/rlvect_x

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rlvect_x__l28_rlvect_x2023-06-27 17:19 110K 
[   ]rlvect_x__l29_rlvect_x2023-06-27 17:19 65K 
[   ]rlvect_x__t12_rlvect_x2023-06-27 17:19 56K 
[   ]rlvect_x__t14_rlvect_x2023-06-27 17:19 78K 
[   ]rlvect_x__t16_rlvect_x2023-06-27 17:19 58K 
[   ]rlvect_x__t19_rlvect_x2023-06-27 17:19 67K 
[   ]rlvect_x__t22_rlvect_x2023-06-27 17:19 68K 
[   ]rlvect_x__t27_rlvect_x2023-06-27 17:19 71K 
[   ]rlvect_x__t29_rlvect_x2023-06-27 17:19 97K 
[   ]rlvect_x__t30_rlvect_x2023-06-27 17:19 73K 
[   ]rlvect_x__t32_rlvect_x2023-06-27 17:19 115K 
[   ]rlvect_x__t35_rlvect_x2023-06-27 17:19 96K 

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