Index of /~mptp/1147/mptp/problems_thf_tl.bad_dt_f/lopban_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_5__t1_lopban_52016-03-08 13:07 85K 
[ ]lopban_5__t2_lopban_52016-03-08 13:07 85K 
[ ]lopban_5__t3_lopban_52017-01-05 20:54 64K 
[ ]lopban_5__t4_lopban_52016-03-08 13:07 81K 
[ ]lopban_5__t5_lopban_52017-01-05 20:54 251K 
[ ]lopban_5__t6_lopban_52017-01-05 20:54 173K 
[ ]lopban_5__t7_lopban_52017-01-05 20:54 273K 
[ ]lopban_5__t8_lopban_52016-03-08 13:07 117K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80