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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vectsp11__l51_vectsp112023-06-27 16:51 87K 
[   ]vectsp11__t7_vectsp112023-06-27 16:51 217K 
[   ]vectsp11__t8_vectsp112023-06-27 16:51 231K 
[   ]vectsp11__t21_vectsp112023-06-27 16:51 49K 
[   ]vectsp11__t22_vectsp112023-06-27 16:51 74K 
[   ]vectsp11__t27_vectsp112023-06-27 16:51 114K 
[   ]vectsp11__t38_vectsp112023-06-27 16:51 90K 
[   ]vectsp11__t39_vectsp112023-06-27 16:51 187K 
[   ]vectsp11__t40_vectsp112023-06-27 16:51 133K 
[   ]vectsp11__t41_vectsp112023-06-27 16:51 86K 
[   ]vectsp11__t42_vectsp112023-06-27 16:51 98K 
[   ]vectsp11__t43_vectsp112023-06-27 16:51 82K 

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