Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/gobrd12

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gobrd12__l1_gobrd122025-09-12 12:48 38K 
[   ]gobrd12__l2_gobrd122025-09-12 12:29 31K 
[   ]gobrd12__l6_gobrd122025-09-12 12:49 45K 
[   ]gobrd12__l7_gobrd122025-09-12 12:51 45K 
[   ]gobrd12__l10_gobrd122025-09-12 12:54 218K 
[   ]gobrd12__l11_gobrd122025-09-12 12:57 218K 
[   ]gobrd12__t1_gobrd122025-09-12 12:28 41K 
[   ]gobrd12__t2_gobrd122025-09-12 12:31 50K 
[   ]gobrd12__t3_gobrd122025-09-12 12:33 51K 
[   ]gobrd12__t4_gobrd122025-09-12 12:35 52K 
[   ]gobrd12__t5_gobrd122025-09-12 12:36 49K 
[   ]gobrd12__t6_gobrd122025-09-12 12:38 63K 
[   ]gobrd12__t7_gobrd122025-09-12 12:40 145K 
[   ]gobrd12__t8_gobrd122025-09-12 12:42 53K 
[   ]gobrd12__t9_gobrd122025-09-12 12:44 67K 
[   ]gobrd12__t10_gobrd122025-09-12 12:46 63K 

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