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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funct_9__l26_funct_92023-06-27 16:45 184K 
[   ]funct_9__l28_funct_92023-06-27 16:45 184K 
[   ]funct_9__l32_funct_92023-06-27 16:45 97K 
[   ]funct_9__l34_funct_92023-06-27 16:45 97K 
[   ]funct_9__l38_funct_92023-06-27 16:45 197K 
[   ]funct_9__l40_funct_92023-06-27 16:45 197K 
[   ]funct_9__l44_funct_92023-06-27 16:45 78K 
[   ]funct_9__l46_funct_92023-06-27 16:45 78K 
[   ]funct_9__l49_funct_92023-06-27 16:45 91K 
[   ]funct_9__l53_funct_92023-06-27 16:45 135K 
[   ]funct_9__l55_funct_92023-06-27 16:45 135K 
[   ]funct_9__l58_funct_92023-06-27 16:45 85K 
[   ]funct_9__l62_funct_92023-06-27 16:45 105K 
[   ]funct_9__l65_funct_92023-06-27 16:45 105K 

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