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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gobrd12__l1_gobrd122017-01-13 17:38 56K 
[   ]gobrd12__l2_gobrd122017-01-13 17:38 44K 
[   ]gobrd12__l6_gobrd122017-01-13 17:38 68K 
[   ]gobrd12__l7_gobrd122017-01-13 17:38 68K 
[   ]gobrd12__l10_gobrd122017-01-13 17:38 265K 
[   ]gobrd12__l11_gobrd122017-01-13 17:38 265K 
[   ]gobrd12__t1_gobrd122017-01-13 17:38 59K 
[   ]gobrd12__t2_gobrd122017-01-13 17:38 75K 
[   ]gobrd12__t3_gobrd122017-01-13 17:38 76K 
[   ]gobrd12__t4_gobrd122017-01-13 17:38 77K 
[   ]gobrd12__t5_gobrd122017-01-13 17:38 76K 
[   ]gobrd12__t6_gobrd122017-01-13 17:38 83K 
[   ]gobrd12__t7_gobrd122017-01-13 17:38 168K 
[   ]gobrd12__t8_gobrd122017-01-13 17:38 73K 
[   ]gobrd12__t9_gobrd122017-01-13 17:38 87K 
[   ]gobrd12__t10_gobrd122017-01-13 17:38 94K 

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