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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]group_4__t1_group_42023-06-27 17:16 38K 
[   ]group_4__t3_group_42023-06-27 17:16 38K 
[   ]group_4__t12_group_42023-06-27 17:16 41K 
[   ]group_4__t13_group_42023-06-27 17:16 49K 
[   ]group_4__t14_group_42023-06-27 17:16 103K 
[   ]group_4__t18_group_42023-06-27 17:16 52K 
[   ]group_4__t25_group_42023-06-27 17:16 56K 
[   ]group_4__t26_group_42023-06-27 17:16 57K 
[   ]group_4__t27_group_42023-06-27 17:16 72K 
[   ]group_4__t28_group_42023-06-27 17:16 110K 
[   ]group_4__t34_group_42023-06-27 17:16 37K 
[   ]group_4__t41_group_42023-06-27 17:16 75K 
[   ]group_4__t50_group_42023-06-27 17:16 279K 

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