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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmyciel__t10_scmyciel2023-06-27 16:49 43K 
[   ]scmyciel__t15_scmyciel2023-06-27 16:49 86K 
[   ]scmyciel__t16_scmyciel2023-06-27 16:49 60K 
[   ]scmyciel__t70_scmyciel2023-06-27 16:49 109K 
[   ]scmyciel__t92_scmyciel2023-06-27 16:49 78K 
[   ]scmyciel__t111_scmyciel2023-06-27 16:49 82K 
[   ]scmyciel__t114_scmyciel2023-06-27 16:49 59K 
[   ]scmyciel__t116_scmyciel2023-06-27 16:49 95K 
[   ]scmyciel__t117_scmyciel2023-06-27 16:49 342K 
[   ]scmyciel__t118_scmyciel2023-06-27 16:49 91K 

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