Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/trees_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_2__l36_trees_22016-03-08 13:10 34K 
[ ]trees_2__t1_trees_22016-03-08 13:10 39K 
[ ]trees_2__t2_trees_22016-03-08 13:10 29K 
[ ]trees_2__t3_trees_22016-03-08 13:10 80K 
[ ]trees_2__t4_trees_22016-03-08 13:10 41K 
[ ]trees_2__t5_trees_22016-03-08 13:10 37K 
[ ]trees_2__t6_trees_22016-03-08 13:10 50K 
[ ]trees_2__t7_trees_22016-03-08 13:10 44K 
[ ]trees_2__t8_trees_22016-03-08 13:10 48K 
[ ]trees_2__t9_trees_22017-01-05 20:54 42K 
[ ]trees_2__t10_trees_22017-01-05 20:54 61K 
[ ]trees_2__t11_trees_22016-03-08 13:10 45K 
[ ]trees_2__t12_trees_22017-01-05 20:54 45K 
[ ]trees_2__t13_trees_22017-01-05 20:54 54K 
[ ]trees_2__t14_trees_22017-01-05 20:54 41K 
[ ]trees_2__t15_trees_22017-01-05 20:54 44K 
[ ]trees_2__t16_trees_22017-01-05 20:54 40K 
[ ]trees_2__t17_trees_22017-01-05 20:54 63K 
[ ]trees_2__t18_trees_22017-01-05 20:54 49K 
[ ]trees_2__t19_trees_22016-03-08 13:10 37K 
[ ]trees_2__t20_trees_22016-03-08 13:10 39K 
[ ]trees_2__t21_trees_22016-03-08 13:10 40K 
[ ]trees_2__t22_trees_22016-03-08 13:10 32K 
[ ]trees_2__t23_trees_22016-03-08 13:10 75K 
[ ]trees_2__t24_trees_22017-01-05 20:54 41K 
[ ]trees_2__t25_trees_22016-03-08 13:10 41K 
[ ]trees_2__t26_trees_22016-03-08 13:10 39K 
[ ]trees_2__t27_trees_22016-03-08 13:10 43K 
[ ]trees_2__t28_trees_22017-01-05 20:54 61K 
[ ]trees_2__t29_trees_22017-01-05 20:54 106K 
[ ]trees_2__t30_trees_22017-01-05 20:54 48K 
[ ]trees_2__t31_trees_22016-03-08 13:10 41K 
[ ]trees_2__t32_trees_22016-03-08 13:10 51K 
[ ]trees_2__t33_trees_22016-03-08 13:10 49K 
[ ]trees_2__t34_trees_22016-03-08 13:10 32K 
[ ]trees_2__t35_trees_22016-03-08 13:10 38K 
[ ]trees_2__t36_trees_22016-03-08 13:10 40K 
[ ]trees_2__t37_trees_22017-01-05 20:54 58K 
[ ]trees_2__t38_trees_22017-01-05 20:54 41K 
[ ]trees_2__t39_trees_22017-01-05 20:54 47K 
[ ]trees_2__t40_trees_22017-01-05 20:54 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80