Index of /~mptp/mml5.63.1382/MPTP2/problems/lopban_8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lopban_8__t1_lopban_82023-06-28 18:58 273K 
[   ]lopban_8__t2_lopban_82023-06-28 18:59 121K 
[   ]lopban_8__t5_lopban_82023-06-28 18:59 44K 
[   ]lopban_8__t6_lopban_82023-06-28 19:00 44K 
[   ]lopban_8__t7_lopban_82023-06-28 19:00 43K 
[   ]lopban_8__t8_lopban_82023-06-28 19:01 43K 
[   ]lopban_8__t11_lopban_82023-06-28 18:56 68K 
[   ]lopban_8__t12_lopban_82023-06-28 18:57 72K 
[   ]lopban_8__t13_lopban_82023-06-28 19:01 189K 

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