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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rlvect_x__l28_rlvect_x2023-06-27 16:49 109K 
[   ]rlvect_x__l29_rlvect_x2023-06-27 16:49 65K 
[   ]rlvect_x__t12_rlvect_x2023-06-27 16:49 56K 
[   ]rlvect_x__t14_rlvect_x2023-06-27 16:49 78K 
[   ]rlvect_x__t16_rlvect_x2023-06-27 16:49 58K 
[   ]rlvect_x__t19_rlvect_x2023-06-27 16:49 66K 
[   ]rlvect_x__t22_rlvect_x2023-06-27 16:49 68K 
[   ]rlvect_x__t27_rlvect_x2023-06-27 16:49 71K 
[   ]rlvect_x__t29_rlvect_x2023-06-27 16:49 96K 
[   ]rlvect_x__t30_rlvect_x2023-06-27 16:49 73K 
[   ]rlvect_x__t32_rlvect_x2023-06-27 16:49 114K 
[   ]rlvect_x__t35_rlvect_x2023-06-27 16:49 96K 

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