Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf/jgraph_6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jgraph_6__t6_jgraph_62023-06-27 16:46 70K 
[   ]jgraph_6__t9_jgraph_62023-06-27 16:46 133K 
[   ]jgraph_6__t12_jgraph_62023-06-27 16:46 117K 
[   ]jgraph_6__t16_jgraph_62023-06-27 16:46 179K 
[   ]jgraph_6__t17_jgraph_62023-06-27 16:46 179K 
[   ]jgraph_6__t23_jgraph_62023-06-27 16:46 145K 
[   ]jgraph_6__t24_jgraph_62023-06-27 16:46 72K 
[   ]jgraph_6__t29_jgraph_62023-06-27 16:46 98K 
[   ]jgraph_6__t53_jgraph_62023-06-27 16:46 339K 
[   ]jgraph_6__t54_jgraph_62023-06-27 16:46 340K 
[   ]jgraph_6__t79_jgraph_62023-06-27 16:46 119K 

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