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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funct_9__l26_funct_92023-06-27 17:15 189K 
[   ]funct_9__l28_funct_92023-06-27 17:15 189K 
[   ]funct_9__l32_funct_92023-06-27 17:15 99K 
[   ]funct_9__l34_funct_92023-06-27 17:15 99K 
[   ]funct_9__l38_funct_92023-06-27 17:15 201K 
[   ]funct_9__l40_funct_92023-06-27 17:15 201K 
[   ]funct_9__l44_funct_92023-06-27 17:15 79K 
[   ]funct_9__l46_funct_92023-06-27 17:15 79K 
[   ]funct_9__l49_funct_92023-06-27 17:15 92K 
[   ]funct_9__l53_funct_92023-06-27 17:15 138K 
[   ]funct_9__l55_funct_92023-06-27 17:15 138K 
[   ]funct_9__l58_funct_92023-06-27 17:15 86K 
[   ]funct_9__l62_funct_92023-06-27 17:15 106K 
[   ]funct_9__l65_funct_92023-06-27 17:15 106K 

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