Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/gobrd12

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gobrd12__l1_gobrd122017-01-13 19:14 38K 
[   ]gobrd12__l2_gobrd122017-01-13 19:14 30K 
[   ]gobrd12__l6_gobrd122017-01-13 19:14 47K 
[   ]gobrd12__l7_gobrd122017-01-13 19:14 47K 
[   ]gobrd12__l10_gobrd122017-01-13 19:14 219K 
[   ]gobrd12__l11_gobrd122017-01-13 19:14 219K 
[   ]gobrd12__t1_gobrd122017-01-13 19:14 41K 
[   ]gobrd12__t2_gobrd122017-01-13 19:14 52K 
[   ]gobrd12__t3_gobrd122017-01-13 19:14 53K 
[   ]gobrd12__t4_gobrd122017-01-13 19:14 53K 
[   ]gobrd12__t5_gobrd122017-01-13 19:14 52K 
[   ]gobrd12__t6_gobrd122017-01-13 19:14 61K 
[   ]gobrd12__t7_gobrd122017-01-13 19:14 141K 
[   ]gobrd12__t8_gobrd122017-01-13 19:14 51K 
[   ]gobrd12__t9_gobrd122017-01-13 19:14 64K 
[   ]gobrd12__t10_gobrd122017-01-13 19:14 66K 

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