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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gobrd12__l1_gobrd122023-06-28 00:36 38K 
[   ]gobrd12__l2_gobrd122023-06-28 00:36 30K 
[   ]gobrd12__l6_gobrd122023-06-28 00:36 47K 
[   ]gobrd12__l7_gobrd122023-06-28 00:36 47K 
[   ]gobrd12__l10_gobrd122023-06-28 00:36 215K 
[   ]gobrd12__l11_gobrd122023-06-28 00:36 215K 
[   ]gobrd12__t1_gobrd122023-06-28 00:36 40K 
[   ]gobrd12__t2_gobrd122023-06-28 00:36 51K 
[   ]gobrd12__t3_gobrd122023-06-28 00:36 53K 
[   ]gobrd12__t4_gobrd122023-06-28 00:36 53K 
[   ]gobrd12__t5_gobrd122023-06-28 00:36 52K 
[   ]gobrd12__t6_gobrd122023-06-28 00:36 60K 
[   ]gobrd12__t7_gobrd122023-06-28 00:36 138K 
[   ]gobrd12__t8_gobrd122023-06-28 00:36 51K 
[   ]gobrd12__t9_gobrd122023-06-28 00:36 63K 
[   ]gobrd12__t10_gobrd122023-06-28 00:36 65K 

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