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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__l66_nat_42023-06-27 17:18 272K 
[   ]nat_4__l67_nat_42023-06-27 17:18 289K 
[   ]nat_4__t3_nat_42023-06-27 17:18 77K 
[   ]nat_4__t4_nat_42023-06-27 17:18 365K 
[   ]nat_4__t17_nat_42023-06-27 17:18 98K 
[   ]nat_4__t19_nat_42023-06-27 17:18 78K 
[   ]nat_4__t20_nat_42023-06-27 17:18 130K 
[   ]nat_4__t42_nat_42023-06-27 17:18 121K 
[   ]nat_4__t43_nat_42023-06-27 17:18 134K 
[   ]nat_4__t44_nat_42023-06-27 17:18 159K 
[   ]nat_4__t45_nat_42023-06-27 17:18 791K 
[   ]nat_4__t47_nat_42023-06-27 17:18 142K 
[   ]nat_4__t48_nat_42023-06-27 17:18 182K 
[   ]nat_4__t53_nat_42023-06-27 17:18 127K 
[   ]nat_4__t54_nat_42023-06-27 17:18 126K 
[   ]nat_4__t55_nat_42023-06-27 17:18 99K 

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