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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_1__e1_15_1_12017-01-05 21:09 43K 
[ ]trees_1__e1_40_1_12017-01-05 21:09 49K 
[ ]trees_1__e1_40_2_12017-01-05 21:09 60K 
[ ]trees_1__e2_48_1_1_22017-01-05 21:09 65K 
[ ]trees_1__e2_492017-01-05 21:09 51K 
[ ]trees_1__e2_71_12017-01-05 21:09 40K 
[ ]trees_1__e2_812017-01-05 21:09 59K 
[ ]trees_1__e3_36_1_1_12017-01-05 21:09 62K 
[ ]trees_1__e3_68_1_22017-01-05 21:09 63K 
[ ]trees_1__e4_62_1_12017-01-05 21:09 52K 
[ ]trees_1__e4_62_2_12017-01-05 21:09 54K 
[ ]trees_1__e5_15_1_22017-01-05 21:09 39K 
[ ]trees_1__e5_42_1_12017-01-05 21:09 66K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80