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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lexbfs__t1_lexbfs2023-06-27 16:46 120K 
[   ]lexbfs__t7_lexbfs2023-06-27 16:46 71K 
[   ]lexbfs__t9_lexbfs2023-06-27 16:46 76K 
[   ]lexbfs__t13_lexbfs2023-06-27 16:46 102K 
[   ]lexbfs__t14_lexbfs2023-06-27 16:46 118K 
[   ]lexbfs__t17_lexbfs2023-06-27 16:46 120K 
[   ]lexbfs__t18_lexbfs2023-06-27 16:46 103K 
[   ]lexbfs__t32_lexbfs2023-06-27 16:46 114K 
[   ]lexbfs__t33_lexbfs2023-06-27 16:46 126K 
[   ]lexbfs__t43_lexbfs2023-06-27 16:46 124K 
[   ]lexbfs__t44_lexbfs2023-06-27 16:46 125K 
[   ]lexbfs__t46_lexbfs2023-06-27 16:46 140K 
[   ]lexbfs__t53_lexbfs2023-06-27 16:46 163K 
[   ]lexbfs__t54_lexbfs2023-06-27 16:46 1.0M 
[   ]lexbfs__t65_lexbfs2023-06-27 16:46 111K 
[   ]lexbfs__t66_lexbfs2023-06-27 16:46 108K 
[   ]lexbfs__t76_lexbfs2023-06-27 16:46 130K 
[   ]lexbfs__t79_lexbfs2023-06-27 16:46 545K 

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