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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__l1_trees_32016-03-08 13:10 42K 
[ ]trees_3__l51_trees_32016-03-08 13:10 44K 
[ ]trees_3__l59_trees_32016-03-08 13:10 46K 
[ ]trees_3__t1_trees_32016-03-08 13:10 28K 
[ ]trees_3__t2_trees_32016-03-08 13:10 28K 
[ ]trees_3__t3_trees_32016-03-08 13:10 29K 
[ ]trees_3__t4_trees_32016-03-08 13:10 31K 
[ ]trees_3__t5_trees_32016-03-08 13:10 30K 
[ ]trees_3__t6_trees_32016-03-08 13:10 29K 
[ ]trees_3__t7_trees_32016-03-08 13:10 31K 
[ ]trees_3__t8_trees_32016-03-08 13:10 30K 
[ ]trees_3__t9_trees_32016-03-08 13:10 29K 
[ ]trees_3__t10_trees_32016-03-08 13:10 31K 
[ ]trees_3__t11_trees_32016-03-08 13:10 30K 
[ ]trees_3__t12_trees_32016-03-08 13:10 28K 
[ ]trees_3__t13_trees_32016-03-08 13:10 28K 
[ ]trees_3__t14_trees_32016-03-08 13:10 29K 
[ ]trees_3__t15_trees_32016-03-08 13:10 28K 
[ ]trees_3__t16_trees_32016-03-08 13:10 29K 
[ ]trees_3__t17_trees_32016-03-08 13:10 29K 
[ ]trees_3__t18_trees_32016-03-08 13:10 27K 
[ ]trees_3__t19_trees_32016-03-08 13:10 27K 
[ ]trees_3__t20_trees_32016-03-08 13:10 27K 
[ ]trees_3__t21_trees_32016-03-08 13:10 34K 
[ ]trees_3__t22_trees_32016-03-08 13:10 34K 
[ ]trees_3__t23_trees_32016-03-08 13:10 34K 
[ ]trees_3__t24_trees_32016-03-08 13:10 34K 
[ ]trees_3__t25_trees_32016-03-08 13:10 39K 
[ ]trees_3__t26_trees_32016-03-08 13:10 39K 
[ ]trees_3__t27_trees_32016-03-08 13:10 39K 
[ ]trees_3__t28_trees_32016-03-08 13:10 35K 
[ ]trees_3__t29_trees_32016-03-08 13:10 35K 
[ ]trees_3__t30_trees_32016-03-08 13:10 35K 
[ ]trees_3__t31_trees_32016-03-08 13:10 34K 
[ ]trees_3__t32_trees_32016-03-08 13:10 34K 
[ ]trees_3__t33_trees_32016-03-08 13:10 34K 
[ ]trees_3__t34_trees_32016-03-08 13:10 44K 
[ ]trees_3__t35_trees_32016-03-08 13:10 44K 
[ ]trees_3__t36_trees_32016-03-08 13:10 44K 
[ ]trees_3__t37_trees_32016-03-08 13:10 39K 
[ ]trees_3__t38_trees_32016-03-08 13:10 37K 
[ ]trees_3__t39_trees_32016-03-08 13:10 66K 
[ ]trees_3__t40_trees_32016-03-08 13:10 67K 
[ ]trees_3__t41_trees_32017-01-05 20:54 52K 
[ ]trees_3__t42_trees_32017-01-05 20:54 58K 
[ ]trees_3__t43_trees_32016-03-08 13:10 49K 
[ ]trees_3__t44_trees_32016-03-08 13:10 55K 
[ ]trees_3__t45_trees_32016-03-08 13:10 54K 
[ ]trees_3__t46_trees_32016-03-08 13:10 55K 
[ ]trees_3__t47_trees_32016-03-08 13:10 51K 
[ ]trees_3__t48_trees_32016-03-08 13:10 55K 
[ ]trees_3__t49_trees_32017-01-05 20:54 68K 
[ ]trees_3__t50_trees_32017-01-05 20:54 82K 
[ ]trees_3__t51_trees_32016-03-08 13:10 69K 
[ ]trees_3__t52_trees_32017-01-05 20:54 58K 
[ ]trees_3__t53_trees_32017-01-05 20:54 64K 
[ ]trees_3__t54_trees_32017-01-05 20:54 74K 
[ ]trees_3__t55_trees_32017-01-05 20:54 81K 
[ ]trees_3__t56_trees_32017-01-05 20:54 75K 
[ ]trees_3__t57_trees_32016-03-08 13:10 106K 
[ ]trees_3__t58_trees_32017-01-05 20:54 67K 
[ ]trees_3__t59_trees_32017-01-05 20:54 74K 
[ ]trees_3__t60_trees_32016-03-08 13:10 57K 
[ ]trees_3__t61_trees_32016-03-08 13:10 58K 
[ ]trees_3__t62_trees_32017-01-05 20:54 59K 
[ ]trees_3__t63_trees_32016-03-08 13:10 50K 
[ ]trees_3__t64_trees_32016-03-08 13:10 50K 
[ ]trees_3__t65_trees_32017-01-05 20:54 55K 
[ ]trees_3__t66_trees_32016-03-08 13:10 53K 
[ ]trees_3__t67_trees_32017-01-05 20:54 51K 
[ ]trees_3__t68_trees_32016-03-08 13:10 65K 
[ ]trees_3__t69_trees_32016-03-08 13:10 59K 
[ ]trees_3__t70_trees_32016-03-08 13:10 58K 
[ ]trees_3__t71_trees_32017-01-05 20:54 62K 
[ ]trees_3__t72_trees_32016-03-08 13:10 53K 
[ ]trees_3__t73_trees_32016-03-08 13:10 53K 
[ ]trees_3__t74_trees_32017-01-05 20:54 62K 
[ ]trees_3__t75_trees_32016-03-08 13:10 61K 
[ ]trees_3__t76_trees_32017-01-05 20:54 53K 
[ ]trees_3__t77_trees_32016-03-08 13:10 70K 
[ ]trees_3__t78_trees_32017-01-05 20:54 90K 
[ ]trees_3__t79_trees_32016-03-08 13:10 41K 
[ ]trees_3__t80_trees_32016-03-08 13:10 46K 
[ ]trees_3__t81_trees_32016-03-08 13:10 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80