Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/scmfsa_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa_7__e2_6_1_12017-01-05 21:13 97K 
[ ]scmfsa_7__e4_12_1_1_92017-01-05 21:13 85K 
[ ]scmfsa_7__e4_12_1_2_92017-01-05 21:13 85K 
[ ]scmfsa_7__e8_10_1_1_22017-01-05 21:13 97K 
[ ]scmfsa_7__e8_10_1_2_22017-01-05 21:13 99K 
[ ]scmfsa_7__e22_12_1_12017-01-05 21:13 95K 
[ ]scmfsa_7__e23_132017-01-05 21:13 124K 
[ ]scmfsa_7__e24_12_1_22017-01-05 21:13 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80