Index of /~mptp/1147/MPTP2/problems_thf_isof_from.bad_dt_f/scm_comp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_comp__e1_1_1_12017-01-05 21:22 69K 
[ ]scm_comp__e1_13_1_12017-01-05 21:22 115K 
[ ]scm_comp__e1_18_1_12017-01-05 21:22 120K 
[ ]scm_comp__e1_23_1_12017-01-05 21:22 88K 
[ ]scm_comp__e1_282017-01-05 21:22 116K 
[ ]scm_comp__e3_292017-01-05 21:22 136K 
[ ]scm_comp__e5_18_1_22017-01-05 21:22 131K 
[ ]scm_comp__e7_23_1_22017-01-05 21:22 94K 
[ ]scm_comp__e11_13_1_22017-01-05 21:22 121K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80