Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/trees_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_3__l1_trees_32017-01-12 22:11 42K 
[ ]trees_3__l51_trees_32017-01-12 22:11 44K 
[ ]trees_3__l59_trees_32017-01-12 22:11 46K 
[ ]trees_3__t1_trees_32017-01-12 22:11 28K 
[ ]trees_3__t2_trees_32017-01-12 22:11 28K 
[ ]trees_3__t3_trees_32017-01-12 22:11 29K 
[ ]trees_3__t4_trees_32017-01-12 22:11 31K 
[ ]trees_3__t5_trees_32017-01-12 22:11 30K 
[ ]trees_3__t6_trees_32017-01-12 22:11 29K 
[ ]trees_3__t7_trees_32017-01-12 22:11 31K 
[ ]trees_3__t8_trees_32017-01-12 22:11 30K 
[ ]trees_3__t9_trees_32017-01-12 22:11 29K 
[ ]trees_3__t10_trees_32017-01-12 22:11 31K 
[ ]trees_3__t11_trees_32017-01-12 22:11 30K 
[ ]trees_3__t12_trees_32017-01-12 22:11 28K 
[ ]trees_3__t13_trees_32017-01-12 22:11 28K 
[ ]trees_3__t14_trees_32017-01-12 22:11 29K 
[ ]trees_3__t15_trees_32017-01-12 22:11 28K 
[ ]trees_3__t16_trees_32017-01-12 22:11 29K 
[ ]trees_3__t17_trees_32017-01-12 22:11 29K 
[ ]trees_3__t18_trees_32017-01-12 22:11 27K 
[ ]trees_3__t19_trees_32017-01-12 22:11 27K 
[ ]trees_3__t20_trees_32017-01-12 22:11 27K 
[ ]trees_3__t21_trees_32017-01-12 22:11 34K 
[ ]trees_3__t22_trees_32017-01-12 22:11 34K 
[ ]trees_3__t23_trees_32017-01-12 22:11 34K 
[ ]trees_3__t24_trees_32017-01-12 22:11 34K 
[ ]trees_3__t25_trees_32017-01-12 22:11 39K 
[ ]trees_3__t26_trees_32017-01-12 22:11 39K 
[ ]trees_3__t27_trees_32017-01-12 22:11 39K 
[ ]trees_3__t28_trees_32017-01-12 22:11 35K 
[ ]trees_3__t29_trees_32017-01-12 22:11 35K 
[ ]trees_3__t30_trees_32017-01-12 22:11 35K 
[ ]trees_3__t31_trees_32017-01-12 22:11 34K 
[ ]trees_3__t32_trees_32017-01-12 22:11 34K 
[ ]trees_3__t33_trees_32017-01-12 22:11 34K 
[ ]trees_3__t34_trees_32017-01-12 22:11 44K 
[ ]trees_3__t35_trees_32017-01-12 22:11 44K 
[ ]trees_3__t36_trees_32017-01-12 22:11 44K 
[ ]trees_3__t37_trees_32017-01-12 22:11 39K 
[ ]trees_3__t38_trees_32017-01-12 22:11 37K 
[ ]trees_3__t39_trees_32017-01-12 22:11 66K 
[ ]trees_3__t40_trees_32017-01-12 22:11 67K 
[ ]trees_3__t41_trees_32017-01-12 22:11 52K 
[ ]trees_3__t42_trees_32017-01-12 22:11 58K 
[ ]trees_3__t43_trees_32017-01-12 22:11 49K 
[ ]trees_3__t44_trees_32017-01-12 22:11 55K 
[ ]trees_3__t45_trees_32017-01-12 22:11 54K 
[ ]trees_3__t46_trees_32017-01-12 22:11 55K 
[ ]trees_3__t47_trees_32017-01-12 22:11 51K 
[ ]trees_3__t48_trees_32017-01-12 22:11 55K 
[ ]trees_3__t49_trees_32017-01-12 22:11 68K 
[ ]trees_3__t50_trees_32017-01-12 22:11 82K 
[ ]trees_3__t51_trees_32017-01-12 22:11 69K 
[ ]trees_3__t52_trees_32017-01-12 22:11 58K 
[ ]trees_3__t53_trees_32017-01-12 22:11 64K 
[ ]trees_3__t54_trees_32017-01-12 22:11 74K 
[ ]trees_3__t55_trees_32017-01-12 22:11 81K 
[ ]trees_3__t56_trees_32017-01-12 22:11 75K 
[ ]trees_3__t57_trees_32017-01-12 22:11 106K 
[ ]trees_3__t58_trees_32017-01-12 22:11 67K 
[ ]trees_3__t59_trees_32017-01-12 22:11 74K 
[ ]trees_3__t60_trees_32017-01-12 22:11 57K 
[ ]trees_3__t61_trees_32017-01-12 22:11 58K 
[ ]trees_3__t62_trees_32017-01-12 22:11 59K 
[ ]trees_3__t63_trees_32017-01-12 22:11 50K 
[ ]trees_3__t64_trees_32017-01-12 22:11 50K 
[ ]trees_3__t65_trees_32017-01-12 22:11 55K 
[ ]trees_3__t66_trees_32017-01-12 22:11 53K 
[ ]trees_3__t67_trees_32017-01-12 22:11 51K 
[ ]trees_3__t68_trees_32017-01-12 22:11 65K 
[ ]trees_3__t69_trees_32017-01-12 22:11 59K 
[ ]trees_3__t70_trees_32017-01-12 22:11 58K 
[ ]trees_3__t71_trees_32017-01-12 22:11 62K 
[ ]trees_3__t72_trees_32017-01-12 22:11 53K 
[ ]trees_3__t73_trees_32017-01-12 22:11 53K 
[ ]trees_3__t74_trees_32017-01-12 22:11 62K 
[ ]trees_3__t75_trees_32017-01-12 22:11 61K 
[ ]trees_3__t76_trees_32017-01-12 22:11 53K 
[ ]trees_3__t77_trees_32017-01-12 22:11 70K 
[ ]trees_3__t78_trees_32017-01-12 22:11 90K 
[ ]trees_3__t79_trees_32017-01-12 22:11 41K 
[ ]trees_3__t80_trees_32017-01-12 22:11 46K 
[ ]trees_3__t81_trees_32017-01-12 22:11 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80