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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lexbfs__t1_lexbfs2023-06-27 17:16 121K 
[   ]lexbfs__t7_lexbfs2023-06-27 17:17 71K 
[   ]lexbfs__t9_lexbfs2023-06-27 17:17 76K 
[   ]lexbfs__t13_lexbfs2023-06-27 17:17 102K 
[   ]lexbfs__t14_lexbfs2023-06-27 17:17 119K 
[   ]lexbfs__t17_lexbfs2023-06-27 17:17 121K 
[   ]lexbfs__t18_lexbfs2023-06-27 17:17 104K 
[   ]lexbfs__t32_lexbfs2023-06-27 17:17 115K 
[   ]lexbfs__t33_lexbfs2023-06-27 17:17 126K 
[   ]lexbfs__t43_lexbfs2023-06-27 17:17 125K 
[   ]lexbfs__t44_lexbfs2023-06-27 17:17 126K 
[   ]lexbfs__t46_lexbfs2023-06-27 17:17 141K 
[   ]lexbfs__t53_lexbfs2023-06-27 17:17 164K 
[   ]lexbfs__t54_lexbfs2023-06-27 17:17 1.1M 
[   ]lexbfs__t65_lexbfs2023-06-27 17:17 111K 
[   ]lexbfs__t66_lexbfs2023-06-27 17:17 108K 
[   ]lexbfs__t76_lexbfs2023-06-27 17:17 130K 
[   ]lexbfs__t79_lexbfs2023-06-27 17:17 555K 

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