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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]group_4__t1_group_42023-06-27 16:45 38K 
[   ]group_4__t3_group_42023-06-27 16:45 38K 
[   ]group_4__t12_group_42023-06-27 16:45 41K 
[   ]group_4__t13_group_42023-06-27 16:45 49K 
[   ]group_4__t14_group_42023-06-27 16:45 102K 
[   ]group_4__t18_group_42023-06-27 16:45 52K 
[   ]group_4__t25_group_42023-06-27 16:45 56K 
[   ]group_4__t26_group_42023-06-27 16:45 56K 
[   ]group_4__t27_group_42023-06-27 16:45 72K 
[   ]group_4__t28_group_42023-06-27 16:45 109K 
[   ]group_4__t34_group_42023-06-27 16:45 37K 
[   ]group_4__t41_group_42023-06-27 16:45 75K 
[   ]group_4__t50_group_42023-06-27 16:45 275K 

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