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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msscyc_2__t1_msscyc_22016-03-08 13:07 50K 
[ ]msscyc_2__t2_msscyc_22016-03-08 13:07 213K 
[ ]msscyc_2__t3_msscyc_22016-03-08 13:07 89K 
[ ]msscyc_2__t4_msscyc_22017-01-05 20:54 96K 
[ ]msscyc_2__t5_msscyc_22017-01-05 20:54 140K 
[ ]msscyc_2__t6_msscyc_22017-01-05 20:54 95K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80