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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_5__l29_nat_52023-06-27 16:47 102K 
[   ]nat_5__l31_nat_52023-06-27 16:47 133K 
[   ]nat_5__l38_nat_52023-06-27 16:47 169K 
[   ]nat_5__t1_nat_52023-06-27 16:47 101K 
[   ]nat_5__t23_nat_52023-06-27 16:47 162K 
[   ]nat_5__t28_nat_52023-06-27 16:47 132K 
[   ]nat_5__t30_nat_52023-06-27 16:47 138K 
[   ]nat_5__t40_nat_52023-06-27 16:47 155K 

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