Index of /~mptp/7.13.01_4.181.1147/mptp/problems00/dirort

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dirort__t1_dirort2017-03-01 10:58 5.6K 
[   ]dirort__t2_dirort2017-03-01 10:58 5.6K 
[   ]dirort__t3_dirort2017-03-01 10:58 4.3K 
[   ]dirort__t4_dirort2017-03-01 10:58 4.3K 
[   ]dirort__t5_dirort2017-03-01 10:58 1.6K 
[   ]dirort__t6_dirort2017-03-01 10:58 1.6K 
[   ]dirort__t7_dirort2017-03-01 10:58 1.8K 
[   ]dirort__t8_dirort2017-03-01 10:58 957  
[   ]dirort__t9_dirort2017-03-01 10:58 1.8K 
[   ]dirort__t10_dirort2017-03-01 10:58 1.3K 
[   ]dirort__t11_dirort2017-03-01 10:58 1.3K 
[   ]dirort__t12_dirort2017-03-01 10:58 1.2K 
[   ]dirort__t13_dirort2017-03-01 10:58 5.2K 
[   ]dirort__t14_dirort2017-03-01 10:58 5.2K 
[   ]dirort__t15_dirort2017-03-01 10:58 2.1K 
[   ]dirort__t16_dirort2017-03-01 10:58 2.5K 
[   ]dirort__t17_dirort2017-03-01 10:58 2.5K 
[   ]dirort__t18_dirort2017-03-01 10:58 2.5K 

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