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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]graph_2__l4_graph_22023-06-27 16:45 91K 
[   ]graph_2__t4_graph_22023-06-27 16:45 56K 
[   ]graph_2__t5_graph_22023-06-27 16:45 99K 
[   ]graph_2__t20_graph_22023-06-27 16:45 64K 
[   ]graph_2__t21_graph_22023-06-27 16:45 64K 
[   ]graph_2__t23_graph_22023-06-27 16:45 107K 
[   ]graph_2__t34_graph_22023-06-27 16:45 97K 
[   ]graph_2__t39_graph_22023-06-27 16:45 110K 
[   ]graph_2__t46_graph_22023-06-27 16:45 259K 
[   ]graph_2__t48_graph_22023-06-27 16:45 224K 
[   ]graph_2__t49_graph_22023-06-27 16:45 84K 

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