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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]osafree__t3_osafree2023-06-27 16:48 76K 
[   ]osafree__t19_osafree2023-06-27 16:48 118K 
[   ]osafree__t20_osafree2023-06-27 16:48 111K 
[   ]osafree__t21_osafree2023-06-27 16:48 112K 
[   ]osafree__t22_osafree2023-06-27 16:48 123K 
[   ]osafree__t26_osafree2023-06-27 16:48 157K 
[   ]osafree__t37_osafree2023-06-27 16:48 153K 
[   ]osafree__t40_osafree2023-06-27 16:48 171K 
[   ]osafree__t41_osafree2023-06-27 16:48 148K 
[   ]osafree__t44_osafree2023-06-27 16:48 145K 

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