Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/trees_a

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_a__t1_trees_a2016-03-08 13:10 8.8K 
[ ]trees_a__t2_trees_a2017-01-05 20:54 24K 
[ ]trees_a__t3_trees_a2017-01-05 20:54 17K 
[ ]trees_a__t4_trees_a2017-01-05 20:54 18K 
[ ]trees_a__t5_trees_a2017-01-05 20:54 20K 
[ ]trees_a__t6_trees_a2017-01-05 20:54 19K 
[ ]trees_a__t7_trees_a2017-01-05 20:54 28K 
[ ]trees_a__t8_trees_a2016-03-08 13:10 24K 
[ ]trees_a__t9_trees_a2016-03-08 13:10 23K 
[ ]trees_a__t10_trees_a2016-03-08 13:10 22K 
[ ]trees_a__t11_trees_a2016-03-08 13:10 22K 
[ ]trees_a__t12_trees_a2017-01-05 20:54 23K 
[ ]trees_a__t13_trees_a2017-01-05 20:54 22K 
[ ]trees_a__t14_trees_a2017-01-05 20:54 24K 
[ ]trees_a__t15_trees_a2017-01-05 20:54 22K 
[ ]trees_a__t16_trees_a2017-01-05 20:54 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80