Index of /~mptp/1147/mptp/problems_thf_isof_from.bad_dt_f/fcont_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_2__e9_122017-01-05 21:25 71K 
[ ]fcont_2__e13_14_1_5_1_22017-01-05 21:25 69K 
[ ]fcont_2__e13_14_2_5_1_22017-01-05 21:25 64K 
[ ]fcont_2__e19_14_1_5_1_22017-01-05 21:25 55K 
[ ]fcont_2__e19_14_2_5_1_22017-01-05 21:25 55K 
[ ]fcont_2__e27_122017-01-05 21:25 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80