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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_4__l66_nat_42023-06-27 16:48 268K 
[   ]nat_4__l67_nat_42023-06-27 16:48 285K 
[   ]nat_4__t3_nat_42023-06-27 16:47 77K 
[   ]nat_4__t4_nat_42023-06-27 16:47 359K 
[   ]nat_4__t17_nat_42023-06-27 16:47 98K 
[   ]nat_4__t19_nat_42023-06-27 16:47 78K 
[   ]nat_4__t20_nat_42023-06-27 16:47 128K 
[   ]nat_4__t42_nat_42023-06-27 16:47 120K 
[   ]nat_4__t43_nat_42023-06-27 16:47 133K 
[   ]nat_4__t44_nat_42023-06-27 16:47 157K 
[   ]nat_4__t45_nat_42023-06-27 16:47 775K 
[   ]nat_4__t47_nat_42023-06-27 16:47 141K 
[   ]nat_4__t48_nat_42023-06-27 16:48 180K 
[   ]nat_4__t53_nat_42023-06-27 16:48 126K 
[   ]nat_4__t54_nat_42023-06-27 16:48 125K 
[   ]nat_4__t55_nat_42023-06-27 16:48 99K 

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