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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_8__t1_lopban_82025-09-13 05:19 279K 
[ ]lopban_8__t2_lopban_82025-09-13 05:21 126K 
[ ]lopban_8__t5_lopban_82025-09-13 05:23 52K 
[ ]lopban_8__t6_lopban_82025-09-13 05:24 52K 
[ ]lopban_8__t7_lopban_82025-09-13 05:25 51K 
[ ]lopban_8__t8_lopban_82025-09-13 05:27 51K 
[ ]lopban_8__t11_lopban_82025-09-13 05:14 74K 
[ ]lopban_8__t12_lopban_82025-09-13 05:16 77K 
[ ]lopban_8__t13_lopban_82025-09-13 05:30 194K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80