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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban12__t1_lopban122025-09-13 11:33 50K 
[ ]lopban12__t2_lopban122025-09-13 11:35 53K 
[ ]lopban12__t5_lopban122025-09-13 11:37 71K 
[ ]lopban12__t6_lopban122025-09-13 11:39 67K 
[ ]lopban12__t10_lopban122025-09-13 11:41 108K 
[ ]lopban12__t11_lopban122025-09-13 11:43 60K 
[ ]lopban12__t15_lopban122025-09-13 11:45 160K 
[ ]lopban12__t16_lopban122025-09-13 11:32 86K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80