Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/stacks_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]stacks_1__t2_stacks_12023-06-27 17:20 48K 
[   ]stacks_1__t11_stacks_12023-06-27 17:20 70K 
[   ]stacks_1__t12_stacks_12023-06-27 17:20 60K 
[   ]stacks_1__t22_stacks_12023-06-27 17:20 59K 
[   ]stacks_1__t23_stacks_12023-06-27 17:20 67K 
[   ]stacks_1__t24_stacks_12023-06-27 17:20 84K 
[   ]stacks_1__t30_stacks_12023-06-27 17:20 71K 
[   ]stacks_1__t31_stacks_12023-06-27 17:20 54K 
[   ]stacks_1__t32_stacks_12023-06-27 17:20 67K 
[   ]stacks_1__t41_stacks_12023-06-27 17:20 97K 
[   ]stacks_1__t45_stacks_12023-06-27 17:20 76K 
[   ]stacks_1__t48_stacks_12023-06-27 17:20 87K 

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