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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funct_7__l79_funct_72023-06-27 16:45 62K 
[   ]funct_7__t20_funct_72023-06-27 16:45 33K 
[   ]funct_7__t42_funct_72023-06-27 16:45 77K 
[   ]funct_7__t43_funct_72023-06-27 16:45 59K 
[   ]funct_7__t44_funct_72023-06-27 16:45 81K 
[   ]funct_7__t48_funct_72023-06-27 16:45 55K 
[   ]funct_7__t49_funct_72023-06-27 16:45 53K 
[   ]funct_7__t50_funct_72023-06-27 16:45 51K 
[   ]funct_7__t59_funct_72023-06-27 16:45 40K 
[   ]funct_7__t61_funct_72023-06-27 16:45 106K 
[   ]funct_7__t65_funct_72023-06-27 16:45 86K 
[   ]funct_7__t71_funct_72023-06-27 16:45 57K 
[   ]funct_7__t72_funct_72023-06-27 16:45 57K 
[   ]funct_7__t73_funct_72023-06-27 16:45 53K 
[   ]funct_7__t74_funct_72023-06-27 16:45 54K 
[   ]funct_7__t77_funct_72023-06-27 16:45 56K 
[   ]funct_7__t78_funct_72023-06-27 16:45 49K 
[   ]funct_7__t79_funct_72023-06-27 16:45 53K 
[   ]funct_7__t80_funct_72023-06-27 16:45 55K 
[   ]funct_7__t81_funct_72023-06-27 16:45 58K 
[   ]funct_7__t87_funct_72023-06-27 16:45 70K 
[   ]funct_7__t88_funct_72023-06-27 16:45 66K 
[   ]funct_7__t133_funct_72023-06-27 16:45 58K 

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